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

• Problem Solving and Search in Artificial Intelligence  + (Practical Work Presentations)
• Problem Solving and Search in Artificial Intelligence  + (Practical Work Presentations)
• Problem Solving and Search in Artificial Intelligence  + (Practical Work Presentations)
• Problem Solving and Search in Artificial Intelligence  + (Practical Work Topic)
• Problem Solving and Search in Artificial Intelligence  + (Practical Work Topic)
• 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)
• Seminar Selected Topics of Computational Logic  + (Preliminary Discussion)
• 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)
• Seminar Rule-Based Paradigms in KR  + (Presentation (Seminar-Talk))
• Logic  + (Presentation of the European Partner Universities)
• Logical Modeling  + (Presentation: Practical Assignments)
• Seminar Abstract Argumentation  + (Presentations)
• Practical Planning for Angry Birds  + (Presentations)
• Seminar: Logical Modelling  + (Presentations)
• Practical Planning for Angry Birds  + (Presentations (more details TBA))
• Preserving Constraints with the Stable Chase  + (Preserving Constraints with the Stable Chase)
• 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)
• 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)
• Complexity Theory  + (Probabilistic Complexity Classes (1))
• Complexity Theory  + (Probabilistic Complexity Classes (1))
• Complexity Theory  + (Probabilistic Complexity Classes (1))
• Complexity Theory  + (Probabilistic Complexity Classes (1))
• Complexity Theory  + (Probabilistic Complexity Classes (1))
• Complexity Theory  + (Probabilistic Complexity Classes (1))
• Complexity Theory  + (Probabilistic Complexity Classes (1))
• Complexity Theory  + (Probabilistic Complexity Classes (2))
• Complexity Theory  + (Probabilistic Complexity Classes (2))
• Complexity Theory  + (Probabilistic Complexity Classes (2))
• Complexity Theory  + (Probabilistic Complexity Classes (2))
• Complexity Theory  + (Probabilistic Complexity Classes (2))
• Complexity Theory  + (Probabilistic Complexity Classes (2))
• Complexity Theory  + (Probabilistic Complexity Classes (2))
• Complexity Theory  + (Probabilistic Complexity Classes (3))
• Complexity Theory  + (Probabilistic Complexity Classes (3))
• Complexity Theory  + (Probabilistic Complexity Classes (3))
• 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)