Reasoning about effects of concurrent actions

Chitta Baral, Michael Gelfond

Research output: Contribution to journalArticle

33 Citations (Scopus)

Abstract

Gelfond and Lifschitz introduce a declarative language A for describing effects of actions and describe translations of theories in this language into extended logic programs. In this paper we extend the language A 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 - Apr 1997
Externally publishedYes

Fingerprint

Logic programming
Concurrent
Reasoning
Logic Programming
Logic Programs
Formalization
Testbed
Calculus
Language

ASJC Scopus subject areas

  • Logic

Cite this

Reasoning about effects of concurrent actions. / Baral, Chitta; Gelfond, Michael.

In: Journal of Logic Programming, Vol. 31, No. 1-3, 04.1997, p. 85-117.

Research output: Contribution to journalArticle

Baral, Chitta ; Gelfond, Michael. / Reasoning about effects of concurrent actions. In: Journal of Logic Programming. 1997 ; Vol. 31, No. 1-3. pp. 85-117.
@article{fd18ca63650e467bb08e53cf198795e3,
title = "Reasoning about effects of concurrent actions",
abstract = "Gelfond and Lifschitz introduce a declarative language A for describing effects of actions and describe translations of theories in this language into extended logic programs. In this paper we extend the language A 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.",
author = "Chitta Baral and Michael Gelfond",
year = "1997",
month = "4",
doi = "10.1016/S0743-1066(96)00140-9",
language = "English (US)",
volume = "31",
pages = "85--117",
journal = "Journal of Logic Programming",
issn = "1567-8326",
publisher = "Elsevier Inc.",
number = "1-3",

}

TY - JOUR

T1 - Reasoning about effects of concurrent actions

AU - Baral, Chitta

AU - Gelfond, Michael

PY - 1997/4

Y1 - 1997/4

N2 - Gelfond and Lifschitz introduce a declarative language A for describing effects of actions and describe translations of theories in this language into extended logic programs. In this paper we extend the language A 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.

AB - Gelfond and Lifschitz introduce a declarative language A for describing effects of actions and describe translations of theories in this language into extended logic programs. In this paper we extend the language A 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.

UR - http://www.scopus.com/inward/record.url?scp=0031125506&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0031125506&partnerID=8YFLogxK

U2 - 10.1016/S0743-1066(96)00140-9

DO - 10.1016/S0743-1066(96)00140-9

M3 - Article

VL - 31

SP - 85

EP - 117

JO - Journal of Logic Programming

JF - Journal of Logic Programming

SN - 1567-8326

IS - 1-3

ER -