Suche mittels Attribut
Aus International Center for Computational Logic
Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.
Liste der Ergebnisse
- 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 +
