mlsanityData to 13 Oct 2026

Temporal Many-valued Conditional Logics: a Preliminary Report

arXiv 2409.09069 ↗First posted 6 Sep 2024cs.LO cs.AIcited by 0

Not on the map. Why?

Abstract (arXiv)

In this paper we propose a many-valued temporal conditional logic. We start from a many-valued logic with typicality, and extend it with the temporal operators of the Linear Time Temporal Logic (LTL), thus providing a formalism which is able to capture the dynamics of a system, trough strict and defeasible temporal properties. We also consider an instantiation of the formalism for gradual argumentation.

Key facts. No citing papers in the map yet (data through 13 Oct 2026). Builds on 7 of its 45 references that are in the map. First posted on arXiv 6 Sep 2024.

Builds on

7 of 45 references.

References · 7

  1. 2020Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspectivecited by 94
  2. 2021GLocalX -- From Local to Global Explanations of Black Box AI Modelscited by 48
  3. 2020Interpreting Neural Networks as Gradual Argumentation Frameworks (Including Proof Appendix)cited by 38
  4. 2023Interactive Explanations by Conflict Resolution via Argumentative Exchangescited by 24
  5. 2020An ASP approach for reasoning in a concept-aware multipreferential lightweight DLcited by 12
  6. 2020Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network modelcited by 11
  7. 2018On Rational Entailment for Propositional Typicality Logiccited by 7

Built on by

Not cited yet.