An Introduction to Constraint-Based Temporal Reasoning

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 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).