All Outputs (3)

A discrete formalism for reasoning about action and change (1997)
Conference Proceeding
Knight, B., Ma, J., & Peng, T. (1997). A discrete formalism for reasoning about action and change. In R. Adey, G. Rzevski, & R. Teti (Eds.), Applications of artificial intelligence in engineering XII. https://doi.org/10.2495/AI970101

No abstract available.

Representing temporal relationships between events and their effects. (1997)
Conference Proceeding
Ma, J., Knight, B., & Peng, T. (1997). Representing temporal relationships between events and their effects. In Proc. of the 4th Workshop on Temporal Representation and Reasoning (148-152). https://doi.org/10.1109/TIME.1997.600796

Temporal relationships between events and their effects are complex. As the ejjects of a given event, a proposition may change its truth value immediately after the occurrence of the event and remain true until some other events occur, while anot... Read More about Representing temporal relationships between events and their effects..

Probabilistic temporal reasoning in situation calculus. (1997)
Conference Proceeding
Peng, T., Ma, J., & Knight, B. (1997). Probabilistic temporal reasoning in situation calculus. In Proc. of ICIE-96