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 Framework for Intuitionistic Grammar Logics +
- Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features +
- Causality-Based Game Solving +
- Determinization and Limit-Determinization of Emerson-Lei Automata +
- Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study +
- Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment +
- From Display to Labelled Proofs for Tense Logics +
- IASCAR: Incremental Answer Set Counting by Anytime Refinement +
- Nested Sequents for Intuitionistic Modal Logics via Structural Refinement +
- On probability-raising causality in Markov decision processes +
- Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting +
- Probabilistic Causes in Markov Chains +
- Reduction-Based Approaches to Implement Modgil’s Extended Argumentation Frameworks +
- Satisfiability for MTL and TPTL over non-monotonic data words +
- Satisfiability of ECTL* with tree constraints +
- Tunas - Fishing for Diverse Answer Sets: A Multi-Shot Trade up Strategy +
- What Is a Reasonable Argumentation Semantics? +
