A general modal framework for the event calculus and its skeptical and credulous variants

Bonner, 1991, Hypothetical Reasoning in Deductive Databases Cervesato, 1995, A modal calculus of partially ordered events in a logic programming framework, 299 Cervesato, 1997, Modal event calculi with preconditions, 38 Cervesato, 1997, A hierarchy of modal event calculi: Expressiveness and complexity, 1 Cervesato, 1993, On the non-monotonic behavior of event calculus for deriving maximal time intervals, Interval Comput., 3, 83 Chittaro, 1995, Modeling medical reasoning with the event calculus: an application to the management of mechanical ventilation, vol. 934, 79 Chittaro, 1996, Efficient temporal reasoning in the cached event calculus, Comput. Intelligence, 12, 359, 10.1111/j.1467-8640.1996.tb00267.x Chittaro, 1995, Speeding up temporal reasoning by exploiting the notion of kernel of an ordering relation, 73 Chittaro, 1995, An integrated framework for temporal aggregation and omission in the event calculus, 47 Chittaro, 1994, Skeptical and credulous event calculi for supporting modal queries, 361 Dean, 1988, Reasoning about partially ordered events, Artificial Intelligence, 36, 375, 10.1016/0004-3702(88)90087-2 Denecker, 1992, Temporal reasoning with abductive event calculus, 384 Gabbay, 1984, N-Prolog: an extension of Prolog with hypothetical implication - 1, J. Logic Programming, 1, 319, 10.1016/0743-1066(84)90029-3 Harland, 1991, On Hereditary Harrop Formulae as a Basis for Logic Programming Harland, 1992, Toward a static proof system for negation as failure Harland, 1993, Success and failure for hereditary Harrop formulae, J. Logic Programming, 17, 1, 10.1016/0743-1066(93)90007-4 Hodas, 1994, Logic programming in a fragment of intuitionistic linear logic, J. Inform. Comput., 110, 327, 10.1006/inco.1994.1036 Hughes, 1968 Jensen, 1994, A consensus glossary of temporal database concepts, Sigmod Record, 23, 52, 10.1145/181550.181560 Kowalski, 1986, A logic-based calculus of events, New Generation Comput., 4, 67, 10.1007/BF03037383 Lloyd, 1987 McCarthy, 1969, Some philosophical problems from the standpoint of artificial intelligence, 4, 463 Miller, 1988, An overview of Prolog, 810 Miller, 1991, Uniform proofs as a foundation for logic programming, Ann. Pure Appl. Logic, 51, 125, 10.1016/0168-0072(91)90068-W Moffat, 1990, Modal queries about partially-ordered plants, J. Expt. Theoret. Artificial Intelligence, 2, 341, 10.1080/09528139008953731 Montanari, 1996, A general modal framework for the event calculus and its skeptical and credulous variants, 33 Pfenning, 1989, Elf: A language for logic definition and verified meta-programming, 702 Segerberg, 1971 Sergot, 1990, An introduction to the event calculus Shanahan, 1989, Prediction is deduction but explanation is abduction, 1055