Synthesizing advanced transaction models using the situation calculus

Research output: Contribution to journalArticle

3 Citations (Scopus)
Original languageUnknown
Pages (from-to)157-212
JournalJournal Of Intelligent Information Systems
Volume35
Issue numberNA
DOIs
Publication statusPublished - 1 Jan 2010

Cite this