Ladkin, Peter B.

6 publications

AAAI 1991 Integrating Metric and Qualitative Temporal Reasoning Henry A. Kautz, Peter B. Ladkin

AAAI 1988 Satisfying First-Order Constraints About Time Intervals Peter B. Ladkin

AAAI 1987 Models of Axioms for Time Intervals Peter B. Ladkin

IJCAI 1987 The Completeness of a Natural System for Reasoning with Time Intervals Peter B. Ladkin

AAAI 1986 Primitives and Units for Time Specification Peter B. Ladkin

AAAI 1986 Time Representation: A Taxonomy of Internal Relations Peter B. Ladkin