Sciweavers

MICS
2010
76views more  MICS 2010»
13 years 10 months ago
Mathematical Context in Interactive Documents
Abstract. In this paper we introduce the concept of an interactive mathematical document. We give a formal description of such a document, which enables us to introduce the notion ...
A. M. Cohen, Hans Cuypers, R. Verrijzer
AI
2008
Springer
13 years 11 months ago
Modelling and solving temporal reasoning as propositional satisfiability
Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence. One of the best known and widely...
Duc Nghia Pham, John Thornton, Abdul Sattar