Browse by Author
Group by: Item Type | No Grouping
Number of items: 5.
Knight, Brian, Peng, Taoxin and Ma, Jixin (1998) Reasoning about change over time: actions, events, and their effects. In: Proc. of Formalization of Commonsense Reasoning, 1998, London, UK.
Knight, Brian, Ma, Jixin and Peng, Taoxin (1997) A discrete formalism for reasoning about action and change. In: The Twelfth International Conference on Artificial Intelligence in Engineering, July 1997, Capri, Naples, Italy.
Peng, Taoxin, Ma, Jixin and Knight, Brian (1997) Probabilistic temporal reasoning in situation calculus. In: Proc. of ICIE-96, April 1996, Buenos Aires, Argentina.
Ma, Jixin, Knight, Brian and Peng, Taoxin (1997) Representing temporal relationships between events and their effects. In: Proc. of the 4th Workshop on Temporal Representation and Reasoning. IEEE Computer Society Press, Daytona, FL, USA, pp. 148-152. ISBN 0-8186-7937-9
Ma, Jixin, Knight, Brian and Peng, Taoxin (1996) Temporal reasoning about action and change. In: Knowledge Based Computer Systems - Research and Applications. Narosa Publishing House, pp. 193-204.