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

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