Copertina

Analysing Temporal Reasoning in Description Logics Using Formal Grammars

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Bourgaux, Camille, Gnatenko, Anton, Thomazo, Michaël
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Queries With Exact Truth Values in Paraconsistent Description Logics
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2024)

Semiring Provenance for Lightweight Description Logics
di: Bourgaux, Camille, et al.
Pubblicazione: (2023)

Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2020)

Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2023)

Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2022)

Using ASP(Q) to Handle Inconsistent Prioritized Data
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2026)

Inconsistency Handling in DatalogMTL
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2025)

Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2024)

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version)
di: Artale, Alessandro, et al.
Pubblicazione: (2025)

A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2025)

Knowledge Base Embeddings: Semantics and Theoretical Properties
di: Bourgaux, Camille, et al.
Pubblicazione: (2024)

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
di: Howlader, Prosenjit, et al.
Pubblicazione: (2025)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
di: Farjami, Ali, et al.
Pubblicazione: (2026)

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks
di: Ganguly, Debargha, et al.
Pubblicazione: (2025)

Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios
di: Wang, Ruolin, et al.
Pubblicazione: (2024)

Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning
di: Schön, Oliver, et al.
Pubblicazione: (2026)

Minimal Model Reasoning in Description Logics: Don't Try This at Home!
di: Di Stefano, Federica, et al.
Pubblicazione: (2025)

Fuzzy Lattice-based Description Logic
di: Ding, Yiwen, et al.
Pubblicazione: (2025)

Model Change for Description Logic Concepts
di: Ozaki, Ana, et al.
Pubblicazione: (2026)

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
di: Bednarczyk, Bartosz
Pubblicazione: (2023)

Temporal Inductive Logic Reasoning over Hypergraphs
di: Yang, Yuan, et al.
Pubblicazione: (2022)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
di: Lyon, Tim S., et al.
Pubblicazione: (2024)

Formalizing Kantian Ethics: Formula of the Universal Law Logic (FULL)
di: Olson, Taylor
Pubblicazione: (2026)

Robustness of Constraint Automata for Description Logics with Concrete Domains
di: Demri, Stéphane, et al.
Pubblicazione: (2026)

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
di: Cabalar, Pedro, et al.
Pubblicazione: (2026)

Formally Verified Certification of Unsolvability of Temporal Planning Problems
di: Wang, David, et al.
Pubblicazione: (2025)

A New Tractable Description Logic under Categorical Semantics
di: Duc, Chan Le, et al.
Pubblicazione: (2025)

Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases
di: Zese, Riccardo, et al.
Pubblicazione: (2023)

Utilizing Description Logics for Global Explanations of Heterogeneous Graph Neural Networks
di: Köhler, Dominik, et al.
Pubblicazione: (2024)

Incremental, inconsistency-resilient reasoning over Description Logic Abox streams
di: Proost, Cas, et al.
Pubblicazione: (2026)

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces
di: Chevallier, Mark, et al.
Pubblicazione: (2025)

Inferring Causal Graph Temporal Logic Formulas to Expedite Reinforcement Learning in Temporally Extended Tasks
di: Aria, Hadi Partovi, et al.
Pubblicazione: (2026)

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
di: Ospanov, Azim, et al.
Pubblicazione: (2025)

Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria
di: Nikooroo, Saleh, et al.
Pubblicazione: (2025)

TOGGLE: Temporal Logic-Guided Large Language Model Compression for Edge
di: Khalil, Khurram, et al.
Pubblicazione: (2025)

Stress-Testing the Reasoning Competence of LLMs With Proofs Under Minimal Formalism
di: Arkoudas, Konstantine, et al.
Pubblicazione: (2026)

Data Complexity in Expressive Description Logics With Path Expressions
di: Bednarczyk, Bartosz
Pubblicazione: (2024)

Causal-Temporal Event Graphs: A Formal Model for Recursive Agent Execution Traces
di: Foldvik, Simon
Pubblicazione: (2026)

Dynamic Logic of Trust-Based Beliefs
di: Jiang, Junli, et al.
Pubblicazione: (2025)

Large Language Models Imitate Logical Reasoning, but at what Cost?
di: McGinness, Lachlan, et al.
Pubblicazione: (2025)