@inproceedings{40e11c6d030c4ceea2848f7602b51583,
title = "Reasoning about actions in biophysical systems",
abstract = "We develop a high level action description language to express knowledge about cellular processes and mechanisms. This involves representation and reasoning about both discrete properties and continuous processes. Both of them may be changed by exogenous actions or triggers. We use differential equations to represent continuous processes. We give syntax and semantics of the language and also present an approximate characterization. We present a temporal query language for such domains. We then illustrate the use of our language with respect to biological examples and discuss an implementation of the approximate characterization.",
author = "Chitta Baral and Juraj Dzifcak and Nam Tran and Jicheng Zhao",
year = "2006",
language = "English (US)",
isbn = "1577352858",
series = "AAAI Workshop - Technical Report",
pages = "17--24",
booktitle = "Cognitive Robotics - Papers from the AAAI Workshop, Technical Report",
note = "2006 AAAI Workshop ; Conference date: 16-07-2006 Through 20-07-2006",
}