Ramifications: An Extension and Correspondence Result for the Event Calculus

DOI10.1093/logcom/exm018zbMath1130.68093OpenAlexW2035120068MaRDI QIDQ5427252

Jeremy Forth, Rob Miller

Publication date: 19 November 2007

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exm018

zbMATH Keywords

narrativeevent calculusramificationsaction language

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items

A general first-order solution to the ramification problem with cycles

This page was built for publication: Ramifications: An Extension and Correspondence Result for the Event Calculus