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

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

• Admissibility in Probabilistic Argumentation  + (Journal of Artificial Intelligence Research)
• Answering conjunctive queries in the SHIQ description logic  + (Journal of Artificial Intelligence Research)
• Expressiveness of Two-Valued Semantics for Abstract Dialectical Frameworks  + (Journal of Artificial Intelligence Research)
• FLUCAP: A Heuristic Search Planner for First-Order MDPs  + (Journal of Artificial Intelligence Research)
• How to Tell Easy from Hard: Complexities of Conjunctive Query Entailment in Extensions of ALC  + (Journal of Artificial Intelligence Research)
• Keys, Nominals, and Concrete Domains  + (Journal of Artificial Intelligence Research)
• Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is Your Friend!  + (Journal of Artificial Intelligence Research)
• On the Decomposition of ADFs and the Complexity of Naive-based Semantics  + (Journal of Artificial Intelligence Research)
• Proof Theory and Decision Procedures for Deontic STIT Logics  + (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)

• Fusions of Description Logics and Abstract Description Systems  + (Journal of Artificial Intelligence Research (JAIR))
• A Tableau Algorithm for DLs with Concrete Domains and GCIs  + (Journal of Automated Reasoning)
• Automata-based Axiom Pinpointing  + (Journal of Automated Reasoning)
• The Bayesian Ontology Language BEL  + (Journal of Automated Reasoning)
• A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes  + (Journal of Automated Reasoning. Special Issue on on Automated Reasoning with Analytic Tableaux and Related Methods)
• Deciding Bisimilarity and Similarity for Probabilistic Processes  + (Journal of Computer and System Science)
• On restricted context-free grammars  + (Journal of Computer and System Sciences)
• Simple restriction in context-free rewriting  + (Journal of Computer and System Sciences)
• Satisfiability of ECTL* with Constraints  + (Journal of Computer and System Sciences)
• Locks: Picking key methods for a scalable quantitative analysis  + (Journal of Computer and System Sciences)
• Unfolding the Well-founded Semantics  + (Journal of Electrical Engineering)
• A "Converse" of the Banach Contraction Mapping Theorem  + (Journal of Electrical Engineering, Slovak Academy of Sciences)
• A generalized resolution theorem  + (Journal of Electrical Engineering, Slovak Academy of Sciences)
• The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence  + (Journal of Information)
• Planning Mathematical Proofs with Methods  + (Journal of Information Processing and Cybernetics, EIK)
• Where do business students turn for help? An empirical study on dictionary use in foreign-language learning  + (Journal of Lexicography)
• Explicit and Implicit Indeterminism  + (Journal of Logic Programming, Special Issue `Action and Change')
• Propositional Dynamic Logic with Recursive Programs  + (Journal of Logic and Algebraic Programming)
• The cf2 argumentation semantics revisited  + (Journal of Logic and Computation)
• Stage semantics and the SCC-recursive schema for argumentation semantics  + (Journal of Logic and Computation)