Tractable Interval Temporal Propositional and Description Logics

8 years 15 days ago

Download www.dcs.bbk.ac.uk

We design a tractable Horn fragment of the Halpern-Shoham temporal logic and extend it to interval-based temporal description logics, instance checking in which is P-complete for both combined and data complexity.

Alessandro Artale, Roman Kontchakov, Vladislav Ryz

Real-time Traffic

AAAI 2015 | Intelligent Agents |

claim paper

Related Content

» Tractable Temporal Reasoning

» Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for I...

» A Temporal Description Logic for Reasoning about Actions and Plans

» Propositional Interval Temporal Logics Some Promising Paths

» On Decidability and Expressiveness of Propositional Interval Neighborhood Logics

» A Hierarchical Analysis of Propositional Temporal Logic based on Intervals

» Temporalising Tractable Description Logics

» The Tractability of ModelChecking for LTL The Good the Bad and the Ugly Fragments

» The tractability of model checking for LTL The good the bad and the ugly fragments

» Metric Propositional Neighborhood Logics Expressiveness Decidability and Undecidability

Post Info
More Details (n/a)

Added	12 Apr 2016
Updated	12 Apr 2016
Type	Journal
Year	2015
Where	AAAI
Authors	Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev

Comments (0)

Sciweavers

Tractable Interval Temporal Propositional and Description Logics

AAAI 2015 | Intelligent Agents |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers