Search by property
From International Center for Computational Logic
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)