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 Uniform Account of Realizability in Abstract Argumentation +
- Clause Simplifications in Search-Space Decomposition-Based SAT Solvers +
- 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 +
- Default Reasoning about Actions via Abstract Argumentation +
- Evaluating Abstract Dialectical Frameworks with ASP +
- Fixed-Domain Reasoning for Description Logics +
- Formalizing Ontology Alignment and its Operations with Category Theory +
- Implementing Instantiation of Knowledge Bases in Argumentation Frameworks +
- Multi-context systems for reactive reasoning in dynamic environments +
- Neva – Extension Visualization for Argumentation Frameworks +
- Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints +
- Semantic Modularity and Module Extraction in Description Logics +
- Standpoint Logic: Multi-Perspective Knowledge Representation +
- The ASPARTIX System Suite +
- 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 +
