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

• Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog  + (Amit Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy Finin, Krishnaprasad Thirunarayan)
• Kontraktionssätze auf verallgemeinerten metrischen Räumen  + (Anatolij Dvurecenskij and Gudrun Kalmbach)
• BCU Mathematics Contest 2001 — Problems and Solutions  + (Anatolij Dvurecenskij and Gudrun Kalmbach)
• Die zwei Kulturen  + (Andreas Blumauer and Tassilo Pellegrini)
• Semantic Wikipedia  + (Andreas Blumauer and Tassilo Pellegrini)
• On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets  + (Andreas Herzig, Andrei Popescu)
• A Chomsky-Schützenberger Theorem for Weighted Automata with Storage  + (Andreas Maletti)
• KARaML: Integrating Knowledge-Based and Machine Learning Approaches to Solve the Winograd Schema Challenge  + (Andreas Martin, Knut Hinkelmann, Hans-Georg Fill, Aurona Gerber, Doug Lenat, Reinhard Stolle, Frank van Harmelen)
• How to decide Query Containment under Constraints using a Description Logic  + (Andrei Voronkov)
• Generalizing multi-context systems for reactive stream reasoning applications  + (Andrew V. Jones, Nicholas Ng)
• Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks  + (André, Étienne and Sun, Jun)
• Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures  + (Aniello Murano, Alexandra Silva)
• Simple Default Reasoning in Theories of Action  + (Ann Nicholson and Xiaodong Li)
• Semantik, Linked Data, Web-Präsentation: Grundlagen der Nachlasserschließung im Portal www.pueckler-digital.de  + (Anne Baillot and Anna Busch)
• Pcasso -- a Parallel CooperAtive Sat SOlver  + (Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo)
• Generating Clique Coloring Problem Formulas  + (Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo)
• Riss 4.27  + (Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo)
• SparrowToRiss  + (Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo)
• CLAS – A Parallel SAT Solver that Combines CDCL, Look-Ahead and SLS Search Strategies  + (Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo)
• Too Many Rooks  + (Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo)
• MinitSAT  + (Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo)
• Riss 4.27 BlackBox  + (Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo)
• Counterfactual Causality for Reachability and Safety based on Distance Functions  + (Antonis Achilleos and Dario Della Monica)
• Nested Sequents for Intuitionistic Modal Logics via Structural Refinement  + (Anupam Das, Sara Negri)
• Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints  + (Armin Biere and David Parker)

• From Display to Labelled Proofs for Tense Logics  + (Artemov, Sergei and Nerode, Anil)

• On Skolem-Hardness and Saturation Points in Markov Decision Processes  + (Artur Czumaj and Anuj Dawar and Emanuela Merelli)
• Guiding Backprob by Inserting Rules  + (Artur D'Avila Garcez and Pascal Hitzler)
• Integrating First-Order Logic Programs and Connectionist Systems — A Constructive Approach  + (Artur S. d'Avila Garcez and Jeff Elman and Pascal Hitzler)
• Extracting Reduced Logic Programs from Artificial Neural Networks  + (Artur S. d'Avila Garcez and Jeff Elman and Pascal Hitzler)
• Towards Propositional KLM-Style Defeasible Standpoint Logics  + (Aurona Gerber, Jacques Maritz, Anban W. Pillay)
• Non-monotonic Extensions to Formal Concept Analysis via Object Preferences  + (Aurona Gerber, Jacques Maritz, Anban W. Pillay)
• Foundations of Description Logics  + (Axel Polleres, Claudia d'Amato, Marcelo Arenas, Siegfried Handschuh, Paula Kroner, Sascha Ossowski, Peter F. Patel-Schneider)
• Quality Assessment of Design Cases within the DOM Environment  + (B. Bartsch-Spörl and D. Janetzko and S. Wess)
• Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis  + (B. Ganter and G. Mineau)
• Relative Observability in Coordination Control  + (B. Lennartson)
• On Defaults in Action Theories  + (B. Mertsching and M. Hund and Z. Aziz)
• Matching under Side Conditions in Description Logics  + (B. Nebel)
• PSPACE Automata for Description Logics  + (B. Parsia and U. Sattler and D. Toman)
• Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics  + (Baldoni, Matteo and Dastani, Mehdi and Liao, Beishui and Sakurai, Yuko and Zalila Wenkstern, Rym)
• From Verification to Causality-Based Explications  + (Bansal, Nikhil and Merelli, Emanuela and Worrell, James)
• Hybrid Unification in the Description Logic EL  + (Barbara Morawska and Konstantin Korovin)
• Default Reasoning about Actions via Abstract Argumentation  + (Bart Verheij and Stefan Szeider and Stefan Woltran)
• Computational Aspects of cf2 and stage2 Argumentation Semantics  + (Bart Verheij, Stefan Szeider, Stefan Woltran)
• Evaluating Abstract Dialectical Frameworks with ASP  + (Bart Verheij, Stefan Szeider, Stefan Woltran)
• An Approach to Exploring Description Logic Knowledge Bases  + (Barış Sertkaya and Léonard Kwuida)
• Hardness of Enumerating Pseudo-Intents in the Lectic Order  + (Barış Sertkaya and Léonard Kwuida)
• Preserving Constraints with the Stable Chase  + (Benny Kimelfeld and Yael Amsterdamer)
• Efficient Dependency Analysis for Existential Rules  + (Benny Kimelfeld, Maria Vanina Martinez, Renzo Angles)
• OntoComP System Description  + (Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler)
• Reasoning With Weighted Ontologies  + (Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler)