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

Weighted Symbolic Automata with Data Storage + (Srečko Brlek, Christophe Reutenauer)
Description Logics that Count, and What They Can and Cannot Count (Extended Abstract) + (Stefan Borgwardt, Thomas Meyer)
Bound Your Models! How to Make OWL an ASP Modeling Language + (Stefan Ellmauthaler, Claudia Schulz)
Asynchronous Multi-Context Systems + (Stefan Ellmauthaler, Jörg Pührer)
Mulit-context systems for reactive reasoning in dynamic environments + (Stefan Ellmauthaler, Jörg Pührer)
"Most of" leads to undecidability: Failure of adding frequencies to LTL + (Stefan Kiefer, Christine Tasson)
Towards Model Theory of Ordered Logics: Expressivity and Interpolation + (Stefan Szeider, Robert Ganian, Alexandra Silva)
Rational Models of Normal Logic Programs + (Steffen Hölldobler Günther Görz)
KI-96: Lecture Notes in Artificial Intelligence + (Steffen Hölldobler Günther Görz)
Generic CDCL – A Formalization of Modern Propositional Satisfiability Solvers + (Steffen Hölldobler and Andrey Malikov and Christoph Wernhard)
Proceedings of the Young Scientists' International Workshop on Trends in Information Processing, YSIP + (Steffen Hölldobler and Andrey Malikov and Christoph Wernhard)
Intellectics and Computational Logic + (Steffen Hölldobler in Honor of Wolfgang Bibel)
Cheap Boolean Role Constructors for Description Logics + (Steffen Hölldobler, Carsten Lutz, Heinrich Wansing)
Towards a Formal Account on Negative Latency + (Steffen, Bernhard)
The Bayesian Description Logic BEL + (Stephane Demri and Deepak Kapur and Christoph Weidenbach)
EL-ifying Ontologies + (Stephane Demri, Deepak Kapur, Christoph Weidenbach)
Intertranslatability of Labeling-based Argumentation Semantics + (Steven Schockaert, Pierre Senellart)
Preferential Query Answering in the Semantic Web with Possibilistic Networks + (Subbarao Kambhampati)
Expressivity of Datalog Variants - Completing the Picture + (Subbarao Kambhampati)
ETALIS: Rule-Based Reasoning in Event Processing + (Sven Helmer, Alex Poulovassilis, Fatos Xhafa)
The Relative Expressiveness of Abstract Argumentation and Logic Programming + (Sven Koenig and Blai Bonet)
Global One-Counter Tree Automata + (Szilárd Zsolt Fazekas)
Concept Lattice Orbifolds -- First Steps + (Sèbastien Ferré and Sebastian Rudolph)
Some Computational Problems Related to Pseudo-intents + (Sébastien Ferré and Sebastian Rudolph)
Usability Issues in Description Logic Knowledge Base Completion + (Sébastien Ferré and Sebastian Rudolph)
Exploring Finite Models in the Description Logic ELgfp + (Sébastien Ferré and Sebastian Rudolph)

Compact Argumentation Frameworks + (Sébastien Konieczny and Hans Tompits)
Implementing Default and Autoepistemic Logics via the Logic of GK + (Sébastien Konieczny and Hans Tompits)
On the Relative Expressiveness of Argumentation Frameworks, Normal Logic Programs and Abstract Dialectical Frameworks + (Sébastien Konieczny and Hans Tompits)

A Simple Model for the Wason Selection Task + (T. Barkowsky and M. Ragni and F. Stolzenburg)
Computing Least Common Subsumers in Description Logics with Existential Restrictions + (T. Dean)
Ausgezeichnete Informatikdissertationen 2004 + (T. Dreier and O. Günther and S. Hölldobler and K.-P. Löhr and P. Molitor and R. Reischuk and D. Saupe and D. Wagner)
VLog: A Column-Oriented Datalog System for Large Knowledge Graphs + (Takahiro Kawamura, Heiko Paulheim)
Modeling OWL with Rules: The ROWL Protege Plugin + (Takahiro Kawamura, Heiko Paulheim)
Extraction of Multilingual Term Variants in the Business Reporting Domain + (Tatiana Gornostay)
Terminology Harmonization in Industry Classification Standards + (Tatiana Gornostay)
On the Coincidence of Semantics for Uniquely Determined Programs + (Ted Hurley and Mícheál Mac an Airchinnigh and Michel Schellekens and Anthony Seda)
Matching with respect to general concept inclusions in the Description Logic EL + (Temur Kutsia and Christophe Ringeissen)
Employing DL-LiteR-Reasoners for Fuzzy Query Answering + (Thepchai Supnithi and Takahira Yamaguchi)
Towards a Declarative Approach to Model Human Reasoning with Nonmonotonic Logics + (Thomas Barkowsky and Marco Ragni and Frieder Stolzenburg)
Towards Knowledge-Based Assistance for Scholarly Editing + (Thomas C. Hales, Cezary Kaliszyk, Stephan Schulz, Josef Urban)
Reasoning with Concrete Domains + (Thomas Dean)
Computing the lcs w.r.t. General EL^+ TBoxes + (Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch)
Rough EL Classification + (Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch)
LATPub527 + (Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch)
About Subsumption in Fuzzy EL + (Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch)
Temporal Query Answering in DL-Lite + (Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch)
Hybrid EL-Unification is NP-Complete + (Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch)
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation -- Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday + (Thomas Eiter and Hannes Strass and Mirosław Truszczyński and Stefan Woltran)
SROIQ Syntax Approximation by Using Nominal Schemas + (Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch)
How to reason with OWL in a logic programming system + (Thomas Eiter, Enrico Franconi, Ralph Hodgson, Susie Stephens)
Asynchronous Multi-Context Systems + (Thomas Eiter, Hannes Strass, Miroslaw Truszczynski, Stefan Woltran)
Stream Packing for Asynchronous Multi-Context Systems using ASP + (Thomas Eiter, Wolfgang Faber, Stefan Woltran)