Suche mittels Attribut
Aus International Center for Computational Logic
Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.
Liste der Ergebnisse
- 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)
