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

• Towards Mass Spectrum Analysis with ASP  + (978-3-031-74208-8)
• Towards Propositional KLM-Style Defeasible Standpoint Logics  + (978-3-031-78254-1)
• Non-monotonic Extensions to Formal Concept Analysis via Object Preferences  + (978-3-031-78254-1)
• A Geo-ontology Design Pattern for Semantic Trajectories  + (978-3-319-01789-1)
• Graph Structures for Knowledge Representation and Reasoning - Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers  + (978-3-319-04533-7)
• On the Succinctness of Closure Operator Representations  + (978-3-319-07247-0)
• EL-ifying Ontologies  + (978-3-319-08586-9)
• Robust and Efficient Large-large Table Outer Joins on Distributed Infrastructures  + (978-3-319-09873-9)
• Coordination Control of Distributed Discrete-Event Systems  + (978-3-319-10406-5)
• Supervisory Control of Discrete-Event Systems  + (978-3-319-10406-5)
• P ≠ P: Why Some Reasoning Problems Are More Tractable Than Others  + (978-3-319-11113-1)
• Pushing the Boundaries of Tractable Ontology Reasoning.  + (978-3-319-11914-4)
• Schema-Agnostic Query Rewriting in SPARQL 1.1  + (978-3-319-11964-9)
• Introducing Wikidata to the Linked Data Web  + (978-3-319-11964-9)
• Reduction-Based Approaches to Implement Modgil’s Extended Argumentation Frameworks  + (978-3-319-14725-3)
• What Is a Reasonable Argumentation Semantics?  + (978-3-319-14725-3)
• Asynchronous Multi-Context Systems  + (978-3-319-14726-0)
• On the Complexity of k-Piecewise Testability and the Depth of Automata  + (978-3-319-21499-3)
• Exact Learning of Multivalued Dependencies  + (978-3-319-24485-3)
• KI 2015: Advances in Artificial Intelligence - Proceedings of the 38th Annual German Conference on AI  + (978-3-319-24489-1)
• Efficient Large Outer Joins over MapReduce  + (978-3-319-43658-6)
• Intertranslatability of Labeling-based Argumentation Semantics  + (978-3-319-45856-4)
• A Practical Acyclicity Notion for Query Answering Over Horn-SRIQ Ontologies  + (978-3-319-46522-7)
• Rule-Based OWL Modeling with ROWLTab Protégé Plugin  + (978-3-319-58068-5)
• Not too Big, Not too Small…Complexities of Fixed-Domain Reasoning in First-Order and Description Logics  + (978-3-319-65340-2)

• From Display to Labelled Proofs for Tense Logics  + (978-3-319-72056-2)

• Deciding Universality of ptNFAs is PSpace-Complete  + (978-3-319-73116-2)
• Graph Structures for Knowledge Representation and Reasoning - 5th International Workshop, GKR 2017  + (978-3-319-78101-3)
• The Semantic Web: ESWC 2018 Satellite Events - ESWC 2018 Satellite Events  + (978-3-319-98191-8)
• Semantic Web - Grundlagen  + (978-3-540-33993-9)
• Semantic MediaWiki  + (978-3-540-49029-6)
• Intensional Question Answering using ILP: What does an answer mean?  + (978-3-540-69857-9)
• Some Notes on Pseudo-closed Sets  + (978-3-540-70828-5)
• Die zwei Kulturen  + (978-3-540-72215-1)
• Semantic Wikipedia  + (978-3-540-72215-1)
• Quo Vadis, CS? - On the (non)-impact of Conceptual Structures on the Semantic Web  + (978-3-540-73680-6)
• Supporting Lexical Ontology Learning by Relational Exploration  + (978-3-540-73680-6)
• Using FCA for Encoding of Closure Operators into Neural Networks  + (978-3-540-73680-6)
• Reasoning in Semantic Wikis  + (978-3-540-74613-3)
• Conjunctive Queries for a Tractable Fragment of OWL 1.1  + (978-3-540-76297)
• Acquiring Generalized Domain-Range Restrictions  + (978-3-540-78136-3)
• Lexico-Logical Acquisition of OWL DL Axioms - An Integrated Approach to Ontology Refinement  + (978-3-540-78136-3)
• Approximate OWL-Reasoning with Screech  + (978-3-540-88736-2)
• ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming  + (978-3-540-89981-5)
• A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions  + (978-3-642-00981-5)
• Formal Concept Analysis: 7th International Conference, ICFCA 2009, Proceedings  + (978-3-642-01814-5)
• Tempus Fugit - Towards an Ontology Update Language  + (978-3-642-02120-6)
• Conceptual Structures: Leveraging Semantic Technologies  + (978-3-642-03078-9)
• Complexity in Union-Free Regular Languages  + (978-3-642-14454-7)
• Semantic MediaWiki  + (978-3-642-19797-0)
• Strong Equivalence for Argumentation Semantics Based on Conflict-Free Sets  + (978-3-642-22151-4)