Image de couverture de livre

Defeasible Reasoning via Datalog$^\neg$

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Maher, Michael J.
Format:	Preprint
Publié:	2021
Sujets:	Logic in Computer Science Artificial Intelligence 03B70 (Primary) 03B60, 03B53 (Secondary) I.2.3; F.4.1; I.2.2; I.2.4
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Which are the True Defeasible Logics?
par: Maher, Michael J.
Publié: (2024)

Encoding argumentation frameworks with set attackers to propositional logic systems
par: Tang, Shuai, et autres
Publié: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
par: Tang, Shuai
Publié: (2025)

Bounded Model Checking for Unbounded Client Server Systems
par: Phawade, Ramchandra, et autres
Publié: (2022)

A novel framework for systematic propositional formula simplification based on existential graphs
par: de Mas, Jordina Francès, et autres
Publié: (2024)

Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction
par: Sochański, Michał, et autres
Publié: (2025)

Agent Interpolation for Knowledge
par: Bílková, Marta, et autres
Publié: (2025)

Mechanised uniform interpolation for modal logics K, GL, and iSL
par: Férée, Hugo, et autres
Publié: (2024)

First-Order Coalition Logic
par: Catta, Davide, et autres
Publié: (2025)

On an ordinary expansion of first-order Belnap-Dunn logic
par: Middelburg, C. A.
Publié: (2023)

On the Complexity and Properties of Preferential Propositional Dependence Logic
par: Sauerwald, Kai, et autres
Publié: (2025)

Representation Theorems for Cumulative Propositional Dependence Logics
par: Kontinen, Juha, et autres
Publié: (2026)

On the Complexity of Entailment for Cumulative Propositional Dependence Logics
par: Sauerwald, Kai, et autres
Publié: (2026)

Planning with Dynamically Changing Domains
par: Soutchanski, Mikhail, et autres
Publié: (2025)

Encoding Argumentation Frameworks to Propositional Logic Systems
par: Tang, Shuai, et autres
Publié: (2025)

Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)
par: Benzmüller, Christoph, et autres
Publié: (2026)

Unravelling Abstract Cyclic Proofs into Proofs by Induction
par: Grotenhuis, Lide, et autres
Publié: (2026)

Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems
par: Wright, Craig Steven
Publié: (2025)

Faithful Logic Embeddings in HOL -- Deep and Shallow
par: Benzmüller, Christoph
Publié: (2025)

Evaluating Autoformalization Robustness via Semantically Similar Paraphrasing
par: Moore, Hayden, et autres
Publié: (2025)

Sound Logical Explanations for Mean Aggregation Graph Neural Networks
par: Morris, Matthew, et autres
Publié: (2025)

Relational Graph Convolutional Networks Do Not Learn Sound Rules
par: Morris, Matthew, et autres
Publié: (2024)

Logical Expressivity and Explanations for Monotonic GNNs with Scoring Functions
par: Morris, Matthew, et autres
Publié: (2025)

Logical Modalities within the European AI Act: An Analysis
par: Lawniczak, Lara, et autres
Publié: (2025)

A Primer for Preferential Non-Monotonic Propositional Team Logics
par: Sauerwald, Kai, et autres
Publié: (2024)

The Hamiltonian Syllogistic
par: Pratt-Hartmann, Ian
Publié: (2010)

Normative Conditional Reasoning as a Fragment of HOL
par: Parent, Xavier, et autres
Publié: (2023)

Inclusion with repetitions and Boolean constants -- implication problems revisited
par: Häggblom, Matilda
Publié: (2025)

Axiomatization of approximate exclusion
par: Häggblom, Matilda
Publié: (2024)

Axiomatizing approximate inclusion
par: Häggblom, Matilda
Publié: (2025)

Complete Robust Hybrid Systems Reachability
par: Wafa, Noah Abou El, et autres
Publié: (2026)

Random expansions of finite structures with bounded degree
par: Koponen, Vera
Publié: (2024)

Serial Properties, Selector Proofs, and the Provability of Consistency
par: Artemov, Sergei
Publié: (2024)

Non-Compact Proofs
par: Artemov, Sergei
Publié: (2025)

Consistency formula is strictly stronger in PA than PA-consistency
par: Artemov, Sergei
Publié: (2025)

Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models
par: Grosser, Marvin, et autres
Publié: (2026)

On the logic of interventionist counterfactuals under indeterministic causal laws
par: Barbero, Fausto
Publié: (2023)

Universal Algebra in UniMath
par: Amato, Gianluca, et autres
Publié: (2021)

NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework
par: Schellhorn, Daniel Romero, et autres
Publié: (2026)

Modal logic, fundamentally
par: Holliday, Wesley H.
Publié: (2024)