Suche mittels Attribut

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

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