Göm menyn
Files: Description Format
Fulltext PDF (requires Acrobat Reader)
Fulltext PostScript (requires a PostScript Reader)
Authors: Rob Miller and Murray Shanahan
Article title: The Event Calculus in Classical Logic - Alternative Axiomatisations
Publ. type: Article
Volume: 4
Article No: 16
Language: English
Abstract [en]: We present several alternative classical logic axiomatisations of the Event Calculus, a narrative based formalism for reasoning about actions and change. We indicate the range of applicability and key characteristics of each alternative formulation.
Publisher: Linköping University Electronic Press
Year: 1999
Available: 1999-09-30
No. of pages: 27
Series: Linköping Electronic Articles in Computer and Information Science
ISSN: 1401-9841

Responsible for this page: Peter Berkesand
Last updated: 2017-02-21