Skip to Main Content

Search

Skip to Search Results
Filter
Close
Subject / Keyword
Collections
Author / Creator / Contributor
Year
to
Languages
Item type
Subject: Negation as failure Collections: Computing Science, Department of/Technical Reports (Computing Science)

  • The Event Calculus as a Linear Logic Program

    Download

    1995

    Alexiev, Vladimir

    Technical report TR95-24. The traditional presentation of Kowalski's Event Calculus as a logic program uses Negation- as-Failure (NAF) in an essential way to support persistence of fluents. In this paper we present an implementation of Event Calculus as a purely logical (without NAF) Linear...

1 - 1 of 1