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

• Decomposing Abstract Dialectical Frameworks  + (978-1-61499-435-0)
• On Metric Temporal Description Logics  + (978-1-61499-671-2)
• Fixed-Domain Reasoning for Description Logics  + (978-1-61499-672-9)
• Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints  + (978-1-64368-100-9)
• On Logics and Homomorphism Closure  + (978-1-6654-4895-6)
• Why propositional quantification makes modal logics on trees robustly hard ?  + (978-1-7281-3608-0)
• Abstract Dialectical Frameworks  + (978-1-84890-275-6)
• The Varieties of Ought-implies-Can and Deontic STIT Logic  + (978-1-84890-352-4)
• Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination (Technical Report)  + (978-1-956792-02-7)
• Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+  + (978-1-956792-02-7)
• Navigating and Querying Answer Sets: How Hard Is It Really and Why?  + (978-1-956792-05-8)
• The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules  + (978-1-956792-05-8)
• Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities  + (978-1-956792-05-8)
• On the Complexity of Graded Modal Logics with Converse.  + (978-3-030-19569-4)
• Cut-Free Calculi and Relational Semantics for Temporal STIT Logics  + (978-3-030-19570-0)
• Presburger Concept Cardinality Constraints in Very Expressive Description Logics – Allegro sexagenarioso ma non ritardando  + (978-3-030-22101-0)
• Temporally Attributed Description Logics  + (978-3-030-22101-0)
• SPARQL Queries over Ontologies Under the Fixed-Domain Semantics  + (978-3-030-29907-1)
• Explainable Artificial Intelligence. Proceedings of the 15th Reasoning Web Summer School  + (978-3-030-31422-4)
• Explaining Data with Formal Concept Analysis  + (978-3-030-31422-4)
• Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics  + (978-3-030-33792-6)
• A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms  + (978-3-030-44638-3)
• Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment  + (978-3-030-75775-5)
• Nested Sequents for Intuitionistic Modal Logics via Structural Refinement  + (978-3-030-86058-5)
• A Framework for Intuitionistic Grammar Logics  + (978-3-030-89390-3)

• A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic  + (978-3-030-99523-2)

• Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting  + (978-3-031-15298-6)
• Representing Abstract Dialectical Frameworks with Binary Decision Diagrams  + (978-3-031-15707-3)
• Tunas - Fishing for Diverse Answer Sets: A Multi-Shot Trade up Strategy  + (978-3-031-15707-3)
• IASCAR: Incremental Answer Set Counting by Anytime Refinement  + (978-3-031-15707-3)
• Semantic Characterizations of AGM Revision for Tarskian Logics  + (978-3-031-21540-7)
• Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings  + (978-3-031-43618-5)
• Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features  + (978-3-031-43619-2)
• Global One-Counter Tree Automata  + (978-3-031-71111-4)
• 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)