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

• Practical Reasoning for Very Expressive Description Logics  + (Practical Reasoning for Very Expressive Description Logics)
• Practical Reasoning with Nominals in the EL Family of Description Logics  + (Practical Reasoning with Nominals in the EL Family of Description Logics)
• Practical Reasoning with OWL and Rules  + (Practical Reasoning with OWL and Rules)
• Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference  + (Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference)
• Practical Uses of Existential Rules in Knowledge Representation  + (Practical Uses of Existential Rules in Knowledge Representation)
• Practical Uses of Existential Rules in Knowledge Representation  + (Practical Uses of Existential Rules in Knowledge Representation)
• Predicting the Performance of Wireless Communication Networks  + (Predicting the Performance of Wireless Communication Networks)
• Predicting the Performance of Wireless Communication Networks  + (Predicting the Performance of Wireless Communication Networks)
• Preface: Concept Lattices and Applications: Recent Advances and New Opportunities  + (Preface: Concept Lattices and Applications: Recent Advances and New Opportunities)
• Preference-driven Control over Incompleteness of Knowledge Graph Query Answers  + (Preference-driven Control over Incompleteness of Knowledge Graph Query Answers)
• Preferential Query Answering in the Semantic Web with Possibilistic Networks  + (Preferential Query Answering in the Semantic Web with Possibilistic Networks)
• Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting  + (Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting)
• Presburger Concept Cardinality Constraints in Very Expressive Description Logics – Allegro sexagenarioso ma non ritardando  + (Presburger Concept Cardinality Constraints in Very Expressive Description Logics – Allegro sexagenarioso ma non ritardando)
• Preserving Constraints with the Stable Chase  + (Preserving Constraints with the Stable Chase)
• Preserving Constraints with the Stable Chase  + (Preserving Constraints with the Stable Chase)
• Preserving Constraints with the Stable Chase  + (Preserving Constraints with the Stable Chase)
• Previous Knowledge  + (Previous Knowledge)
• Prime Implicate Normal Form for ALC Concepts  + (Prime Implicate Normal Form for ALC Concepts)
• Principles of Model Checking  + (Principles of Model Checking)
• Priorities on Defaults with Prerequisites, and their Application in Treating Specificity in Terminological Default Logic  + (Priorities on Defaults with Prerequisites, and their Application in Treating Specificity in Terminological Default Logic)
• Privacy-Preserving Ontology Publishing for EL Instance Stores  + (Privacy-Preserving Ontology Publishing for EL Instance Stores)
• Privacy-Preserving Ontology Publishing for EL Instance Stores  + (Privacy-Preserving Ontology Publishing for EL Instance Stores)
• ProFeat: feature-oriented engineering for family-based probabilistic model checking  + (ProFeat: feature-oriented engineering for family-based probabilistic model checking)
• ProbMeLa and Verification of Markov Decision Processes  + (ProbMeLa and Verification of Markov Decision Processes)
• ProbMela and verification of Markov decision processes  + (ProbMela and verification of Markov decision processes)
• Probabilistic $ømega$-Automata  + (Probabilistic $ømega$-Automata)

• Probabilistic Aspects of Score Systems  + (Probabilistic Aspects of Score Systems)
• Probabilistic Aspects of Score Systems  + (Probabilistic Aspects of Score Systems)

• Probabilistic Causality in Markovian Models  + (Probabilistic Causality in Markovian Models)
• Probabilistic Causes in Markov Chains  + (Probabilistic Causes in Markov Chains)
• Probabilistic Causes in Markov Chains  + (Probabilistic Causes in Markov Chains)
• Probabilistic Model Checking and Non-standard Multi-objective Reasoning  + (Probabilistic Model Checking and Non-standard Multi-objective Reasoning)
• Probabilistic Model Checking for Energy Analysis in Software Product Lines  + (Probabilistic Model Checking for Energy Analysis in Software Product Lines)
• Probabilistic Model Checking for Energy-Utility Analysis  + (Probabilistic Model Checking for Energy-Utility Analysis)
• Probabilistic Model Checking for Feature-oriented Systems  + (Probabilistic Model Checking for Feature-oriented Systems)
• Probabilistic Models for Reo Connector Circuits  + (Probabilistic Models for Reo Connector Circuits)
• Probabilistic Query Answering in the Bayesian Description Logic BEL  + (Probabilistic Query Answering in the Bayesian Description Logic BEL)
• Probabilistic acceptors for languages over infinite words  + (Probabilistic acceptors for languages over infinite words)
• Probabilistic and Topological Semantics for Timed Automata  + (Probabilistic and Topological Semantics for Timed Automata)
• Probabilistic automata over infinite words: expressiveness, efficiency, and decidability  + (Probabilistic automata over infinite words: expressiveness, efficiency, and decidability)
• Probabilistic weak simulation is decidable in polynomial time  + (Probabilistic weak simulation is decidable in polynomial time)
• Problem Solving and Search in Artificial Intelligence  + (Problem Solving and Search in Artificial Intelligence)
• Problem Solving and Search in Artificial Intelligence  + (Problem Solving and Search in Artificial Intelligence)
• Problem Solving and Search in Artificial Intelligence  + (Problem Solving and Search in Artificial Intelligence)
• Problem Solving and Search in Artificial Intelligence  + (Problem Solving and Search in Artificial Intelligence)
• Problem Solving and Search in Artificial Intelligence  + (Problem Solving and Search in Artificial Intelligence)
• Problem Solving and Search in Artificial Intelligence  + (Problem Solving and Search in Artificial Intelligence)
• Problem Solving and Search in Artificial Intelligence  + (Problem Solving and Search in Artificial Intelligence)
• Problem Solving and Search in Artificial Intelligence  + (Problem Solving and Search in Artificial Intelligence)
• Problem Solving and Search in Artificial Intelligence  + (Problem Solving and Search in Artificial Intelligence)
• Problem Solving and Search in Artificial Intelligence  + (Problem Solving and Search in Artificial Intelligence)
• Problem Solving and Search in Artificial Intelligence  + (Problem Solving and Search in Artificial Intelligence)