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 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 +
