Reasoning about effects of concurrent actions

Chitta Baral, Michael Gelfond

Research output: Contribution to journalArticle

37 Scopus citations

Abstract

Gelfond and Lifschitz introduce a declarative language script A sign for describing effects of actions and describe translations of theories in this language into extended logic programs. In this paper we extend the language script A sign and its translation to allow reasoning about the effects of concurrent actions. The logic programming formalization of situation calculus with concurrent actions presented in the paper is of independent interest and may serve as a test bed for the investigation of various transformations and logic programming inference mechanisms.

Original languageEnglish (US)
Pages (from-to)85-117
Number of pages33
JournalJournal of Logic Programming
Volume31
Issue number1-3
DOIs
StatePublished - Jan 1 1997
Externally publishedYes

    Fingerprint

ASJC Scopus subject areas

  • Logic

Cite this