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

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