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

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)
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)
A Resolution Theorem for Algebraic Domains + (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)

Extending Unification in EL Towards General TBoxes + (Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith)
Undecidability of Fuzzy Description Logics + (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)
Reasoning in the Description Logic BEL using Bayesian Networks + (Guy Van den Broeck and Kristian Kersting and Sriraam Natarajan and David Poole)
Ausgezeichnete Informatikdissertationen 2002 + (H. Beilner and H. Fiedler and M. Gross and O. Günther and S. Hölldobler and G. Hotz and K.-P. Löhr and R. Reischuk and D. Wagner)
Ausgezeichnete Informatikdisserationen 2001 + (H. Beilner and H. Fiedler and O. Günther and S. Hölldobler and G. Hotz and P. Liggesmeyer and K.-P. Löhr and R. Reischuk and D. Wagner)
Blackhole State-Controlled Regulated Pushdown Automata + (H. Bordihn, R. Freund, T. Hinze, M. Holzer, M. Kutrib, F. Otto)
Zur Integration von fall- und regelbasierten Verfahren im Entwicklungssystem FAENSY + (H. Burkhard and M. Lenz)
Combining Constraint Solving + (H. Comon and C. Marché and R. Treinen)
Ausgezeichnete Informatikdissertationen 1999 + (H. Fiedler and O. Günther and W. Grass and S. Hölldobler and G. Hotz and R. Reischuk and B. Seeger and D. Wagner)
Ausgezeichnete Informatikdisserationen 2000 + (H. Fiedler and W. Grass and O. Günther and S. Hölldobler and G. Hotz and R. Reischuk and B. Seeger and D. Wagner)
A PSpace Algorithm for Graded Modal Logic + (H. Ganzinger)