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

• A More Efficient Parallel Unit Propagation  + (A More Efficient Parallel Unit Propagation)
• A Multi-Dimensional Terminological Knowledge Representation Language  + (A Multi-Dimensional Terminological Knowledge Representation Language)
• A Multi-Dimensional Terminological Knowledge Representation Language  + (A Multi-Dimensional Terminological Knowledge Representation Language)
• A Multi-Dimensional Terminological Knowledge Representation Language  + (A Multi-Dimensional Terminological Knowledge Representation Language)
• A Multi-Dimensional Terminological Knowledge Representation Language  + (A Multi-Dimensional Terminological Knowledge Representation Language)
• A NEXPTIME-complete Description Logic Strictly Contained in C^2  + (A NEXPTIME-complete Description Logic Strictly Contained in C^2)
• A NExpTime-complete Description Logic Strictly Contained in C^2  + (A NExpTime-complete Description Logic Strictly Contained in C^2)
• A Neutral Temporal Deontic STIT Logic  + (A Neutral Temporal Deontic STIT Logic)
• A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method  + (A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method)
• A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method  + (A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method)
• A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics  + (A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics)
• A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics  + (A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics)
• A New Computational Logic Approach to Reason with Conditionals  + (A New Computational Logic Approach to Reason with Conditionals)
• A New Computational Model for Human Reasoning  + (A New Computational Model for Human Reasoning)
• A New Computational Model for Human Reasoning  + (A New Computational Model for Human Reasoning)
• A New Equational Foundation for the Fluent Calculus  + (A New Equational Foundation for the Fluent Calculus)
• A New Method for Image Segmentation Based on Fuzzy Knowledge  + (A New Method for Image Segmentation Based on Fuzzy Knowledge)
• A New n-ary Existential Quantifier in Description Logics  + (A New n-ary Existential Quantifier in Description Logics)
• A New n-ary Existential Quantifier in Description Logics  + (A New n-ary Existential Quantifier in Description Logics)
• A New n-ary Existential Quantifier in Description Logics  + (A New n-ary Existential Quantifier in Description Logics)
• A Non-commutative Extension of MELL  + (A Non-commutative Extension of MELL)
• A Normalization Algorithm for Automated First-Order Value Iteration  + (A Normalization Algorithm for Automated First-Order Value Iteration)
• A Note on Limited Pushdown Alphabets in Stateless Deterministic Pushdown Automata  + (A Note on Limited Pushdown Alphabets in Stateless Deterministic Pushdown Automata)
• A Note on Relative Observability in Coordination Control  + (A Note on Relative Observability in Coordination Control)
• A Note on Undecidability of Observation Consistency for Non-Regular Languages  + (A Note on Undecidability of Observation Consistency for Non-Regular Languages)

• A Note on Unification Type Zero  + (A Note on Unification Type Zero)

• A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking  + (A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking)
• A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions  + (A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions)
• A Novel Architecture for Situation Awareness Systems  + (A Novel Architecture for Situation Awareness Systems)
• A PSpace Algorithm for Graded Modal Logic  + (A PSpace Algorithm for Graded Modal Logic)
• A PSpace-algorithm for ALCQI-satisfiability  + (A PSpace-algorithm for ALCQI-satisfiability)
• A PSpace-algorithm for deciding ALCNI_R^+-satisfiability  + (A PSpace-algorithm for deciding ALCNI_R^+-satisfiability)
• A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints  + (A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints)
• A Pitch Rich with Width-Witchcraft – Model-Theoretic Criteria for Decidable Query Entailment  + (A Pitch Rich with Width-Witchcraft – Model-Theoretic Criteria for Decidable Query Entailment)
• A Pitch Rich with Width-Witchcraft – Model-Theoretic Criteria for Decidable Query Entailment  + (A Pitch Rich with Width-Witchcraft – Model-Theoretic Criteria for Decidable Query Entailment)
• A Platform to Automatically Generate and Incorporate Documents into an Ontology-Based Content Repository  + (A Platform to Automatically Generate and Incorporate Documents into an Ontology-Based Content Repository)
• A Practical Account into Counting Dung’s Extensions by Dynamic Programming  + (A Practical Account into Counting Dung’s Extensions by Dynamic Programming)
• A Practical Acyclicity Notion for Query Answering Over Horn-SRIQ Ontologies  + (A Practical Acyclicity Notion for Query Answering Over Horn-SRIQ Ontologies)
• A Practical Approach for Computing Generalization Inferences in EL  + (A Practical Approach for Computing Generalization Inferences in EL)
• A Probabilistic Approach to Description of Molecular Biological Processes on DNA and Their Object Oriented Simulation  + (A Probabilistic Approach to Description of Molecular Biological Processes on DNA and Their Object Oriented Simulation)
• A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select  + (A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select)
• A Probability Theoretic Analysis of Score Systems  + (A Probability Theoretic Analysis of Score Systems)
• A Proposal for Describing Services with DLs  + (A Proposal for Describing Services with DLs)
• A Purely Logical Account of Sequentiality in Proof Search  + (A Purely Logical Account of Sequentiality in Proof Search)
• A Recursive Neural Network for Reflexive Reasoning  + (A Recursive Neural Network for Reflexive Reasoning)
• A Resolution Theorem for Algebraic Domains  + (A Resolution Theorem for Algebraic Domains)
• A Resource-Oriented Deductive Approach Towards Hierarchical Planning  + (A Resource-Oriented Deductive Approach Towards Hierarchical Planning)
• A Resource-Oriented Deductive Approach Towards Hierarchical Planning  + (A Resource-Oriented Deductive Approach Towards Hierarchical Planning)
• A Resource–Oriented Deductive Approach towards Hierarchical Planning  + (A Resource–Oriented Deductive Approach towards Hierarchical Planning)
• A Resource–Oriented Deductive Approach towards Hierarchical Planning  + (A Resource–Oriented Deductive Approach towards Hierarchical Planning)
• A Rule-Based Language for Complex Event Processing and Reasoning  + (A Rule-Based Language for Complex Event Processing and Reasoning)