Lina Khatib

John Gasch

AI Mag., 2009

2008

Local Search for Optimal Global Map Generation Using Mid-Decadal Landsat Images.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Solving and learning a tractable class of soft temporal constraints: Theoretical and experimental results.

[BibT_eX]

[DOI]

Kristen Brent Venable

AI Commun., 2007

2006

Tractable Optimal Competitive Scheduling.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

Mission Operations Planning with Preferences: An Empirical Study.

[BibT_eX]

[DOI]

John L. Bresina

Conor McGann

Proceedings of the Spacecraft Autonomy: Using AI to Expand Human Space Exploration, 2006

2004

Strategies for Global Optimization of Temporal Preferences.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2004

2003

Tractable Pareto Optimization of Temporal Preferences.

[BibT_eX]

[DOI]

Paul H. Morris

Kristen Brent Venable

Proceedings of the IJCAI-03, 2003

2002

Pareto Optimization of Temporal Decisions.

[BibT_eX]

[DOI]

Paul H. Morris

Proceedings of the Abstraction, 2002

Learning and Solving Soft Temporal Constraints: An Experimental Study.

[BibT_eX]

[DOI]

Francesca Rossi

Alessandro Sperduti

Kristen Brent Venable

Paul H. Morris

Proceedings of the Principles and Practice of Constraint Programming, 2002

2001

General Temporal Knowledge for Planning and Data Mining.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2001

AAAI 2001 Spring Symposium Series Reports.

[BibT_eX]

[DOI]

AI Mag., 2001

Learning preferences on temporal constraints: a preliminary report.

[BibT_eX]

[DOI]

Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001

Mapping Temporal Planning Constraints into Timed Automata.

[BibT_eX]

[DOI]

Nicola Muscettola

Klaus Havelund

Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001

Temporal Constraint Reasoning With Preferences.

[BibT_eX]

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000

Representation and Reasoning with Multi-Point Events.

[BibT_eX]

[DOI]

Constraints An Int. J., 2000

Constraint Reasoning about Repeating Events: Satisfaction and Optimization.

[BibT_eX]

[DOI]

Comput. Intell., 2000

Verification of Plan Models Using UPPAAL.

[BibT_eX]

[DOI]

Nicola Muscettola

Klaus Havelund

Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

1999

Introduction to the special issue on time and temporal reasoning.

[BibT_eX]

[DOI]

J. Exp. Theor. Artif. Intell., 1999

Optimization in Constraint Reasoning about Repeating Events.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Temporal Representation and Reasoning, 1999

Generating Scenarios for Periodic Events with Binary Constraints.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Temporal Representation and Reasoning, 1999

1998

Quantitative Structural Temporal Constraints on Repeating Events.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Temporal Representation and Reasoning, 1998

1997

Temporal Representation and Reasoning.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 1997

Entities and Relations for Historical Relational Databases.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Temporal Representation and Reasoning, 1997

Enhancements to the Ground Processing Scheduling System.

[BibT_eX]

[DOI]

Juan Jose Blanco

Proceedings of the 4th International Workshop on Temporal Representation and Reasoning, 1997

A Generalized Framework for Reasoning with Multi-Point Events.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computing Science, 1997

1996

Domain-Independent Temporal Reasoning with Recurring Events.

[BibT_eX]

[DOI]

William D. Shoaff

Comput. Intell., 1996

Reasoning with Sequences of Point Events.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Temporal Representation and Reasoning, 1996

Reasoning with Multi-Point Events.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 1996

1994

An Algebraic Formulation of Temporal Knowledge for Reasoning about Recurring Events.

[BibT_eX]

William D. Shoaff

Proceedings of the TIME-94 International Workshop on Temporal Reasoning, 1994

1993

Path Consistency in a Network of Non-Convex Intervals.

[BibT_eX]

[DOI]

William D. Shoaff

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1991

An interval-based temporal relational calculus for events with gaps.

[BibT_eX]

[DOI]