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 Knowledge Representation + (Foundations of Knowledge Representation)
Foundations of Knowledge Representation + (Foundations of Knowledge Representation)
Foundations of Knowledge Representation + (Foundations of Knowledge Representation)
Foundations of Logic Programming + (Foundations of Logic Programming)
Foundations of Logic Programming + (Foundations of Logic Programming)
Foundations of Logic Programming + (Foundations of Logic Programming)
Foundations of Logic Programming + (Foundations of Logic Programming)
Foundations of Logic Programming + (Foundations of Logic Programming)
Foundations of Logic Programming + (Foundations of Logic Programming)
Foundations of Logic Programming + (Foundations of Logic Programming)
Foundations of Logic Programming + (Foundations of Logic Programming)
Foundations of Logic Programming + (Foundations of Logic Programming)
Foundations of Logic Programming + (Foundations of Logic Programming)
Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies)
Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies)
Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies)
Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies)
Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies)
Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies)
Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings + (Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings)
Foundations of instance level updates in expressive description logics + (Foundations of instance level updates in expressive description logics)
Foundations of non-standard Inferences for Description Logics with transitive Roles and Role Hierarchies + (Foundations of non-standard Inferences for Description Logics with transitive Roles and Role Hierarchies)
Foundations of probability-raising causality in Markov decision processes + (Foundations of probability-raising causality in Markov decision processes)
Quotation in Formal Logics and the Web + (Frege and the use-mention problem)
From Default and Autoepistemic Logics to Disjunctive Answer Set Programs via the Logic of GK + (From Default and Autoepistemic Logics to Disjunctive Answer Set Programs via the Logic of GK)

From Display to Labelled Proofs for Tense Logics + (From Display to Labelled Proofs for Tense Logics)

From EL to Tractable Existential Rules with Complex Role Inclusions + (From EL to Tractable Existential Rules with Complex Role Inclusions)
From Emerson-Lei Automata to Deterministic, Limit-Deterministic or Good-for-MDP Automata + (From Emerson-Lei Automata to Deterministic, Limit-Deterministic or Good-for-MDP Automata)
From Features to Roles + (From Features to Roles)
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment + (From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment)
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment + (From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment)
From Human Reasoning Episodes to Connectionist Models (Dagstuhl Seminar) + (From Human Reasoning Episodes to Connectionist Models (Dagstuhl Seminar))
From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata + (From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata)
From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata + (From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata)
From Linear Proofs to Direct Logic with Exponentials + (From Linear Proofs to Direct Logic with Exponentials)
From Logic Programming to Human Reasoning: How to be Artificially Human (abstract) + (From Logic Programming to Human Reasoning: How to be Artificially Human (abstract))
From Logic Programming to Human Reasoning: How to be Artificially Human + (From Logic Programming to Human Reasoning: How to be Artificially Human)
From Tableaux to Automata for Description Logics + (From Tableaux to Automata for Description Logics)
From Tableaux to Automata for Description Logics + (From Tableaux to Automata for Description Logics)
From Verification to Causality-Based Explications + (From Verification to Causality-Based Explications)
From Verification to Synthesis under Cost-Utility Constraints + (From Verification to Synthesis under Cost-Utility Constraints)
From the Calculus of Structures to Term Rewriting Systems + (From the Calculus of Structures to Term Rewriting Systems)
Frontiers of Combining Systems + (Frontiers of Combining Systems)
Advanced Topics in Complexity Theory + (Function Problems)
Advanced Topics in Complexity Theory + (Function Problems)
Theoretische Informatik und Logik + (Funktionen und Normalformen)
Theoretische Informatik und Logik + (Funktionen und Normalformen)
Theoretische Informatik und Logik + (Funktionen und Normalformen)
Concurrency Theory + (Further Undecidability of Petri Net Equivalences)
Fusions of Description Logics + (Fusions of Description Logics)
Fusions of Description Logics and Abstract Description Systems + (Fusions of Description Logics and Abstract Description Systems)