1. ScholarBank@NUS
  2. 1. Staff
  3. Staff Publications
Please use this identifier to cite or link to this item: https://doi.org/10.1109/TIME.2005.19
DC FieldValue
dc.titleConstraint-based qualitative simulation
dc.contributor.authorApt, K.R.
dc.contributor.authorBrand, S.
dc.date.accessioned2013-07-04T08:35:07Z
dc.date.available2013-07-04T08:35:07Z
dc.date.issued2005
dc.identifier.citationApt, K.R., Brand, S. (2005). Constraint-based qualitative simulation. Proceedings of the International Workshop on Temporal Representation and Reasoning : 26-34. ScholarBank@NUS Repository. https://doi.org/10.1109/TIME.2005.19
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/41760
dc.description.abstractWe consider qualitative simulation involving a finite set of qualitative relations in presence of complete knowledge about their interrelationship. We show how it can be naturally captured by means of constraints expressed in temporal logic and constraint satisfaction problems. The constraints relate at each stage the 'past' of a simulation with its future'. The benefit of this approach is that it readily leads to an implementation based on constraint technology that can be used to generate simulations and to answer queries about them. © 2005 IEEE.
dc.description.urihttp://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1109/TIME.2005.19
dc.sourceScopus
dc.typeConference Paper
dc.contributor.departmentCOMPUTER SCIENCE
dc.description.doi10.1109/TIME.2005.19
dc.description.sourcetitleProceedings of the International Workshop on Temporal Representation and Reasoning
dc.description.page26-34
dc.identifier.isiut000231875700006
Appears in Collections:Staff Publications

Show simple item record
Files in This Item:
There are no files associated with this item.

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.