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

• 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)
• On SAT-Encodings of the At-Most-One Constraint  + (G. Katsirelos and C.-G. Quimpe)
• Computing extensions of terminological default theories  + (G. Lakemeyer)
• Defaults in Action: Non-monotonic Reasoning About States in Action Calculi  + (G. Lakemeyer and L. Morgenstern and M.-A. Williams)
• Semiring Artificial Neural Networks and Weighted Automata — And an Application to Digital Image Encoding —  + (G. Palm S. Biundo, T. Frühwirth)
• Combination of Compatible Reduction Orderings that are Total on Ground Terms  + (G. Winskel)
• Convergence Classes and Spaces of Partial Functions  + (G.-Q. Zhang and J. Lawson and Y.M. Liu and M.K. Luo)
• Characterizing Realizability in Abstract Argumentation  + (Gabriele Kern-Isberner and Renata Wassermann)
• On Efficient Decision Preserving Translations of Score Systems into Probabilistic Systems.  + (Gabriele Kern-Isberner and Thomas Lukasiewicz and Emil Weydert)
• PIT: A System for Reasoning with Probabilities.  + (Gabriele Kern-Isberner and Thomas Lukasiewicz and Emil Weydert)
• A Probability Theoretic Analysis of Score Systems  + (Gabriele Kern-Isberner and Thomas Lukasiewicz and Emil Weydert)
• Completing Incomplete Bayesian Networks  + (Gabriele Kern-Isberner and Wilhelm Roedder)
• Completing Incomplete Bayesian Networks  + (Gabriele Kern-Isberner and Wilhelm Rödder and Friedhelm Kulmann)
• Automating Reasoning with Standpoint Logic via Nested Sequents  + (Gabriele Kern-Isberner, Gerhard Lakemeyer, Thomas Meyer)
• Chasing Streams with Existential Rules  + (Gabriele Kern-Isberner, Gerhard Lakemeyer, Thomas Meyer)
• The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion  + (Gabriele Kern-Isberner, Gerhard Lakemeyer, Thomas Meyer)
• A fuzzy extension of explanatory relations based on mathematical morphology  + (Gabriella Pasi and Javier Montero)
• Fixed-Domain Reasoning for Description Logics  + (Gal A. Kaminka, Maria Fox, Paolo Bouquet, Eyke Hüllermeier, Virginia Dignum, Frank Dignum, Frank van Harmelen)
• Hashtag Processing for Enhanced Clustering of Tweets  + (Galia Angelova, Kalina Bontcheva, Ruslan Mitkov, Ivelina Nikolova, Irina Temnikova)
• Finite-Cliquewidth Sets of Existential Rules – Toward a General Criterion for Decidable yet Highly Expressive Querying  + (Geerts, Floris and Vandevoort, Brecht)
• Temporal Query Answering in DL-Lite with Negation  + (Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov)

• A Resolution Theorem for Algebraic Domains  + (Georg Gottlob and Toby Walsh)
• Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles  + (Georg Gottlob and Toby Walsh)
• Terminological Cycles in a Description Logic with Existential Restrictions  + (Georg Gottlob and Toby Walsh)

• Tunas - Fishing for Diverse Answer Sets: A Multi-Shot Trade up Strategy  + (Georg Gottlob, Daniela Inclezan, Marco Maratea)
• IASCAR: Incremental Answer Set Counting by Anytime Refinement  + (Georg Gottlob, Daniela Inclezan, Marco Maratea)
• A Practical Account into Counting Dung’s Extensions by Dynamic Programming  + (Georg Gottlob, Daniela Inclezan, Marco Maratea)
• The Two Views on Ontological Query Answering  + (Georg Gottlob, Jorge Pérez)
• On SAT-Encodings of the At-Most-One Constraint  + (George Katsirelos and Claude-Guy Quimper)
• Spatial concepts - a rule exploration  + (Gerd Stumme)
• Complexity of Abduction in the EL Family of Lightweight Description Logics  + (Gerhard Brewka and Jérôme Lang)
• Undecidability of Fuzzy Description Logics  + (Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith)
• Extending Unification in EL Towards General TBoxes  + (Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith)
• Terminology Meets the Multilingual Semantic Web – Terms as Labels of Concepts  + (Gerhard Budin, Vesna Lusicky)
• Business lexicography  + (Gerlinde Mautner Rainer Franz)
• ADF-BDD.DEV: Insights to undecided Statements in Abstract Dialectical Frameworks  + (Gianvincenzo Alfano, Stefano Ferilli)
• The Weak Completion Semantics and Equality  + (Gilles Barthe and Geoff Sutcliffe and Margus Veanes)
• The Triguarded Fragment of First-Order Logic  + (Gilles Barthe, Geoff Sutcliffe, Margus Veanes)
• Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study  + (Gilly, Katja and Thomas, Nigel)
• Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints  + (Giuseppe De Giacomo. Alejandro Catala, Bistra Dilkina, Michela Milano, Senen Barro and Alberto Bugarin, Jerome Lang)
• Sharing Information in Parallel Search with Search Space Partitioning  + (Giuseppe Nicosia and Panos M. Pardalos)
• Consequence Operators for Characterization Logics – The Case of Abstract Argumentation  + (Gopal Gupta and Carmine Dodaro and Maria Vanina Martínez)
• On conditionals  + (Gottlob, G., Sutcliffe, G., Voronkov, A.)
• Reasoning in Semantic Wikis  + (Grigoris Antoniou and Uwe Aßmann and Cristina Baroglio and Stefan Decker and Nicola Henze and Paula-Lavinia Patranjan and Robert Tolksdorf)
• Multilingual Terminology Acquisition for Ontology-based Information Extraction  + (Guadalupe Aguado de Cea, Mari Carmen Suárez-Figueroa, Raúl García-Castro, Elena Montiel-Ponsoda)
• Conservative Extensions in Modal Logics  + (Guido Governatori and Ian Hodkinson and Yde Venema)
• Semantic Characterizations of AGM Revision for Tarskian Logics  + (Guido Governatori, Anni-Yasmin Turhan)
• An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog  + (Guido Governatori, Anni-Yasmin Turhan)