Reasoning with Time Intervals : A Logical and Computational Perspective
Author
Source
Issue
Vol. 2012, Issue 2012 (31 Dec. 2012), pp.1-19, 19 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2012-10-14
Country of Publication
Egypt
No. of Pages
19
Main Subjects
Abstract EN
The role of time in artificial intelligence is extremely important.
Interval-based temporal reasoning can be seen as a generalization of the classical point-based one, and the first results in this field date back to Hamblin (1972) and Benhtem (1991) from the philosophical point of view, to Allen (1983) from the algebraic and first-order one, and to Halpern and Shoham (1991) from the modal logic one.
Without purporting to provide a comprehensive survey of the field, we take the reader to a journey through the main developments in modal and first-order interval temporal reasoning over the past ten years and outline some landmark results on expressiveness and (un)decidability of the satisfiability problem for the family of modal interval logics.
American Psychological Association (APA)
Sciavicco, Guido. 2012. Reasoning with Time Intervals : A Logical and Computational Perspective. ISRN Artificial Intelligence،Vol. 2012, no. 2012, pp.1-19.
https://search.emarefa.net/detail/BIM-485379
Modern Language Association (MLA)
Sciavicco, Guido. Reasoning with Time Intervals : A Logical and Computational Perspective. ISRN Artificial Intelligence No. 2012 (2012), pp.1-19.
https://search.emarefa.net/detail/BIM-485379
American Medical Association (AMA)
Sciavicco, Guido. Reasoning with Time Intervals : A Logical and Computational Perspective. ISRN Artificial Intelligence. 2012. Vol. 2012, no. 2012, pp.1-19.
https://search.emarefa.net/detail/BIM-485379
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-485379