Suche mittels Attribut

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

Proceedings of the Sixth International Workshop on Unification, Schloß Dagstuhl, July 29–31, 1992 + (F. Baader and J. Siekmann and W. Snyder)
Mary likes all Cats + (F. Baader and U. Sattler)
Fusions of Description Logics + (F. Baader and U. Sattler)
A Heuristic Search Algorithm for Solving First-Order MDPs + (F. Bacchus and T. Jaakkola)
Finite Lattices Do Not Make Reasoning in ALCOI Harder + (F. Bobillo and R.N. Carvalho and P.C.G. da Costa and C. d'Amato and N. Fanizzi and K.B. Laskey and K.J. Laskey and Th. Lukasiewicz and M. Nickles and M. Pool)
Challenge Problems for the Integration of Logic and Connectionist Systems + (F. Bry and U. Geske and D. Seipel)
A New Computational Logic Approach to Reason with Conditionals + (F. Calimeri, G.I., Truszczynski, M.)
Decentralized Supervisory Control with Communicating Supervisors Based on Top-Down Coordination Control + (F. Jabbari and A. R. Teel)
Efficient Separability of Regular Languages by Subsequences and Suffixes + (F. V. Fomin, R. Freivalds, M. Kwiatkowska, D. Peleg)
A Tableau Algorithm for the Clique Guarded Fragment + (F. Wolter and H. Wansing and M. de Rijke and M. Zakharyaschev)
Query and Predicate Emptiness in Description Logics + (Fangzhen Lin and Ulrike Sattler)
On the Complexity of Axiom Pinpointing in the EL Family of Description Logics + (Fangzhen Lin and Ulrike Sattler and Miroslaw Truszczynski)
Worst-case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2 + (Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski)
Status QIO: Conjunctive Query Entailment is Decidable + (Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski)
The Varieties of Ought-implies-Can and Deontic STIT Logic + (Fenrong Liu, Alessandra Marra, Paul Portner and Frederik Van De Putte)
Instance-based Non-standard Inferences in EL with Subjective Probabilities + (Fernando Bobillo and Paulo C. G. Costa and Claudia d'Amato and Nicola Fanizzi and Kathryn B. Laskey and Kenneth J. Laskey and Thomas Lukasiewicz and Matthias Nickles and Michael Pool)
Finite Lattices Do Not Make Reasoning in ALCI Harder + (Fernando Bobillo et.al.)
PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking + (Ferreira, Carla and Willemse, Tim A. C.)
Decomposing Finite Closure Operators by Attribute Exploration + (Florent Domenach, Robert Jäschke, Petko Valtchev)
Non-Global Parikh Tree Automata + (Florin Manea, Giovanni Pighizzini)
Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying + (Floris Geerts, Hung Q. Ngo, Stavros Sintos)
Positive Subsumption in Fuzzy EL with General t-norms + (Francesca Rossi)
Abstract Dialectical Frameworks Revisited + (Francesca Rossi)
NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces + (Francesca Toni)
ADF - BDD : An ADF Solver Based on Binary Decision Diagrams + (Francesca Toni)

A Formal Theory of Justifications + (Francesco Calimeri and Giovambattista Ianni and Mirosław Truszczyński)

On the Complexity of Graded Modal Logics with Converse. + (Francesco Calimeri, Nicola Leone, Marco Manna)
Conservative Extensions in the Lightweight Description Logic EL + (Frank Pfenning)
The Complexity of Reasoning with Boolean Modal Logics + (Frank Wolter and Heinrich Wansing and Maarten de Rijke and Michael Zakharyaschev)
Description Logics + (Frank van Harmelen and Vladimir Lifschitz and Bruce Porter)
Proceedings of the 19th International Conference on Automated Deduction CADE-19 + (Franz Baader)
Computing Local Unifiers in the Description Logic EL without the Top Concept + (Franz Baader and Barbara Morawska and Jan Otop)
Relationship with other Formalisms + (Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter F. Patel-Schneider)
Extensions to Description Logics + (Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter F. Patel-Schneider)
Basic Description Logics + (Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter F. Patel-Schneider)
Description Logic Terminology + (Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter F. Patel-Schneider)
The Description Logic Handbook: Theory, Implementation, and Applications + (Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter F. Patel-Schneider)
Frontiers of Combining Systems + (Franz Baader and Klaus U. Schulz)
All Elephants are Bigger than All Mice + (Franz Baader, Carsten Lutz, Boris Motik)
An Ontology Selection and Ranking System Based on the Analytic Hierarchy Process. + (Franz Winkler, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie)
Towards the Complexity of Recognizing Pseudo-intents + (Frithjof Dau and Sebastian Rudolph)
Access Policy Design Supported by FCA Methods + (Frithjof Dau and Sebastian Rudolph)
Morphisms in Context + (Frithjof Dau, Marie-Laure Mugnier and Gerd Stumme)
From Linear Proofs to Direct Logic with Exponentials + (G. Brewka and C. Habel and B. Nebel)
Tabu Search Revisited + (G. Brewka and C. Habel and B. Nebel)
Multi-Flip Networks: Parallelizing GenSAT + (G. Brewka and C. Habel and B. Nebel)
Designing a Counter: Another case study of Dynamics and Activation Landscapes in Recurrent Networks + (G. Brewka and C. Habel and B. Nebel)
Spinoza's Ontology + (G. Büchel and B. Klein and T. Roth-Berghofer)
Representing Abstract Dialectical Frameworks with Binary Decision Diagrams + (G. Gottlob, D Inclezan, M. Maratea)
A Concept Language Extended with Different Kinds of Transitive Roles + (G. Görz and S. Hölldobler)
KI-96: Abvances in Artificial Intelligence + (G. Görz and S. Hölldobler)