Outputs (25)

Towards causal ordering based on dimensional analysis. (1998)
Presentation / Conference Contribution
Shen, Q., & Peng, T. (1998). Towards causal ordering based on dimensional analysis. In Proc. of The ECAI-98 Workshop on Model-based systems and qualitative reasoning (27-33)

A discrete formalism for reasoning about action and change (1997)
Presentation / Conference Contribution
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)
Presentation / Conference Contribution
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)
Presentation / Conference Contribution
Peng, T., Ma, J., & Knight, B. (1997). Probabilistic temporal reasoning in situation calculus. In Proc. of ICIE-96

Temporal reasoning about action and change. (1996)
Book Chapter
Ma, J., Knight, B., & Peng, T. (1996). Temporal reasoning about action and change. In K. Anjaneyulu, M. Sasikumar, & S. Ramani (Eds.), Knowledge Based Computer Systems - Research and Applications (193-204). Narosa Publishing House