Modelling and Solving Temporal Reasoning as Satisfiability
There are no files associated with this record.
| Title | Modelling and Solving Temporal Reasoning as Satisfiability |
|---|---|
| Author | Pham, Duc Nghia; Thornton, John; Sattar, Abdul |
| Publication Title | Modelling and Reformulating Constraint Satisfaction Problems |
| Editor | Brahim Hnich, Patrick Prosser and Barbara Smith |
| Year Published | 2005 |
| Place of publication | URL: http://4c.ucc.ie/~brahim/mod-proc.pdf |
| Publisher | Published online |
| Peer Reviewed | Yes |
| Published | Yes |
| Conference name | Fourth International Workshop on Modelling and Reformulating Constraint Satisfaction Problems |
| Location | Sitges, Spain |
| Date From | 2005-10-01 |
| Date To | 2005-10-01 |
| URI | http://hdl.handle.net/10072/2595 |
| Date Accessioned | 2006-03-15 |
| Date Available | 2007-03-21T21:28:41Z |
| Language | en_AU |
| Research Centre | Institute for Integrated and Intelligent Systems |
| Faculty | Faculty of Engineering and Information Technology |
| Subject | Other Artificial Intelligence |
| Publication Type | Conference Publications (Full Written Paper - Refereed) |
| Publication Type Code | e1 |
Please use this identifier to cite this record: http://hdl.handle.net/10072/2595
Griffith University copyright notice
Copyright in individual works within the repository belongs to their authors or publishers. You may make a print or digital copy of a work for your personal non-commercial use. All other rights are reserved, except for fair dealings or other user rights granted by the copyright laws of your country.
Footer information
Back to top