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 Theory of Idempotent Semigroups is of Unification Type Zero  + (The Theory of Idempotent Semigroups is of Unification Type Zero)
• The Triguarded Fragment of First-Order Logic  + (The Triguarded Fragment of First-Order Logic)
• 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 Two Views on Ontological Query Answering  + (The Two Views on Ontological Query Answering)
• The Undecidability of System NEL  + (The Undecidability of System NEL)
• 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)