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

• 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)