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

• Intensional Question Answering using ILP: What does an answer mean?  + (Cimiano)
• The Semantic Web: Semantics and Big Data, 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings  + (Cimiano)
• Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs  + (Claßen)
• A computational logic approach to human syllogistic reasoning  + (Costa)
• Fallverwaltung und Fallretrieval: Implementierungen und Tests  + (Coulon)
• Deductive Joint Support for Rational Unrestricted Rebuttal  + (Cramer)
• Third Conceptual Structures Tool Interoperability Workshop (CS-TIW 2008)  + (Croitoru)
• Graph Structures for Knowledge Representation and Reasoning - Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers  + (Croitoru)
• Exclusivity-based allocation of knowledge  + (Croitoru)
• Graph Structures for Knowledge Representation and Reasoning - Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers  + (Croitoru)
• Graph Structures for Knowledge Representation and Reasoning - 5th International Workshop, GKR 2017  + (Croitoru)
• Blackhole Pushdown Automata  + (Csuhaj-Varjú)
• Blackhole State-Controlled Regulated Pushdown Automata  + (Csuhaj-Varjú)
• Efficient Separability of Regular Languages by Subsequences and Suffixes  + (Czerwiński)
• NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces  + (Dachselt)
• Design and evaluation of an ontology-terminology model for the interchange of terminological data: an approach to multilingual conceptual modeling as exemplified in the domain of finance  + (Dagmar)
• Completeness and soundness guarantees for conjunctive SPARQL queries over RDF data sources with completeness statements  + (Darari)
• Rule Extraction from Trained ANN: A Survey  + (Darbari)
• Situation Recognition for Service Management Systems Using OWL 2 Reasoners  + (Dargie)
• On restricted context-free grammars  + (Dassow)
• Access Policy Design Supported by FCA Methods  + (Dau)
• Integrating Reasoning Services for Description Logics with Cardinality Constraints with Numerical Optimization Techniques  + (De Bortoli)
• A Generic Model for Video Content Based Retrieval  + (Decleir)
• Modeling and Querying Video Databases  + (Decleir)
• Modeling and Querying Video Data: A Hybrid Approach  + (Decleir)
• A Database Approach for Modeling and Querying Video Data  + (Decleir)
• A Database Approach for Modeling and Querying Video Data  + (Decleir)

• Acquisition, Representation, and Extension of Multilingual Labels of Financial Ontologies  + (Declerck)
• Combining three Ways of Conveying Knowledge: Modularization of Domain, Terminological, and Linguistic Knowledge in Ontologies  + (Declerck)
• Extraction of Multilingual Term Variants in the Business Reporting Domain  + (Declerck)
• Porting the xEBR taxonomies to a LOD compliant format  + (Declerck)
• Towards the Generation of Semantically Enriched Multilingual Components of Ontology Labels  + (Declerck)

• DeaLing with Ontologies using CODs  + (Del Vescovo)
• Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics  + (Delivorias)
• Revisiting Grounded Circumscription in Description Logics  + (Delivorias)
• Joint Proceedings of the 3rd Stream Reasoning (SR 2016) and the 1st Semantic Web Technologies for the Internet of Things (SWIT 2016) workshops  + (Dell'Aglio)
• Automata-Theoretic Decision Procedures for Information Logics  + (Demri)
• A Formal Theory of Justifications  + (Denecker)
• D1.1.1 Conceptual models for enterprise knowledge (Initial Models)  + (Dengler)
• Schnittbildanatomie – Interaktives klinisch-topographisches Lernprogramm  + (Denker)
• Enumerating Satisfiable Propositional Formulae  + (Dershowitz)
• A Practical Account into Counting Dung’s Extensions by Dynamic Programming  + (Dewoprabowo)
• On Indicative Conditionals  + (Dietz)
• Modeling the Suppression Task under Weak Completion and Well-Founded Semantics  + (Dietz)
• A Computational Logic Approach to the Abstract and the Social Case of the Selection Task  + (Dietz)
• A Computational Logic Approach to the Suppression Task  + (Dietz)
• A Computational Logic Approach to the Abstract and the Social Case of the Selection Task  + (Dietz)
• Modeling the Suppression Task under Weak Completion and Well-Founded Semantics  + (Dietz)
• A Simple Model for the Wason Selection Task  + (Dietz)
• A Computational Logic Approach to the Suppression Task  + (Dietz)
• A Computational Logic Approach to Syllogisms in Human Reasoning  + (Dietz)
• A New Computational Logic Approach to Reason with Conditionals  + (Dietz)
• On Indicative Conditionals  + (Dietz)
• Modeling the Suppression Task under Three-Valued Lukasiewicz and Well-Founded Semantics  + (Dietz)
• A computational logic approach to human spatial reasoning  + (Dietz)