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

• On the Decidability of Verifying LTL Properties of Golog Programs  + (14:34:10, 25 March 2015)
• LATPub721  + (14:34:10, 25 March 2015)
• Learning Formal Definitions for Snomed CT from Text  + (14:34:10, 25 March 2015)
• Exploration by Confidence  + (14:34:10, 25 March 2015)
• Model Exploration by Confidence with Completely Specified Counterexamples  + (14:34:10, 25 March 2015)
• A General Form of Attribute Exploration  + (14:34:10, 25 March 2015)
• Temporal Query Answering w.r.t. DL-Lite-Ontologies  + (14:34:10, 25 March 2015)
• Goedel Description Logics: Decidability in the Absence of the Finitely-Valued Model Property  + (14:34:10, 25 March 2015)
• Hybrid Unification in the Description Logic EL  + (14:34:10, 25 March 2015)
• On the Complexity of Temporal Query Answering  + (14:34:10, 25 March 2015)
• Conjunctive Query Answering in Rough EL  + (14:34:10, 25 March 2015)
• Towards Parallel Repair Using Decompositions  + (14:34:10, 25 March 2015)
• Error-Tolerant Reasoning in the Description Logic EL  + (14:34:10, 25 March 2015)
• The Complexity of Fuzzy Description Logics over Finite Lattices with Nominals  + (14:34:10, 25 March 2015)
• Reasoning with Temporal Properties over Axioms of DL-Lite  + (14:34:10, 25 March 2015)
• Matching with respect to general concept inclusions in the Description Logic EL  + (14:34:10, 25 March 2015)
• Runtime Verification Using a Temporal Description Logic Revisited  + (14:34:10, 25 March 2015)
• PDL with Negation of Atomic Programs  + (17:33:36, 26 March 2015)
• Quantitative Temporal Logics: PSpace and below  + (17:33:37, 26 March 2015)
• Quantitative Temporal Logics: PSpace and below  + (17:33:45, 26 March 2015)
• Quantitative Temporal Logics: PSpace and below  + (17:33:52, 26 March 2015)
• PDL with Negation of Atomic Programs  + (17:33:53, 26 March 2015)
• PDL with Negation of Atomic Programs  + (17:35:08, 26 March 2015)
• Datei:Portrait-Georg-Wild.jpg  + (22:12:36, 27 March 2015)
• Georg Wild  + (22:13:17, 27 March 2015)

• Chile – A Trip Report  + (15:27:28, 8 April 2015)

• An Implementation of a Labelling-based Algorithm for the cf2 Argumentation Semantics  + (08:27:18, 9 April 2015)
• Datei:CorkUCCBuildings.jpg  + (16:10:35, 12 April 2015)
• Datei:Cobh. Co Cork. Ireland.jpg  + (16:31:29, 12 April 2015)
• Datei:KINSALE -street-. Co CORK.IRELAND..jpg  + (16:38:33, 12 April 2015)
• Forschungslinie  + (08:58:48, 13 April 2015)
• Grounded Circumscription in Description Logics/en  + (12:09:01, 13 April 2015)
• Grounded Circumscription in Description Logics  + (12:09:26, 13 April 2015)
• Grounded Circumscription in Description Logics  + (12:09:26, 13 April 2015)
• Default reasoning over domains and concept hierarchies  + (13:07:34, 13 April 2015)
• Challenge Problems for the Integration of Logic and Connectionist Systems (Extended Abstract)  + (13:07:34, 13 April 2015)
• The SAT Solver Framework priss (System Description)  + (13:07:34, 13 April 2015)
• DOM: Domain Ontology Modelling for Architectural Engineering Design  + (13:07:34, 13 April 2015)
• Intellectics and Computational Logic  + (13:07:34, 13 April 2015)
• Towards State Update Axioms: Reifying Successor State Axioms  + (13:07:34, 13 April 2015)
• ???  + (13:07:34, 13 April 2015)
• Disjunction in Resource-Oriented Deductive Planning  + (13:07:34, 13 April 2015)
• FABEL  + (13:07:34, 13 April 2015)
• Multi-Flip Networks: A Parallelization of Local SAT-Algorithms  + (13:07:34, 13 April 2015)
• Computing in Civil Engineering  + (13:07:34, 13 April 2015)
• Logik und Logikprogrammierung  + (13:07:34, 13 April 2015)
• Towards a Systematic Account of Different Logic Programming Semantics  + (13:07:34, 13 April 2015)
• A purely logical account of sequentiality in proof search – extended abstract  + (13:07:34, 13 April 2015)
• Completing Incomplete Bayesian Networks  + (13:07:34, 13 April 2015)
• Abduction in Human Reasoning  + (13:07:34, 13 April 2015)
• How (Not) To Minimize Events  + (13:07:34, 13 April 2015)