Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• On topological hierarchies of temporal properties  + (Doron A. Peled and Vaughan R. Pratt and Gerard J. Holzmann)
• Optimisation Techniques for Combining Constraint Solvers  + (Dov Gabbay and Maarten de Rijke)
• On Upper and Lower Bounds on the Length of Alternating Towers  + (E. Csuhaj-Varju, M. Dietzfelbinger, Z. Esik)
• More for Less: Safe Policy Improvement with Stronger Performance Guarantees  + (Edith Elkind)
• Model Checking Probabilistic Systems  + (Edmund M. Clarke and Thomas A. Henzinger and Helmut Veith and Roderick Bloem)
• Error-Tolerant Reasoning in the Description Logic EL  + (Eduardo Fermé and João Leite)
• Tight Complexity Bounds for Reasoning in the Description Logic BEL  + (Eduardo Fermé and João Leite)
• The Fuzzy Description Logic G-FL_0 with Greatest Fixed-Point Semantics  + (Eduardo Fermé and João Leite)
• 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)