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 Benchmark Framework for a Computational Argumentation Competition +
- A Closer Look at the Semantic Relationship between Datalog and Description Logics +
- A Description Logic Primer +
- A Uniform Account of Realizability in Abstract Argumentation +
- ADF - BDD : An ADF Solver Based on Binary Decision Diagrams +
- Argumentation and Logic Programming (Revised Selected Papers of ArgLP 2015) +
- CPrAA -- A Checker for Probabilistic Abstract Argumentation +
- Clause Simplifications in Search-Space Decomposition-Based SAT Solvers +
- Compact Argumentation Frameworks +
- Complexity Results for Probabilistic Datalog+/- +
- Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics +
- Complexity of Subsumption in the EL Family of Description Logics: Acyclic and Cyclic TBoxes +
- Computational Aspects of cf2 and stage2 Argumentation Semantics +
- DIAMOND 3.0 - A Native C++ Implementation of DIAMOND +
- DIAMOND 3.0 -- A Native C++ Implementation of DIAMOND +
- Decomposing Abstract Dialectical Frameworks +
- Deductive Joint Support for Rational Unrestricted Rebuttal +
- Default Reasoning about Actions via Abstract Argumentation +
- Defining Relations: a general incremental approach with spatial temporal case studies +
- Description Logic Rules +
- Evaluating Abstract Dialectical Frameworks with ASP +
- Fixed-Domain Reasoning for Description Logics +
- Formalizing Ontology Alignment and its Operations with Category Theory +
- From Default and Autoepistemic Logics to Disjunctive Answer Set Programs via the Logic of GK +
- Implementing Instantiation of Knowledge Bases in Argumentation Frameworks +
- Mixing Materialization and Query Rewriting for Existential Rules +
- Multi-context systems for reactive reasoning in dynamic environments +
- NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces +
- On Metric Temporal Description Logics +
- Order matters! Harnessing a world of orderings for reasoning over massive data +
- Polynomial Time Reasoning in a Description Logic with Existential Restrictions, GCI Axioms, and—What Else? +
- Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas +
- Representative Answer Sets: Collecting Something of Everything +
- SNOMED CT's Problem List: Ontologists' and Logicians' Therapy Suggestions +
- Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints +
- Semantic Modularity and Module Extraction in Description Logics +
- Semantic Node-RED for rapid development of interoperable industrial IoT applications +
- Standpoint Logic: Multi-Perspective Knowledge Representation +
- The DIAMOND System for Computing with Abstract Dialectical Frameworks +
- The DIAMOND System for Computing with Abstract Dialectical Frameworks +
- The Logical Difference for ELHr-Terminologies using Hypergraphs +
- Verifying Properties of Infinite Sequences of Description Logic Actions +
- cf2 Semantics Revisited +
