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

• Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation  + (Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation)
• Polynomial Time Reasoning in a Description Logic with Existential Restrictions, GCI Axioms, and—What Else?  + (Polynomial Time Reasoning in a Description Logic with Existential Restrictions, GCI Axioms, and—What Else?)
• Porting the xEBR taxonomies to a LOD compliant format  + (Porting the xEBR taxonomies to a LOD compliant format)
• Position estimation of a mobile robot using a single vehicle-mounted camera  + (Position estimation of a mobile robot using a single vehicle-mounted camera)
• Position estimation of a mobile robot using a single vehicle-mounted camera  + (Position estimation of a mobile robot using a single vehicle-mounted camera)
• Positive Subsumption in Fuzzy EL with General t-norms  + (Positive Subsumption in Fuzzy EL with General t-norms)
• Positivity-Hardness and Saturation Points in Markov Decision Processes  + (Positivity-Hardness and Saturation Points in Markov Decision Processes)
• Positivity-Hardness and Saturation Points in Markov Decision Processes  + (Positivity-Hardness and Saturation Points in Markov Decision Processes)
• Possibilities for Evolution Strategies to optimize Fuzzy Sets in Medical Applications  + (Possibilities for Evolution Strategies to optimize Fuzzy Sets in Medical Applications)
• Practical Epistemic Entailment Checking in SROIQ  + (Practical Epistemic Entailment Checking in SROIQ)
• Practical Fixed-Domain Reasoning for Description Logics - Extended Abstract  + (Practical Fixed-Domain Reasoning for Description Logics - Extended Abstract)
• Practical Linked Data Access via SPARQL: The Case of Wikidata  + (Practical Linked Data Access via SPARQL: The Case of Wikidata)
• Practical Planning for Angry Birds  + (Practical Planning for Angry Birds)
• Practical Planning for Angry Birds  + (Practical Planning for Angry Birds)
• Practical Planning for Angry Birds  + (Practical Planning for Angry Birds)
• Practical Planning for Angry Birds  + (Practical Planning for Angry Birds)
• Practical Planning for Angry Birds  + (Practical Planning for Angry Birds)
• Practical Planning for Angry Birds  + (Practical Planning for Angry Birds)
• Practical Reasoning for Description Logics with Functional Restrictions, Inverse and Transitive Roles, and Role Hierarchies  + (Practical Reasoning for Description Logics with Functional Restrictions, Inverse and Transitive Roles, and Role Hierarchies)
• Practical Reasoning for Expressive Description Logics  + (Practical Reasoning for Expressive Description Logics)
• 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)