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

Verification of Context-Sensitive Knowledge and Action Bases + (Eduardo Fermé and João Leite)
Modeling the Suppression Task under Three-Valued Lukasiewicz and Well-Founded Semantics + (Egré, P. and Ripley, R.)
Reduction-Based Approaches to Implement Modgil’s Extended Argumentation Frameworks + (Eiter, Thomas and Strass, Hannes and Truszczyński, Mirosław and Woltran, Stefan)
What Is a Reasonable Argumentation Semantics? + (Eiter, Thomas and Strass, Hannes and Truszczyński, Mirosław and Woltran, Stefan)
Extending Description Logic Rules + (Elena Simperl and Philipp Cimiano and Axel Polleres and Óscar Corcho and Valentina Presutti)
Classification, Individuation and Demarcation of Forests: formalising the multi-faceted semantics of geographic terms + (Eliseo Clementini and Maureen Donnelly and May Yuan and Christian Kray and Paolo Fogliaroni and Andrea Ballatore)
On the Maximal and Average Numbers of Stable Extensions + (Elizabeth Black and Sanjay Modgil and Nir Oren)
Representational Succinctness of Abstract Dialectical Frameworks + (Elizabeth Black and Sanjay Modgil and Nir Oren)
A note on C2 interpreted over finite data-words + (Emilio Muñoz-Velasco, Ana Ozaki, Martin Theobald)
Nemo: First Glimpse of a New Rule Engine + (Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni)
Intensional Question Answering using ILP: What does an answer mean? + (Epaminondas Kapetanios, Vijayan Sugumaran, Myra Spiliopoulou)
Linear dynamical systems with continuous weight functions + (Erika Ábrahám and Manuel Mazo Jr.)
Rule-Based OWL Modeling with ROWLTab Protégé Plugin + (Eva Blomqvist, Diana Maynard, Aldo Gangemi, Rinke Hoekstra, Pascal Hitzler, Olaf Hartig)
Refining Ontologies by Pattern-Based Completion + (Eva Blomqvist, Kurt Sandkuhl, Francois Scharffe, Vojtech Svatek)
An Ontology Design Pattern for Data Integration in the Library Domain + (Eva Blomqvist, Pascal Hitzler, Adila Krisnadhi, Tom Narock, Monika Solanki)
An Ontology Design Pattern for Particle Physics Analysis + (Eva Blomqvist, Pascal Hitzler, Adila Krisnadhi, Tom Narock, Monika Solanki)
18th International Conference on Rewriting Techniques and Applications (RTA 2007) + (F. Baader)
11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning LPAR 2004 + (F. Baader and A. Voronkonv)
KI 2001: Advances in Artificial Intelligence, Proceedings of the Joint German/Austrian Conference on AI (KI 2001) + (F. Baader and G. Brewka and Th. Eiter)
Hybrid Knowledge Organization within an Object Framework + (F. Baader and H. Bürckert and A. Günter and W. Nutt)
Knowledge Representation in Process Engineering + (F. Baader and H. J. Bürckert and A. Günter and W. Nutt)
6th Workshop on Unification + (F. Baader and J. Siekmann and W. Snyder)
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)