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
- Clause Simplifications in Search-Space Decomposition-Based SAT Solvers + (Ulle Endriss, João Leite)
- A Computational Logic Approach to Syllogisms in Human Reasoning + (Ulrich Furbach, Claudia Schon)
- A Tableau System for the Description Logic SHIO + (Ulrike Sattler)
- How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic + (Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, Claudia d'Amato)
- Efficient Dependency Analysis for Rule-Based Ontologies + (Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, Claudia d’Amato)
- Using FCA for Encoding of Closure Operators into Neural Networks + (Uta Priss, Simon Polovina, Richard Hill)
- Supporting Lexical Ontology Learning by Relational Exploration + (Uta Priss, Simon Polovina, Richard Hill)
- Quo Vadis, CS? - On the (non)-impact of Conceptual Structures on the Semantic Web + (Uta Priss, Simon Polovina, Richard Hill)
- Reasoning and Explanation in EL and in Expressive Description Logics + (Uwe As̈mann and Andreas Bartho and Christian Wende)
- A Platform to Automatically Generate and Incorporate Documents into an Ontology-Based Content Repository + (Uwe M. Borghoff and Boris Chidlovskii)
- LATPub439 + (V. Haarslev and D. Toman and G. Weddell)
- Tableau Systems for SHIO and SHIQ + (V. Haarslev and R. Möller)
- Reasoning about Complex Actions + (V. Lifschitz)
- A Probabilistic Approach to Description of Molecular Biological Processes on DNA and Their Object Oriented Simulation + (V.V. Kluev and N.E. Mastorakis)
- Using Tableaux and Automata for Pinpointing in EL + (Valentin Goranko)
- Extending Two-Variable Logic on Trees + (Valentin Goranko, Mads Dam)
- A Behavioral Characterization of Computational Systems + (Verlagshaus Monsenstein und Vannerdat OHG)
- An Ontology Design Pattern for Activity Reasoning + (Victor de Boer, Aldo Gangemi, Krzysztof Janowicz, Agnieszka Lawrynowicz)
- Complexity of Axiom Pinpointing in the DL-Lite Family + (Volker Haarslev and David Toman and Grant Weddell)
- Correcting Access Restrictions to a Consequence + (Volker Haarslev and David Toman and Grant Weddell)
- Unification Theory + (W. Bibel and P.H. Schmidt)
- Tractable and Decidable Fragments of Conceptual Graphs + (W. Cyre and W. Tepfenhart)
- A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method + (W. McCune)
- Description Logics with Symbolic Number Restrictions + (W. Wahlster)
- Description Logics for the Representation of Aggregated Objects + (W.Horn)
- Strong Equivalence for Argumentation Semantics Based on Conflict-Free Sets + (Weiru Liu)
- Hybrid Neural Systems + (Wermter and Sun)
- Intellectics and Computational Logic + (Wolfgang Bibel)
- Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas + (Wolfgang Faber, Domenico Lembo)
- Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment + (Wolfgang Faber, Gerhard Friedrich, Martin Gebser, Michael Morak)
- Complexity in Union-Free Regular Languages + (Y. Gao, H. Lu, S. Seki, S. Yu)
- Role-depth Bounded Least Common Subsumers for EL+ and ELI + (Yevgeny Kazakhov and Frank Wolter)
- Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics + (Yevgeny Kazakov and Domenico Lembo and Frank Wolter)
- Adding Context to Tableaux for DLs + (Yevgeny Kazakov and Domenico Lembo and Frank Wolter)
- LATPub490 + (Yevgeny Kazakov and Domenico Lembo and Frank Wolter)
- Gödel Negation Makes Unwitnessed Consistency Crisp + (Yevgeny Kazakov and Domenico Lembo and Frank Wolter)
- A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes + (Yevgeny Kazakov and Domenico Lembo and Frank Wolter)
- UEL: Unification Solver for EL + (Yevgeny Kazakov and Domenico Lembo and Frank Wolter)
- Wikidata: The Making Of + (Ying Ding, Jie Tang, Juan F. Sequeda, Lora Aroyo,Carlos Castillo, Geert-Jan Houben)
- Ontologies for Knowledge Graphs: Breaking the Rules + (Yolanda Gil, Elena Simperl, Paul Groth, Freddy Lecue, Markus Krötzsch, Alasdair Gray, Marta Sabou, Fabian Flöck, Hideaki Takeda)
- Rushing and Strolling among Answer Sets – Navigation Made Easy (Extended Abstract) + (Yuliya Lierler, Jose F. Morales, Carmine Dodaro, Veronica Dahl, Martin Gebser, Tuncay Tekle)
- Representing and Reasoning on Conceptual Queries Over Image Databases + (Zbigniew W. Ras and Andrzej Skowron)
- On the expressiveness of MTL and TPTL over omega-data words + (Zoltán Ésik, Zoltán Fülöp)
- A Medvedev Characterization of Recognizable Tree Series + (Émilie Charlier, Julien Leroy, Michel Rigo)
