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

• Frontiers of Combining Systems  + (Kluwer Academic Publishers)
• Unification Theory  + (Kluwer Academic Publishers)
• Intellectics and Computational Logic  + (Kluwer Academic Publishers)
• Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel  + (Kluwer Academic Publishers)
• Complex Plans in the Fluent Calculus  + (Kluwer Academic Publishers)
• Automated Deduction - A Basis for Applications  + (Kluwer Academic Publishers)
• Intellectics and Computational Logic  + (Kluwer Academic Publishers)
• Convergence Classes and Spaces of Partial Functions  + (Kluwer Academic Publishers)
• DOM-ARCADE: Assistance services for construction, evaluation, and adaptation of design layouts  + (Kluwer Academic Publishers, Dordrecht)
• Controller Synthesis for Probabilistic Systems  + (Kluwer/Springer)
• Unification of Concept Terms  + (LIFO, Universitè de Orlèans)
• The WHILE Hierarchy of Program Schemes is Infinite  + (LNCS 1378, Springer)
• Characterizing the semantics of terminological cycles with the help of finite automata  + (LRI, Universitè PARIS-SUD, Cente d'Orsay)
• Unification of Concept Terms in Description Logics  + (LRI, Universitè PARIS-SUD, Cente d'Orsay)
• Employing DL-LiteR-Reasoners for Fuzzy Query Answering  + (Lecture Notes in Computer Science)
• On the Complexity of Graded Modal Logics with Converse.  + (Lecture Notes in Computer Science)
• On the Complexity of Counting in Description Logics  + (Linköping University)
• A Suggestion for an n-ary Description Logic  + (Linköping University)
• Rewriting Concepts Using Terminologies  + (Linköping University)
• Matching in Description Logics with Existential Restrictions  + (Linköping University)
• A Correspondance between Temporal Description Logics  + (Linköping University)
• Extraction of Multilingual Term Variants in the Business Reporting Domain  + (Linköping University Electronic Press)
• Terminology Harmonization in Industry Classification Standards  + (Linköping University Electronic Press)
• A First Order System with Finite Choice of Premises  + (Logos Verlag)
• Generating Rational Models  + (MIT Press)
• Prognose der Phytoplankton-Dynamik: Anwendungen fallbasierter Methoden auf einen dynamischen ökologischen Prozeß  + (Metropolis-Verlag, Marburg)

• Approximation and Difference in Description Logics  + (Morgan Kaufman)
• LATPub226  + (Morgan Kaufman)
• Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles  + (Morgan Kaufman)

• Terminological Logics with Modal Operators  + (Morgan Kaufmann)
• Characterizing the Semantics of Terminological Cycles in ALN using Finite Automata  + (Morgan Kaufmann)
• Computing Least Common Subsumers in Description Logics with Existential Restrictions  + (Morgan Kaufmann)
• Matching under Side Conditions in Description Logics  + (Morgan Kaufmann)
• Terminological Cycles in a Description Logic with Existential Restrictions  + (Morgan Kaufmann)
• Reasoning with Axioms: Theory and Practice  + (Morgan Kaufmann Publishers)
• Rewriting Concepts Using Terminologies  + (Morgan Kaufmann Publishers)
• Matching in Description Logics with Existential Restrictions  + (Morgan Kaufmann Publishers)
• A Resolution Theorem for Algebraic Domains  + (Morgan Kaufmann Publishers)
• Number Restrictions on Complex Roles in Description Logics  + (Morgan Kaufmann, Los Altos)
• Reasoning with Concrete Domains  + (Morgan-Kaufmann Publishers)
• Interval-based Temporal Reasoning with General TBoxes  + (Morgan-Kaufmann Publishers)
• Keys, Nominals, and Concrete Domains  + (Morgan-Kaufmann Publishers)
• Decidability of SHIQ with Complex Role Inclusion Axioms  + (Morgan-Kaufmann Publishers)
• Pushing the EL Envelope  + (Morgan-Kaufmann Publishers)
• Non-Global Parikh Tree Automata  + (OPA)
• Rushing and Strolling among Answer Sets – Navigation Made Easy (Extended Abstract)  + (Open Publishing Association)
• Proceedings 39th International Conference on Logic Programming  + (Open Publishing Association)
• LTL to Deterministic Emerson-Lei Automata  + (Open Publishing Association)
• Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination  + (Open Publishing Association)
• Iterative Variable Reordering: Taming Huge System Families  + (Open Publishing Association)
• Unification Theory  + (Oxford University Press)
• Solving a PSPACE-complete problem by gene assembly  + (Oxford University Press)
• Stage semantics and the SCC-recursive schema for argumentation semantics  + (Oxford University Press)