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

• Foundations of Logic Programming  + (Program Termination)
• Foundations of Logic Programming  + (Program Termination)
• Foundations of Logic Programming  + (Program Termination ctd.)
• Programming Machine Ethics  + (Programming Machine Ethics)
• Projekte und Studienarbeiten Wissensbasierte Systeme  + (Project Announcement Winter Term 2022/2023)
• Knowledge Representation and Reasoning Seminar  + (Project Defense by Adrian Rebola Pardo about " Refutationally Complete Hierarchic Superposition Calculus with Definitions ", Master Thesis Report by Adrián Rebola Pardo about 'Unsatisfiability Proofs in Parity Reasoning')
• Knowledge Representation and Reasoning Seminar  + (Project Defense by Luis Palacios on 'A Connectionist Model for Skeptical Abduction' and Asmaa Afeefy on 'Planning Problems and Fixpoint Semantics')
• Knowledge Representation and Reasoning Seminar  + (Project Defense by Luis Palacios on 'A Connectionist Model for Skeptical Abduction' and Research Talk by Peter Steinke on 'PBLib - A Library For Encoding Pseudo-Boolean Constraints into CNF')
• Project Group "Theoretical Computer Science"  + (Project Group "Theoretical Computer Science")
• Project Group "Theoretical Computer Science"  + (Project Group "Theoretical Computer Science")
• Project Group Computational Logic  + (Project Group Computational Logic)
• Project Group Theoretical Computer Science  + (Project Group Theoretical Computer Science)
• Project Group “Model Checking”  + (Project Group “Model Checking”)
• Projection and Scope-Determined Circumscription  + (Projection and Scope-Determined Circumscription)
• Projects Theoretical Computer Science  + (Projects Theoretical Computer Science)
• Projects Theoretical Computer Science  + (Projects Theoretical Computer Science)
• Projects Theoretical Computer Science  + (Projects Theoretical Computer Science)
• Proof Theory and Decision Procedures for Deontic STIT Logics  + (Proof Theory and Decision Procedures for Deontic STIT Logics)
• Proof Theory and Sequent Systems  + (Proof Theory and Sequent Systems)
• Proof of the Basic Theorem on Concept Lattices in Isabelle/HOL  + (Proof of the Basic Theorem on Concept Lattices in Isabelle/HOL)
• Concurrency Theory  + (Properties of Petri Nets)
• Properties of a Logical System in the Calculus of Structures  + (Properties of a Logical System in the Calculus of Structures)
• Properties vs. Resources: Solving Simple Frame Problems  + (Properties vs. Resources: Solving Simple Frame Problems)
• Knowledge Graphs  + (Property Graph and Cypher)
• Knowledge Graphs  + (Property Graphs)

• Propositional Dynamic Logic with Recursive Programs  + (Propositional Dynamic Logic with Recursive Programs)

• Foundations of Knowledge Representation  + (Propositional Logic and First-Order Logic)
• Foundations of Knowledge Representation  + (Propositional Logic and First-Order Logic)
• Foundations of Knowledge Representation  + (Propositional Logic and First-Order Logic)
• Foundations of Knowledge Representation  + (Propositional and First-Order Logic)
• Proseminar "Perlen der theoretischen Informatik"  + (Proseminar "Perlen der theoretischen Informatik")
• Proseminar "Perlen der theoretischen Informatik"  + (Proseminar "Perlen der theoretischen Informatik")
• Proseminar "Perlen der theoretischen Informatik"  + (Proseminar "Perlen der theoretischen Informatik")
• Proseminar Anwendungen der Logik in der Informatik  + (Proseminar Anwendungen der Logik in der Informatik)
• Proseminar Anwendungen der Logik in der Informatik  + (Proseminar Anwendungen der Logik in der Informatik)
• Proseminar Anwendungen der Logik in der Informatik  + (Proseminar Anwendungen der Logik in der Informatik)
• Proseminar „Binäre Entscheidungsgraphen“  + (Proseminar „Binäre Entscheidungsgraphen“)
• Proseminar „Binäre Entscheidungsgraphen“  + (Proseminar „Binäre Entscheidungsgraphen“)
• Proseminar „Theoretische Informatik“  + (Proseminar „Theoretische Informatik“)
• Proseminar „Theoretische Informatik“  + (Proseminar „Theoretische Informatik“)
• Foundations of Semantic Web Technologies  + (Protege & HermiT)
• Providing Quality-of-Service Support to Legacy Applications Using Machine Learning  + (Providing Quality-of-Service Support to Legacy Applications Using Machine Learning)
• Finite and algorithmic model theory  + (Proving E-F Games)
• Theoretische Informatik und Logik  + (Prädikatenlogik: Syntax und Semantik)
• Theoretische Informatik und Logik  + (Prädikatenlogik: Syntax und Semantik)
• Theoretische Informatik und Logik  + (Prädikatenlogik: Syntax und Semantik)
• Formale Systeme  + (Prüfungskonsultation)
• Advanced Topics in Complexity Theory  + (Public Coin Protocols)
• Seminar Rule-Based Paradigms in KR  + (Public Holiday)
• Foundations of Logic Programming  + (Public holiday)
• Foundations of Knowledge Representation  + (Public holiday)