Search by property
From International Center for Computational Logic
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
- A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams +
- A Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions +
- A Framework for Reasoning about Dynamic Axioms in Description Logics +
- A Heuristic Search Algorithm for Solving First-Order MDPs +
- A Logic-Based Approach to Dynamic Programming +
- A Matter of Principles: Towards the Largest DLP Possible +
- A Simple Model for the Wason Selection Task +
- A categorical view on algebraic lattices in formal concept analysis +
- All-Instances Oblivious Chase Termination is Undecidable for Single-Head Binary TGDs +
- An FCA Method for the Extensional Exploration of Relational Data +
- Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory +
- Answering Conjunctive Queries for Expressive DLs with the Restricted Chase: Extended Abstract +
- Application Patterns of Projection/Forgetting +
- Attributed Description Logics: Reasoning on Knowledge Graphs +
- Axiomatizing EL^_gfp-General Concept Inclusions in the Presence of Untrusted Individuals +
- Combination of Constraint Solving Techniques: An Algebraic Point of View +
- Compact Argumentation Frameworks +
- Complexities of Nominal Schemas +
- Compositional Matrix-Space Models of Language +
- Computing the lcs w.r.t. General EL^+ TBoxes +
- Conceptual Knowledge Acquisition Using Automatically Generated Large-Scale Semantic Networks +
- Conceptual Structures: Leveraging Semantic Technologies +
- Conjunctive Query Entailment: Decidable in Spite of O, I, and Q +
- Default Reasoning about Conditional, Non-Local and Disjunctive Effect Actions +
- Description Logic Rules +
- EL-ifying Ontologies +
- ELK Reasoner: Architecture and Evaluation +
- Effektiver Algorithmus zur Lösung von inversen Aufgabenstellungen - Anwendung in der Geotechnik +
- Efficient Rule-Based Inferencing for OWL EL +
- Exact Learning of Lightweight Description Logic Ontologies +
- Exploring Relational Structures via FLE +
- Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs +
- Expressivity of Datalog Variants - Completing the Picture +
- Extended Resolution in Modern SAT Solving +
- Extending Decidable Existential Rules by Joining Acyclicity and Guardedness +
- Fixed Parameter Tractable Reasoning in DLs via Decomposition +
- Formal Concept Analysis Methods for Dynamic Conceptual Graphs +
- Generalized Domain-Range Restrictions +
- Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers +
- How to Best Nest Regular Path Queries +
- Hybrid EL-Unification is NP-Complete +
- Implementing Default and Autoepistemic Logics via the Logic of GK +
- Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs +
- LATPub527 +
- Membership Constraints in Formal Concept Analysis +
- Morphisms in Context +
- Nominal Schemas for Integrating Rules and Description Logics +
- Nominal Schemas in Description Logics: Complexities Clarified +
- Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling +
- Not too Big, Not too Small ... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics +
