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