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 Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations +
- ADF-BDD.DEV: Debug Abstract Dialectical Frameworks with Binary Decision Diagrams +
- ADF-BDD.DEV: Insights to undecided Statements in Abstract Dialectical Frameworks +
- Abstract Domains for Database Manipulating Processes +
- Advanced Problem Solving and Search +
- Advanced Problem Solving and Search +
- Algorithmic Game Theory +
- Automated Reasoning Support for Standpoint-OWL 2 +
- Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features +
- Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying +
- Complexity Theory +
- Compositional matrix-space models of language: Definitions, properties, and learning methods +
- Computing Stable Extensions of Argumentation Frameworks using Formal Concept Analysis +
- Concurrency Theory +
- Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules +
- Counterfactual Causality for Reachability and Safety based on Distance Functions +
- Database Theory +
- Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets +
- Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination (Technical Report) +
- Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study +
- Efficient Dependency Analysis for Existential Rules +
- Entropic Risk for Turn-Based Stochastic Games +
- Finite-Cliquewidth Sets of Existential Rules – Toward a General Criterion for Decidable yet Highly Expressive Querying +
- Formale Systeme +
- Foundations of Knowledge Representation +
- Foundations of Logic Programming +
- Foundations of Semantic Web Technologies +
- General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract) +
- General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Technical Report) +
- How to Tell Easy from Hard: Complexities of Conjunctive Query Entailment in Extensions of ALC +
- Humans Reason Skeptically +
- IASCAR: Incremental Answer Set Counting by Anytime Refinement +
- Identifying and Modelling Polysemous Senses of Spatial Prepositions in Referring Expressions +
- In Memory of Steffen Hölldobler: From Logic to Formal and Cognitive Reasoning +
- Introduction to Existential Rules +
- Introduction to Formal Concept Analysis +
- Knowledge Graphs +
- Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings +
- More for Less: Safe Policy Improvement with Stronger Performance Guarantees +
- Nemo: First Glimpse of a New Rule Engine +
- Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics +
- Nested Sequents for Quantified Modal Logics +
- Notation3 as an Existential Rule Language +
- On Composing Finite Forests with Modal Logics +
- On Monotonic Determinacy and Rewritability for Recursive Queries and Views +
- On the Abstract Expressive Power of Description Logics with Concrete Domains +
- On the Abstract Expressive Power of Description Logics with Concrete Domains (Extended Version) +
- On the Limits of Decision: the Adjacent Fragment of First-Order Logic +
- PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking +
- Proceedings 39th International Conference on Logic Programming +
