Modelling and Solving Temporal Reasoning as Propositional Satisfiability

File Size Format
54277_1.pdf 486Kb Adobe PDF View
Title Modelling and Solving Temporal Reasoning as Propositional Satisfiability
Author Pham, Duc Nghia; Thornton, John Richard; Sattar, Abdul
Editor C. R. Perault and A.G. Cohn
Year Published 2008
Publisher Elsevier
Citation Artificial Intelligence, Vol. 172(15), pp. 1752-1782
Peer Reviewed Yes
Published Yes
Alternative URI http://dx.doi.org/10.1016/j.artint.2008.06.003
Copyright Statement Copyright 2008 Elsevier. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher. Please refer to the journal's website for access to the definitive, published version.
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Science, Environment, Engineering and Technology
Publication Type Journal Articles (Refereed Article)

Show full item record

Griffith University copyright notice