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
- "Most of" leads to undecidability: Failure of adding frequencies to LTL +
- A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic +
- A Framework for Intuitionistic Grammar Logics +
- A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report) +
- A Modified Supervaluationist Framework for Decision-Making +
- Admissibility in Probabilistic Argumentation +
- Advanced Problem Solving and Search +
- Advanced Problem Solving and Search +
- Approximate Computation of Exact Association Rules +
- Approximated Determinisation of Weighted Tree Automata +
- Be lazy and don’t care: Faster CTL model checking for recursive state machines +
- Capturing Homomorphism-Closed Decidable Queries with Existential Rules +
- Causality-Based Game Solving +
- Chase-Based Computation of Cores for Existential Rules +
- Completing the Picture: Complexity of Graded Modal Logics with Converse +
- Complexity Theory +
- Database Theory +
- Datalog-Expressibility for Monadic and Guarded Second-Order Logic +
- Description Logic +
- Determinization and Limit-Determinization of Emerson-Lei Automata +
- Display to Labeled Proofs and Back Again for Tense Logics +
- Einführung in die (theoretische) Informatik +
- Enhancing Probabilistic Model Checking with Ontologies +
- Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies +
- Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment +
- Finite Model Theory of the Triguarded Fragment and Related Logics +
- Finite and algorithmic model theory +
- Finite-Controllability of Conjunctive Queries in the Z family of Description Logics (Extended Abstract) +
- Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation +
- Formale Systeme +
- Foundations of Knowledge Representation +
- Foundations of Logic Programming +
- From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata +
- From Verification to Causality-Based Explications +
- Indexing for Datalog Materialisation with Leapfrog Triejoin +
- Introduction to Non-monotonic Reasoning +
- Knowledge Graphs +
- Linear weighted tree automata with storage and inverse linear tree homomorphisms +
- Logic-Based Ontology Engineering +
- Lutz's Spoiler Technique Revisited: A Unified Approach to Worst-Case Optimal Entailment of Unions of Conjunctive Queries in Locally-Forward Description Logics +
- Materializing Knowledge Bases via Trigger Graphs +
- Nested Sequents for Intuitionistic Modal Logics via Structural Refinement +
- Neural Machine Translating from Natural Language to SPARQL +
- On Classical Decidable Logics extended with Percentage Quantifiers and Arithmetics +
- On Logics and Homomorphism Closure +
- On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics +
- On the Decomposition of ADFs and the Complexity of Naive-based Semantics +
- On the Decomposition of ADFs and the Complexity of Naive-based Semantics +
- Partially Ordered Automata and Piecewise Testability +
- Probabilistic Causes in Markov Chains +
