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