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
- (Non-)Succinctness of uniform interpolants of general terminologies in the description logic ℰℒ +
- 2-ExpTime lower bounds for Propositional Dynamic Logics with intersection +
- ??? +
- A "Converse" of the Banach Contraction Mapping Theorem +
- A Closer Look at the Semantic Relationship between Datalog and Description Logics +
- A Core Method for the Weak Completion Semantics with Skeptical Abduction +
- A Correspondence between Temporal Description Logics +
- A Data Warehouse Conceptual Data Model for Multidimensional Aggregation: a preliminary report +
- A Description Logic with Concrete Domains and Role-forming Predicates +
- A Description Logic with Transitive and Inverse Roles and Role Hierarchies +
- A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages +
- A Hardware/Software Stack for Heterogeneous Systems +
- A Hypermedia Tutorial for Cross-Sectional Anatomy: HyperMed +
- A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations +
- A Modified Supervaluationist Framework for Decision-Making +
- A Multi-Dimensional Terminological Knowledge Representation Language +
- A Note on Limited Pushdown Alphabets in Stateless Deterministic Pushdown Automata +
- A Note on Unification Type Zero +
- A Tableau Algorithm for DLs with Concrete Domains and GCIs +
- A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes +
- A Tableau Decision Algorithm for Modalized ALC with Constant Domains +
- A categorical view on algebraic lattices in formal concept analysis +
- A general first-order solution to the ramification problem with cycles +
- A generalized resolution theorem +
- A new combination procedure for the word problem that generalizes fusion decidability results in modal logics +
- A note on controllability of deterministic context-free systems +
- A note on the attractor-property of infinite-state Markov chains +
- A rule-based ontological framework for the classification of molecules +
- A uniform framework for weighted decision diagrams and its implementation +
- ATL is Indeed ExpTime-complete +
- About the Expressive Power and Complexity of Order-Invariance with Two Variables +
- Abstract Dialectical Frameworks. An Overview +
- Abstract Dialectical Frameworks. An Overview +
- Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies +
- Admissibility in Probabilistic Argumentation +
- Advanced Solving Technology for Dynamic and Reactive Applications +
- Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata +
- Algorithms for Reasoning in Very Expressive Description Logics under Infinitely Valued Gödel Semantics +
- Alternating-time stream logic for multi-agent systems +
- An Abstract, Logical Approach to Characterizing Strong Equivalence in Non-monotonic Knowledge Representation Formalisms +
- An Empirical Analysis of Optimization Techniques for Terminological Representation Systems +
- An Extension-Based Approach to Belief Revision in Abstract Argumentation +
- An FCA grounded study of user dynamics through log exploration +
- An Overview of Tableau Algorithms for Description Logics +
- Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory +
- Answer-set programming encodings for argumentation frameworks +
- Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies +
- Answering conjunctive queries in the SHIQ description logic +
- Approximating Operators and Semantics for Abstract Dialectical Frameworks +
- Approximating the Semantics of Logic Programs by Recurrent Neural Networks +
