Fast(er) reasoning in interval temporal logic

DOI10.4230/LIPICS.CSL.2017.17MaRDI QIDQ5111184zbMATH OpenFDO

Authors Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco

Publication date 26 May 2020

Full work available at URL https://doi.org/10.4230/LIPICS.CSL.2017.17

zbMATH Keywords

complexitysatisfiabilitytemporal logicHorn fragments

Mathematics Subject Classification ID

Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Logic in artificial intelligence (68T27) Temporal logic (03B44)

Recommendations

• Horn fragments of the Halpern-Shoham interval temporal logic
• Sub-propositional fragments of the interval temporal logic of Allen's relations
• A New Modal Approach to the Logic of Intervals
• Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals
• scientific article; zbMATH DE number 6131597

Cited in

(3)

• Extracting interval temporal logic rules: a first approach
• A Tool That Incrementally Approximates Finite Satisfiability in Full Interval Temporal Logic
• Hybrid fragments of Halpern-Shoham logic and their expressive power

This page was built for publication: Fast(er) reasoning in interval temporal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111184)