Lin S., and T. Dean, Localized temporal reasoning using subgoals and abstract events, Computational Intelligence 12: 423-449, 1996. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Calculus of Macro-Events: Progress Report - Cervesato, Montanari (2000) (1 citation) (Correct)
.... areas, including knowledge representation, has been done by Hoare [15] and Milner [21] Limited contributions to (discrete) process modeling in the temporal representation and reasoning area have been proposed by Evans [12] Belegrinos and George [6] Lesp erance et al. 17] and by Lin and Dean [19]. In this paper, we present preliminary results on the de nition of a Macro Event Calculus, an extension of Kowalski and Sergot s Event Calculus, EC [16] Our proposal allows expressing basic forms of process interaction, including temporal delays between processes, sequential, simultaneous, and ....
....pilotOff, power,gas] This completes the formalization of the gas heater. We can now use it to extract information that is implicit in the example. The following query retrieves the maximum validity intervals of all the properties that appear in this case study. mvi(M, I) M = gas I = [1, 19] ; M = power I = 2, 18] M = cold I = 0, 8] M = cold I = 10, 11] M = thermoVOpen I = 0, 8] M = thermoVOpen I = 10, 11] M = sparking I = 3, 5] M = safetyVOpen I = 3, 19] M = burning I = 10, 11] M = burning I = 3, 8] M = pilotOn I = 3, 19] 56 M = pilotOff I = ....
[Article contains additional citation context not shown here]
S. Lin and T. Dean. Localized temporal reasoning using subgoals and abstract events. Computational Intelligence, 12(3):423-449, 1996.
Temporal Representation and Reasoning in Artificial.. - Chittaro, Montanari (2002) (3 citations) (Correct)
No context found.
Lin S., and T. Dean, Localized temporal reasoning using subgoals and abstract events, Computational Intelligence 12: 423-449, 1996.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC