NDLI: Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders

Please wait, while we are loading the content...

2015 22nd International Symposium on Temporal Representation and Reasoning (TIME)

2014 21st International Symposium on Temporal Representation and Reasoning

2013 20th International Symposium on Temporal Representation and Reasoning

2012 19th International Symposium on Temporal Representation and Reasoning

2011 Eighteenth International Symposium on Temporal Representation and Reasoning

2010 17th International Symposium on Temporal Representation and Reasoning

Table of Contents

Message from the Chairs

TIME 2010 Committees

Regular Linear-Time Temporal Logic

Interval Temporal Logics with Chop-Like Operators

Dealing with Uncertainty in Trajectory Databases

CTL-Like Fragments of a Temporal Logic of Robustness

Axiomatizing the Temporal Logic Defined over the Class of All Lexicographic Products of Dense Linear Orders without Endpoints

Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders

Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic

Bounded Reachability for Temporal Logic over Constraint Systems

Analysis of Timed Recursive State Machines

Real Time Properties for Interrupt Timed Automata

A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata

Allen's Hourglass: Probabilistic Treatment of Interval Relations

A Decidable Spatial Generalization of Metric Interval Temporal Logic

Ontology Based Spatial Planning for Human-Robot Interaction

Solving Temporally-Cyclic Planning Problems

A Fast Incremental Algorithm for Managing the Execution of Dynamically Controllable Temporal Networks

Towards Temporal Controllabilities for Workflow Schemata

Valid-Time Indeterminacy in Temporal Relational Databases: A Family of Data Models

Multi-granular Time-Based Sliding Windows over Data Streams

Local Polynomial Regression Models for Average Traffic Speed Estimation and Forecasting in Linear Constraint Databases

2009 16th International Symposium on Temporal Representation and Reasoning

2008 15th International Symposium on Temporal Representation and Reasoning

14th International Symposium on Temporal Representation and Reasoning (TIME'07)

Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06)

12th International Symposium on Temporal Representation and Reasoning (TIME'05)

Proceedings. 11th International Symposium on Temporal Representation and Reasoning, 2004. TIME 2004.

10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings.

Proceedings Ninth International Symposium on Temporal Representation and Reasoning

Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001

Proceedings Seventh International Workshop on Temporal Representation and Reasoning. TIME 2000

Proceedings. Sixth International Workshop on Temporal Representation and Reasoning. TIME-99

Proceedings. Fifth International Workshop on Temporal Representation and Reasoning (Cat. No.98EX157)

Proceedings of TIME '97: 4th International Workshop on Temporal Representation and Reasoning

Proceedings Third International Workshop on Temporal Representation and Reasoning (TIME '96)

Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders

Content Provider	IEEE Xplore Digital Library
Author	Montanari, A. Pratt-Hartmann, I. Sala, P.
Copyright Year	2010
Abstract	An interval temporal logic is a propositional, multi-modal logic interpreted over interval structures of partial orders. The semantics of each modal operator are given in the standard way with respect to one of the natural accessibility relations defined on such interval structures. In this paper, we consider the modal operators based on the (reflexive) sub-interval relation and the (reflexive) super-interval relation. We show that the satisfiability problems for the interval temporal logics featuring either or both of these modalities, interpreted over interval structures of finite linear orders, are all PSPACE-complete. These results fill a gap in the known complexity results for interval temporal logics.
Starting Page	27
Ending Page	34
File Size	270122
Page Count	8
File Format	PDF
ISBN	9781424480142
ISSN	15301311
DOI	10.1109/TIME.2010.18
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2010-09-06
Publisher Place	France
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Semantics Computer science Complexity theory Cognition Bismuth Inspection computational complexity interval temporal logic decidability
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in