Suche mittels Attribut
Aus International Center for Computational Logic
Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.
Liste der Ergebnisse
- Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination (Technical Report) + (Gerlach)
- General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract) + (Gerlach)
- Finite Groundings for ASP with Functions: A Journey through Consistency (Technical Report) + (Gerlach)
- Finite Groundings for ASP with Functions: A Journey through Consistency (Extended Abstract) + (Gerlach)
- EvonNemo - A Symbiosis of Datalog Tracing and Proof Tree Visualization + (Gerlach)
- Formalizing Possibly Infinite Trees of Finite Degree + (Gerlach)
- Chase Termination - Analytical Hierarchy, Disjunctions, Sufficient Conditions + (Gerlach)
- Did I Damage my Ontology? A Case for Conservative Extensions in Description Logics + (Ghilardi)
- Conservative Extensions in Modal Logics + (Ghilardi)
- Standpoint Linear Temporal Logic + (Gigante)
- Conjunctive Query Entailment: Decidable in Spite of O, I, and Q + (Glimm)
- Status QIO: Conjunctive Query Entailment is Decidable + (Glimm)
- Integrated Metamodeling and Diagnosis in OWL 2 + (Glimm)
- Nominals, Inverses, Counting, and Conjunctive Queries or Why Infinity is your Friend! + (Glimm)
- Integrated Metamodeling and Diagnosis in OWL 2 + (Glimm)
- OWL: Yet to arrive on the Web of Data? + (Glimm)
- SPARQL Beyond Subgraph Matching + (Glimm)
- Answering conjunctive queries in the SHIQ description logic + (Glimm)
- Answering conjunctive queries in the SHIQ description logic + (Glimm)
- OWL 2 Reasoning To Detect Energy-Efficient Software Variants From Context + (Goetz)
- Left-forbidding cooperating distributed grammar systems + (Goldefus)
- Modelling Dynamics in Semantic Web Knowledge Graphs with Formal Concept Analysis + (González)
- A Data-Driven Graph Schema + (González)
- Efficient Dependency Analysis for Rule-Based Ontologies + (González)
- Efficient Dependency Analysis for Existential Rules + (González)
- Adding Standpoint Modalities to Non-Monotonic S4F: Preliminary Results + (Gorczyca)
- Expressiveness of guarded existential rule languages + (Gottlob)
- The Credo Methodology (Extended Version) + (Grabe)
- Credo Methodology: Modeling and Analyzing a Peer-to-Peer System in Credo + (Grabe)
- Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies + (Grau)
- Acyclicity Conditions and their Application to Query Answering in Description Logics + (Grau)
- A Model and Method to Terminologize Existing Domain Ontologies + (Gromann)
- A cross-lingual correcting and completive method for multilingual ontology labels + (Gromann)
- Body-Mind-Language: Multilingual Knowledge Extraction Based on Embodied Cognition + (Gromann)
- Breaking Down Finance – A Method of Concept Simplification by Identifying Movement Structures from the Image Schema PATH-Following + (Gromann)
- Business lexicography + (Gromann)
- Hashtag Processing for Enhanced Clustering of Tweets + (Gromann)
- Kinesthetic Mind Reader: A Method to Identify Image Schemas in Natural Language + (Gromann)
- Terminologie und Multilinguales Semantic Web in Symbiose – TBX, RDF und OWL + (Gromann)
- Terminology Harmonization in Industry Classification Standards + (Gromann)
- Terminology Meets the Multilingual Semantic Web – Terms as Labels of Concepts + (Gromann)
- Terminology-based patterns for natural language definitions in ontologies + (Gromann)
- Where do business students turn for help? An empirical study on dictionary use in foreign-language learning + (Gromann)
- Polynomial Reduction from PESP to SAT + (Grossmann)
- Linear Deductive Planning + (Gros̈e)
- Proceedings of the 15th International Semantic Web Conference (ISWC 2016), Part I + (Groth)
- Proceedings of the 15th International Semantic Web Conference (ISWC 2016), Part II + (Groth)
- An Ontology Selection and Ranking System Based on the Analytic Hierarchy Process. + (Groza)
- A semi-supervised method for learning the structure of robot-environment interaction + (Großmann)
- Symbolic Dynamic Programming within the Fluent Calculus + (Großmann)
- A robot control system integrating reactive control, reasoning, and execution monitoring + (Großmann)
- Robust mobile robot localisation from sparse and noisy proximity readings using Hough transform and probability grids + (Großmann)
- Reduction Methods for Probabilistic Model Checking + (Größer)
- Partial Order Reduction for Markov Decision Processes: A Survey + (Größer)
- Partial Order Reduction for Markov Decision Processes: A Survey + (Größer)
- On reduction criteria for probabilistic reward models + (Größer)
- Incremental Fuzzy Decision Trees + (Guetova)
- A Calculus of Order and Interaction + (Guglielmi)
- A Non-commutative Extension of MELL + (Guglielmi)
- A System of Interaction and Structure + (Guglielmi)
- The Problem of Bureaucracy and Identity of Proofs from the Perspective of Deep Inference + (Guglielmi)
- Non-commutativity and MELL in the Calculus of Structures + (Guglielmi)
