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
- Proceedings of the 6th International Workshop "What can FCA do for Artificial Intelligence?" + (CEUR-WS.org)
- The Combined Approach to Query Answering in Horn-ALCHOIQ (Extended Abstract) + (CEUR-WS.org)
- From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment + (CEUR-WS.org)
- Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract) + (CEUR-WS.org)
- Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting + (CEUR-WS.org)
- Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints + (CEUR-WS.org)
- Contextual abduction and its complexity issues + (CEUR-WS.org)
- Human Syllogistic Reasoning: Towards Predicting Individuals' Reasoning Behavior based on Cognitive Principles + (CEUR-WS.org)
- Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation (SAFA'20) + (CEUR-WS.org)
- Towards Inconsistency Management in Reactive Multi-Context Systems + (CEUR-WS.org)
- Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA), Workshop der COMMA 2016 + (CEUR-WS.org)
- A General First-Order Solution to the Ramification Problem + (CEUR-WS.org)
- The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2ExpTime-hard (Extended Abstract) + (CEUR-WS.org)
- Finite-Controllability of Conjunctive Queries in the Z family of Description Logics (Extended Abstract) + (CEUR-WS.org)
- Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract) + (CEUR-WS.org)
- Tuple-Generating Dependencies Capture Complex Values (extended abstract) + (CEUR-WS.org)
- Efficient Dependency Analysis for Existential Rules + (CEUR-WS.org)
- General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract) + (CEUR-WS.org)
- ADF-BDD.DEV: Insights to undecided Statements in Abstract Dialectical Frameworks + (CEUR-WS.org)
- Nemo: A Scalable and Versatile Datalog Engine + (CEUR-WS.org)
- Finite Groundings for ASP with Functions: A Journey through Consistency (Extended Abstract) + (CEUR-WS.org)
- The Weak Completion Semantics and Counter Examples + (CEUR-WS.org)
- Why Not? Explaining Missing Entailments with Evee + (CEUR-WS.org)
- Combination of Compatible Reduction Orderings that are Total on Ground Terms + (CIS, Universität München)
- Wissen als Code: Die Welt der Wissensgraphen und Ontologien + (COMPUTEC MEDIA)
- A Family of Approximation Algorithms for the Maximum Duo-Preservation String Mapping Problem + (CPM 2017)
- A Tableau Algorithm for the Clique Guarded Fragment + (CSLI Publications)
- The Complexity of Reasoning with Boolean Modal Logics + (CSLI Publications, Stanford)
- Term Rewriting and All That + (Cambridge University Press)
- Relationship with other Formalisms + (Cambridge University Press)
- Extensions to Description Logics + (Cambridge University Press)
- Basic Description Logics + (Cambridge University Press)
- Description Logic Terminology + (Cambridge University Press)
- The Description Logic Handbook: Theory, Implementation, and Applications + (Cambridge University Press)
- Fuzzy Answer Sets Approximations + (Cambridge University Press)
- The Description Logic Handbook: Theory, Implementation and Applications. + (Cambridge University Press)
- Term Rewriting and All That + (Cambridge University Press)
- Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms + (Cambridge University Press)
- Compositional matrix-space models of language: Definitions, properties, and learning methods + (Cambridge University Press)
- IASCAR: Incremental Answer Set Counting by Anytime Refinement + (Cambridge University Press)
- A Brief Introduction to Formal Concept Analysis + (Chapman & Hall)
- Foundations of Semantic Web Technologies + (Chapman & Hall/CRC)
- A Lexico-Logical Approach to Ontology Engineering + (Chapman & Hall/CRC)
- Initial Computability Algebraic Specifications and Partial Algebras + (Clarendon Press)
- Dynamic Bayesian Ontology Languages + (CoRR)
- Proceedings of the Second Summer School on Argumentation: Computational and Linguistic Perspectives (SSA'16) + (CoRR)
- Proceedings of the First International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016) + (CoRR)
- The DIAMOND system for argumentation: Preliminary report + (CoRR)
- A Computational Logic Approach to the Suppression Task + (Cognitive Science Society)
- Kinesthetic Mind Reader: A Method to Identify Image Schemas in Natural Language + (Cognitive Systems Foundation)
- Conservative Extensions in Modal Logics + (College Publications)