An Introduction to Constraint-Based Temporal Reasoning

An Introduction to Constraint-Based Temporal Reasoning

Roman Bartak, Robert A. Morris, K. Brent Venable,
ISBN: 9781608459674 | PDF ISBN: 9781608459681
Copyright © 2015 | 121 Pages | Publication Date: 02/01/2014

BEFORE YOU ORDER: You may have Academic or Corporate access to this title. Click here to find out: 10.2200/S00557ED1V01Y201312AIM026

Ordering Options: Paperback $40.00   E-book $32.00   Paperback & E-book Combo $50.00

Why pay full price? Members receive 15% off all orders.
Learn More Here

Read Our Digital Content License Agreement (pop-up)

Purchasing Options:

Solving challenging computational problems involving time has been a critical component in the development of artificial intelligence systems almost since the inception of the field. This book provides a concise introduction to the core computational elements of temporal reasoning for use in AI systems for planning and scheduling, as well as systems that extract temporal information from data. It presents a survey of temporal frameworks based on constraints, both qualitative and quantitative, as well as of major temporal consistency techniques. The book also introduces the reader to more recent extensions to the core model that allow AI systems to explicitly represent temporal preferences and temporal uncertainty.

This book is intended for students and researchers interested in constraint-based temporal reasoning. It provides a self-contained guide to the different representations of time, as well as examples of recent applications of time in AI systems.

Table of Contents

Summary of Acronyms
Introduction to Time in AI Systems
Temporal Frameworks Based on Constraints
Extensions: Preferences and Uncertainty
Applications of Temporal Reasoning
Authors' Biographies

About the Author(s)

Roman Bartak, Charles University in Prague, Czech Republic
Roman Bartak is a professor at Charles University, Prague (Czech Republic). He leads the Constraint Satisfaction and Optimization Research Group that performs basic and applied research in the areas of satisfiability and discrete optimization problems. His work focuses on techniques of constraint satisfaction and their application to planning and scheduling. The research results are used in products of ILOG, Visopt, and ManOPT/Entellexi. Prof. Bartak is teaching courses on artificial intelligence, planning, scheduling, and constraint programming at Charles University and he presented several tutorials on these topics at major conferences such as IJCAI, AAAI, ICAPS, SAC etc.; he is author of the On-line Guide to Constraint Programming (#2 source for Constraint Programming in Google).

Robert A. Morris, NASA Ames Research Center
Robert A. Morris is a senior researcher in Computer Science in the Exploration Technology Directorate, Intelligent Systems Division at NASA Ames Research Center. His primary professional goal is the application of advanced AI technology in planning, scheduling, and plan execution to the next generation of NASA's exploration systems. His primary research interests include temporal constraint-based reasoning for automated planning and scheduling.

K. Brent Venable, Tulane University and Florida Institute of Human and Machine Cognition
K. Brent Venable is an associate professor in the Department of Computer Science of Tulane University and research scientist at IHMC, the Florida Institute of Human and Machine Cognition. In the past she has been an assistant professor in the Department of Pure and Applied Mathematics at the University of Padova (Italy). Her main research interests are within artificial intelligence and regard, in particular, compact preference representation formalisms, computational social choice, temporal reasoning and, more in general, constraint-based optimization. Her list of publications includes more than 70 papers including journals and proceedings of the main international conferences on the topics relevant to her interests. She is involved in a lively international scientific exchange and, among others, she collaborates with researchers from NASA Ames, SRI International, NICTA-UNSW (Australia), University of Amsterdam (The Netherlands), 4C (Ireland), and Ben-Gurion University (Israel).


Related Series

Human Language Technologies


Browse by Subject
Case Studies in Engineering
ACM Books
SEM Books
0 items

Note: Registered customers go to: Your Account to subscribe.

E-Mail Address:

Your Name: