Reasoning about Triggered Actions in AnsProlog and Its Application to Molecular Interactions in Cells.

Tran Hoai Nam, Chitta Baral

Browse the full KR paper archive.