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

• The Undecidability of the Entailment Problem in the Fluent and the Situation Calculus  + (The Undecidability of the Entailment Problem in the Fluent and the Situation Calculus)
• The Varieties of Ought-implies-Can and Deontic STIT Logic  + (The Varieties of Ought-implies-Can and Deontic STIT Logic)
• The WHILE Hierarchy of Program Schemes is Infinite  + (The WHILE Hierarchy of Program Schemes is Infinite)
• The Weak Completion Semantics and Counter Examples  + (The Weak Completion Semantics and Counter Examples)
• The Weak Completion Semantics and Counterexamples  + (The Weak Completion Semantics and Counterexamples)
• The Weak Completion Semantics and Equality  + (The Weak Completion Semantics and Equality)
• The Well-Founded Semantics is a Stratified Fitting Semantics  + (The Well-Founded Semantics is a Stratified Fitting Semantics)
• The World Avatar project – a universal digital twin  + (The World Avatar project – a universal digital twin)
• The World Avatar project – a universal digital twin  + (The World Avatar project – a universal digital twin)
• The cf2 Argumentation Semantics Revisited  + (The cf2 Argumentation Semantics Revisited)
• The cf2 argumentation semantics revisited  + (The cf2 argumentation semantics revisited)
• The classification of homomorphism homogeneous tournaments  + (The classification of homomorphism homogeneous tournaments)
• The draculasp System: Default Reasoning about Actions and Change Using Logic and Answer Set Programming  + (The draculasp System: Default Reasoning about Actions and Change Using Logic and Answer Set Programming)
• The effect of tossing coins in omega-automata  + (The effect of tossing coins in omega-automata)
• The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics  + (The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics)
• The online application portal for the "European Master's Program in Computational Logic" closed on 31.05. 2017.  + (The online application portal for the "European Master's Program in Computational Logic" closed on 31.05. 2017.)
• The online application portal for the "International MSc Program in Computational Logic" opens on 1 April 2015.  + (The online application portal for the "International MSc Program in Computational Logic" opens on 1 April 2015.)
• The role of pragmatics in solving the Winograd Schema Challenge  + (The role of pragmatics in solving the Winograd Schema Challenge)
• The two cultures: mashing up Web 2.0 and the Semantic Web  + (The two cultures: mashing up Web 2.0 and the Semantic Web)
• The variance-penalized stochastic shortest path problem  + (The variance-penalized stochastic shortest path problem)
• Themenvorschläge für Studien- und Abschlussarbeiten  + (Themenvorschläge für Studien- und Abschlussarbeiten)
• Theofilos Mailis  + (Theofilos Mailis)
• Theofilos Mailis  + (Theofilos Mailis)
• Theorem Proving for Metric Temporal Logic over the Naturals  + (Theorem Proving for Metric Temporal Logic over the Naturals)
• Theorem Proving with LEAN  + (Theorem Proving with LEAN)
• Theorem Proving with LEAN  + (Theorem Proving with LEAN)
• Theorem Proving with LEAN  + (Theorem Proving with LEAN)
• Theorem Proving with LEAN  + (Theorem Proving with LEAN)
• Theorem Proving with LEAN  + (Theorem Proving with LEAN)
• Theorem Proving with LEAN  + (Theorem Proving with LEAN)
• Theorem Proving with LEAN  + (Theorem Proving with LEAN)
• Theorem Proving with LEAN  + (Theorem Proving with LEAN)
• Theoretische Informatik  + (Theoretische Informatik)

• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)
• Theoretische Informatik und Logik  + (Theoretische Informatik und Logik)

• Theses  + (Theses)
• Third Conceptual Structures Tool Interoperability Workshop (CS-TIW 2008)  + (Third Conceptual Structures Tool Interoperability Workshop (CS-TIW 2008))
• Third Workshop on Human Reasoning and Computational Logic  + (Third Workshop on Human Reasoning and Computational Logic)
• Third Workshop on Human Reasoning and Computational Logic  + (Third Workshop on Human Reasoning and Computational Logic)
• Third Workshop on Human Reasoning and Computational Logic  + (Third Workshop on Human Reasoning and Computational Logic)
• Thomas Bruderrek  + (Thomas Bruderrek)
• Thomas Feller  + (Thomas Feller)
• Thomas Feller  + (Thomas Feller)
• Thomas Hinze  + (Thomas Hinze)
• Thomas Hinze  + (Thomas Hinze)
• Tight Complexity Bounds for Reasoning in the Description Logic BEL  + (Tight Complexity Bounds for Reasoning in the Description Logic BEL)
• Tim Lyon  + (Tim Lyon)
• Tim Lyon  + (Tim Lyon)
• Timetable  + (Timetable)
• Timetable and Courses description for Winter Term 2016/2017  + (Timetable and Courses description for Winter Term 2016/2017)
• Timetable and Courses description for Winter Term 2016/2017  + (Timetable and Courses description for Winter Term 2016/2017)
• Timetable in Summer Term 2016  + (Timetable in Summer Term 2016)