Representing Temporal Interval Relationships in a First Order Logic for Time

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by André Trudel

Eighth International Symposium on Temporal Representation and Reasoning (TIME'01)

Cividale Del Friuli, Italy

June 14-June 16

ISBN: 0-7695-1107-4

	ASCII Text	x
	André Trudel, "Representing Temporal Interval Relationships in a First Order Logic for Time," Temporal Representation and Reasoning, International Syposium on, pp. 0081, Eighth International Symposium on Temporal Representation and Reasoning (TIME'01), 2001.

	BibTex	x
	@article{ 10.1109/TIME.2001.930702, author = {André Trudel}, title = {Representing Temporal Interval Relationships in a First Order Logic for Time}, journal ={Temporal Representation and Reasoning, International Syposium on}, volume = {0}, year = {2001}, isbn = {0-7695-1107-4}, pages = {0081}, doi = {http://doi.ieeecomputersociety.org/10.1109/TIME.2001.930702}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Temporal Representation and Reasoning, International Syposium on TI - Representing Temporal Interval Relationships in a First Order Logic for Time SN - 0-7695-1107-4 SP EP A1 - André Trudel, PY - 2001 VL - 0 JA - Temporal Representation and Reasoning, International Syposium on ER -

André Trudel, Acadia University

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TIME.2001.930702

We present a simple classification of temporal information based on truth value at the point level. Axioms are then derived for capturing temporal relationships and, strong and weak negation. The main advantage of our logic independent approach is that it becomes simpler for a user to define a first order temporal logic.

Citation:

André Trudel, "Representing Temporal Interval Relationships in a First Order Logic for Time," time, pp.0081, Eighth International Symposium on Temporal Representation and Reasoning (TIME'01), 2001

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.