All Outputs (3)

A discrete formalism for reasoning about action and change (1997)
Presentation / Conference Contribution
Knight, B., Ma, J., & Peng, T. (1997, July). A discrete formalism for reasoning about action and change. The Twelfth International Conference on Artificial Intelligence in Engineering. https://doi.org/10.2495/AI970101

No abstract available.

Representing temporal relationships between events and their effects. (1997)
Presentation / Conference Contribution
Ma, J., Knight, B., & Peng, T. (1997, May 10-11). Representing temporal relationships between events and their effects.. 4th Workshop on Temporal Representation and Reasoning. 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)
Presentation / Conference Contribution
Peng, T., Ma, J., & Knight, B. (1996, April). Probabilistic temporal reasoning in situation calculus.. Proc. of ICIE-96.