Cover Image

Temporal Many-valued Conditional Logics: a Preliminary Report

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Alviano, Mario, Giordano, Laura, Dupré, Daniele Theseider
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science Artificial Intelligence 68T27 I.2.4
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation
by: Alviano, Mario, et al.
Published: (2022)

A framework for Conditional Reasoning in Answer Set Programming
by: Alviano, Mario, et al.
Published: (2025)

Lifted Algorithms for Symmetric Weighted First-Order Model Sampling
by: Wang, Yuanhong, et al.
Published: (2023)

TPTP World Infrastructure for Non-classical Logics
by: Steen, Alexander, et al.
Published: (2025)

CSSDH: An Ontology for Social Determinants of Health to Operational Continuity of Care Data Interoperability
by: Das, Subhashis, et al.
Published: (2024)

An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
by: Martina, Antoine, et al.
Published: (2023)

Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications
by: Donadello, Ivan, et al.
Published: (2024)

Error Detection and Constraint Recovery in Hierarchical Multi-Label Classification without Prior Knowledge
by: Kricheli, Joshua Shay, et al.
Published: (2024)

Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)
by: Benzmüller, Christoph, et al.
Published: (2026)

Deterministic Event-Graph Substrates as World Models for Counterfactual Reasoning
by: Rovai, Fabio
Published: (2026)

Normative Conditional Reasoning as a Fragment of HOL
by: Parent, Xavier, et al.
Published: (2023)

Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems
by: Wright, Craig Steven
Published: (2025)

Relative Expressiveness of Defeasible Logics II
by: Maher, Michael J.
Published: (2021)

Formal Abductive Latent Explanations for Prototype-Based Networks
by: Soria, Jules, et al.
Published: (2025)

Neurosymbolic Feature Extraction for Identifying Forced Labor in Supply Chains
by: Wang, Zili, et al.
Published: (2025)

A novel framework for systematic propositional formula simplification based on existential graphs
by: de Mas, Jordina Francès, et al.
Published: (2024)

Oruga: An Avatar of Representational Systems Theory
by: Raggi, Daniel, et al.
Published: (2025)

Stemming Hallucination in Language Models Using a Licensing Oracle
by: Emanuilov, Simeon, et al.
Published: (2025)

Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models
by: Grosser, Marvin, et al.
Published: (2026)

A Reduction of Input/Output Logics to SAT
by: Steen, Alexander
Published: (2025)

Logic.py: Bridging the Gap between LLMs and Constraint Solvers
by: Kesseli, Pascal, et al.
Published: (2025)

Human Conditional Reasoning in Answer Set Programming
by: Sakama, Chiaki
Published: (2023)

Which are the True Defeasible Logics?
by: Maher, Michael J.
Published: (2024)

Verifiably Robust Conformal Prediction
by: Jeary, Linus, et al.
Published: (2024)

An Incremental Framework for Topological Dialogue Semantics: Efficient Reasoning in Discrete Spaces
by: Santacana, Andreu Ballus
Published: (2025)

Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic
by: Lin, Hongyu, et al.
Published: (2026)

Consistency-based Abductive Reasoning over Perceptual Errors of Multiple Pre-trained Models in Novel Environments
by: Leiva, Mario, et al.
Published: (2025)

Compiling Metric Temporal Answer Set Programming
by: Becker, Arvid, et al.
Published: (2025)

Implementing Metric Temporal Answer Set Programming
by: Becker, Arvid, et al.
Published: (2026)

A convergence law for continuous logic and continuous structures with finite domains
by: Koponen, Vera
Published: (2025)

T-CPDL: A Temporal Causal Probabilistic Description Logic for Developing Logic-RAG Agent
by: Yu, Hong Qing
Published: (2025)

Structure Transfer: an Inference-Based Calculus for the Transformation of Representations
by: Raggi, Daniel, et al.
Published: (2025)

Mitigating LLM Hallucinations through Domain-Grounded Tiered Retrieval
by: Haque, Md. Asraful, et al.
Published: (2026)

Faithful Logic Embeddings in HOL -- Deep and Shallow
by: Benzmüller, Christoph
Published: (2025)

Efficient Temporal Datalog Materialisation for Composite Event Recognition
by: Mantenoglou, Periklis
Published: (2026)

CSSDM Ontology to Enable Continuity of Care Data Interoperability
by: Das, Subhashis, et al.
Published: (2025)

State Algebra for Probabilistic Logic
by: Lesnik, Dmitry, et al.
Published: (2026)

ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics
by: Haak, Anselm, et al.
Published: (2026)

Logic interpretations of ANN partition cells
by: Schmitt, Ingo
Published: (2024)

Do LLMs Truly Understand When a Precedent Is Overruled?
by: Zhang, Li, et al.
Published: (2025)