Representing the Process Semantics in the Event Calculus

Chunping Li. Representing the Process Semantics in the Event Calculus. In Manuel Ojeda-Aciego, Inman P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira, editors, Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings. Volume 1919 of Lecture Notes in Computer Science, pages 118-132, Springer, 2000. [doi]

Abstract

Abstract is missing.