A Temporal extension of Prolog

Abadi, 1985, Nonclausal Temporal Deduction, 10.1007/3-540-15648-8_1 Abadi, 1986, A Timely Resolution Allen, 1983, Maintaining Knowledge about Temporal Intervals, Commun. ACM, 26, 832, 10.1145/182.358434 Allen, 1984, Towards a General Theory of Action and Time, Artif. Intell., 23, 123, 10.1016/0004-3702(84)90008-0 Allen, 1983, Planning Using a Temporal World Model, Proceedings of the Eighth International Conference on Artificial Intelligence, 741 Barrow, 1984, VERIFY: A Program for Proving Correctness of Digital Hardware Designs, Artif. Intell., 24, 437, 10.1016/0004-3702(84)90044-4 Clocksin, 1987, Logic Programming and Digital Circuit Analysis, J. Logic Programming, 4, 59, 10.1016/0743-1066(87)90022-7 Coelho, 1980 Colmerauer, 1987, Introduction to PROLOG III, Proceedings of the 4th Annual ESPRIT Conference Davis, 1984, Diagnostic Reasoning Based on Structure and Behavior, Artif. Intell., 24, 347, 10.1016/0004-3702(84)90042-0 Dean, 1987, Large-Scale Temporal Data Bases for Planning in Complex Domains, Proceedings of the Tenth International Conference on Artificial Intelligence, 860 Dean, 1987, Temporal Data Base Management, Artif. Intell., 32, 1, 10.1016/0004-3702(87)90061-0 deKleer, 1986, An Assumption-Based TMS, Artif. Intell., 28, 127, 10.1016/0004-3702(86)90080-9 deKleer, 1984, A Qualitative Physics Based on Confluences, Artif. Intell., 24, 7, 10.1016/0004-3702(84)90037-7 Doyle, 1979, A Truth Maintenance System, Artif. Intell., 12, 231, 10.1016/0004-3702(79)90008-0 Forbus, 1984, Qualitative Process Theory, Artif. Intell., 24, 85, 10.1016/0004-3702(84)90038-9 Goguen, 1984, Equality, Types, Modules, and (Why Not?) Generics for Logic Programming, J. Logic Programming, 2, 179, 10.1016/0743-1066(84)90004-9 Hale, 1987, Parallel Programming in Temporal Logic, Proceedings Conference on Parallel Architectures and Languages Europe, 10.1007/3-540-17945-3_16 Haugh, 1987, Non-Standard Semantics for the Method of Temporal Arguments, Proceedings of the Tenth International Conference on Artificial Intelligence, 449 Heintze, 1987, CLP(R) and Some Electrical Engineering Problems, 10.1007/BF00245462 Hogger, 1984 Hrycej, 1987, An Efficient Algorithm for Reasoning about Time Intervals, Proceedings of the Conference “Expertensysteme '87” Hrycej, 1988, Transitivity in Relations between Time Intervals Hrycej, 1988, A Transitivity-Based Algorithm for Temporal Constraint Propagation Hrycej, 1988, Temporal Prolog, Proceedings of the European Conference on Artificial Intelligence '88 Hrycej, 1988, Qualitative Simulation with Temporal Prolog Hrycej, 1989, Extended Temporal Prolog: Quantitative Temporal Constraints, Eleventh International Conference on Artificial Intelligence Jaffar, 1984, A Theory of Complete Logic Programs with Equality, J. Logic Programming, 3, 211, 10.1016/0743-1066(84)90010-4 Jaffar, 1987, Methodology and Implementation of a CLP system Kuipers, 1984, Commonsense Reasoning about Causality: Deriving Behaviour from Structure, Artif. Intell., 24, 169, 10.1016/0004-3702(84)90039-0 Kuipers, 1985, The Limits of Qualitative Reasoning, Proceedings of the Ninth International Conference on Artificial Intelligence Ladkin, 1986, Time Representation: A Taxonomy of Interval Relations, Proceedings of the Sixth National Conference on Artificial Intelligence, 367 Ladkin, 1987, The Completeness of a Natural System for Reasoning with Time Intervals, Proceedings of the Seventh National Conference on Artificial Intelligence, 462 Leban, 1986, A Representation for Collections of Temporal Intervals, Proceedings of the Sixth National Conference on Artificial Intelligence, 360 Manna, 1982, Verification of Concurrent Programs: The Temporal Framework, 215 Manna, 1984, Synthesis of Communicating Processes from Temporal Logic Specifications, ACM Trans. Programming Lang. Syst., 6, 68, 10.1145/357233.357237 McDermott, 1982, A Temporal Logic for Reasoning about Processes and Plans, Cognitive Science, 6, 101, 10.1207/s15516709cog0602_1 Noekel, 1989, Temporal Matching: Recognizing Dynamic Situations from Discrete Measurements, Eleventh International Joint Conference on Artificial Intelligence Pashtan, 1987, A Prolog Implimentation of an Instruction-Level Processor Simulator, Software—Practice and Experience, 17, 309, 10.1002/spe.4380170502 Penberthy, 1987, Temporal Unification and the Temporal Partial Order, Proceedings of the Fifth IEEE Conference on Artificial Intelligence Applications Reichgelt, 1987, Semantics for Reified Temporal Logic Rescher, 1971 Rit, 1986, Propagating Temporal Constraints for Scheduling, Proceedings of the Sixth National Conference on Artificial Intelligence, 383 Sacerdoti, 1977 Shoham, 1986, Reified Temporal Logics: Semantical and Ontological Considerations, Proceedings of the European Conference on Artificial Intelligence '86 Tate, 1977, Generating Project Networks, Proceedings of the Fifth International Conference on Artificial Intelligence, 888 Tate, 1986, Goal Structure, Holding Periods and “Clouds” Turner, 1984 Valdes-Perez, 1987, The Satisfiability of Temporal Constraint Networks, Proceedings of the Seventh National Conference on Artificial Intelligence, 256 van Emden, 1987, Logic Programming with Equations, J. Logic Programming, 4, 265, 10.1016/0743-1066(87)90006-9 van Hentenryck, 1987, Forward Checking in Logic Programming Vere, 1983, Planning in Time: Windows and Durations for Activities and Goals, IEEE Trans. Pattern Analysis and Mach. Intell., 5, 246, 10.1109/TPAMI.1983.4767389 Vilain, 1982, A System for Reasoning about Time, Proceeding of the Second National Conference on Artificial Intelligence, 197 Vilain, 1986, Constraint Propagation Algorithms for Temporal Reasoning, Proceedings of the Sixth National Conference on Artificial Intelligence, 377 Voda, 1987 Voss, 1986, Representing and Analyzing Time and Causality in HIQUAL models Weld, 1986, The use of Aggregation in Causal Simulation, Artif. Intell., 30, 1, 10.1016/0004-3702(86)90066-4 Williams, 1984, Qualitative Analysis of MOS Circuits, Artif. Intell., 24, 281, 10.1016/0004-3702(84)90041-9 Williams, 1986, Doing Time: Putting Qualitative Reasoning on a Firmer Ground, Proceedings of the Sixth National Conference on Artificial Intelligence