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
- Consistency Reasoning in Lattice-Based Fuzzy Description Logics + (International Journal of Approximate Reasoning)
- Algorithms for Reasoning in Very Expressive Description Logics under Infinitely Valued Gödel Semantics + (International Journal of Approximate Reasoning)
- An Extension-Based Approach to Belief Revision in Abstract Argumentation + (International Journal of Approximate Reasoning)
- EMIL: Extracting Meaning from Inconsistent Language: Towards argumentation using a controlled natural language interface + (International Journal of Approximate Reasoning)
- EMIL: Extracting Meaning from Inconsistent Language: Towards argumentation using a controlled natural language interface + (International Journal of Approximate Reasoning)
- Distributed computation of supremal conditionally-controllable sublanguages + (International Journal of Control)
- A Note on Limited Pushdown Alphabets in Stateless Deterministic Pushdown Automata + (International Journal of Foundations of Computer Science)
- Complexity in Union-Free Regular Languages + (International Journal of Foundations of Computer Science)
- On the Terminating Derivation Mode in Cooperating Distributed Grammar Systems with Forbidding Components + (International Journal of Foundations of Computer Science)
- Smoke Test Planning using Answer Set Programming + (International Journal of Interactive Multimedia and Artificial Intelligence)
- SNOMED reaching its adolescence: Ontologists' and logicians' health check + (International Journal of Medical Informatics)
- Probabilistic Aspects of Score Systems + (International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems (IJUFKS))
- A uniform framework for weighted decision diagrams and its implementation + (International Journal on Software Tools for Technology Transfer)
- Some advances in tools and algorithms for the construction and analysis of systems + (International Journal on Software Tools for Technology Transfer)
- Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata + (International Journal on Software Tools for Technology Transfer (STTT))
- Configuration of Inter-Process Communication with Probabilistic Model Checking + (International Journal on Software Tools for Technology Transfer (STTT))
- A Data Warehouse Conceptual Data Model for Multidimensional Aggregation: a preliminary report + (Italian Association for Artificial Intelligence AI*IA Notizie)
- Unification in Commutative Theories, Hilbert's Basis Theorem and Gröbner Bases + (J. ACM)
- Combination Problems for Commutative/Monoidal Theories: How Algebra Can Help in Equational Reasoning + (J. Applicable Algebra in Engineering, Communication and Computing)
- A Multi-Dimensional Terminological Knowledge Representation Language + (J. Applied Non-Classical Logics)
- Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies + (J. Artif. Intell. Res. (JAIR))
- The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies + (J. Autom. Reasoning)
- The Theory of Idempotent Semigroups is of Unification Type Zero + (J. Automated Reasoning)
- Priorities on Defaults with Prerequisites, and their Application in Treating Specificity in Terminological Default Logic + (J. Automated Reasoning)
- Embedding Defaults into Terminological Representation Systems + (J. Automated Reasoning)
- A rule-based ontological framework for the classification of molecules + (J. Biomedical Semantics)
- Unification in Commutative Theories + (J. Symbolic Computation)
- Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures + (J. Symbolic Computation)
- Unification of Concepts Terms in Description Logics + (J. Symbolic Computation)
- Unification in Commutative Idempotent Monoids + (J. Theoretical Computer Science)
- Shortipedia: Aggregating and Curating Semantic Web Data + (J. Web Sem.)
- A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages + (J. of Logic and Computation)
- Explicit and Implicit Indeterminism: Reasoning about uncertain and contradictory specifications of dynamic systems + (JPL)
- Second-order Confidence in Supervaluationism + (Journal for General Philosophy of Science)
- Employing Description Logics in Ambient Intelligence for Modeling and Reasoning about Complex Situations + (Journal of Ambient Intelligence and Smart Environments)
- Computing the Least Common Subsumer w.r.t. a Background Terminology + (Journal of Applied Logic)
- Runtime Verification Using the Temporal Description Logic ALC-LTL Revisited + (Journal of Applied Logic)
- Similarity-based Relaxed Instance Queries + (Journal of Applied Logic)
- A general first-order solution to the ramification problem with cycles + (Journal of Applied Logic)
- Logic Programs and Connectionist Networks + (Journal of Applied Logic, Special Issue on Neural-Symbolic Systems)
- Logic Programs, Iterated Function Systems, and Recurrent Radial Basis Function Networks + (Journal of Applied Logic, Special Issue on Neural-Symbolic Systems)
- The Weak Completion Semantics and Counterexamples + (Journal of Applied Logics - IfCoLog)
- A Correspondence between Temporal Description Logics + (Journal of Applied Non-Classical Logic)
- PDL with Negation of Atomic Programs + (Journal of Applied Non-Classical Logic)
- Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics + (Journal of Applied Non-Classical Logics)
- Modeling the Suppression Task under Weak Completion and Well-Founded Semantics + (Journal of Applied Non-Classsical Logics)
- A Core Method for the Weak Completion Semantics with Skeptical Abduction + (Journal of Artificial Intelligence Research Special Track on Deep Learning, Knowledge Representation, and Reasoning)
- Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is Your Friend! + (Journal of Artificial Intelligence Research)
- The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases + (Journal of Artificial Intelligence Research)
- The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics + (Journal of Artificial Intelligence Research)
- Keys, Nominals, and Concrete Domains + (Journal of Artificial Intelligence Research)
