Representing Concurrent Actions in Extended Logic Programming
Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. Logic Programming. Pages 866-872.
Abstract
Gelfond and Lifschitz introduce a declarative language A for describing effects of actions and define a translation of theories in this language into extended logic programs(ELP's) . The purpose of this paper is to extend the language and the translation to allow reasoning about the effects of concurrent actions. Logic programming formalization of situation calculus with concurrent actions presented in the paper can be of independent interest and may serve as a test bed for the investigation of various transformations and logic programming inference mechanisms.
@inproceedings{ijcai1993p119,
title = {Representing Concurrent Actions in Extended Logic Programming},
author = {Baral, Chitta and Gelfond, Michael},
booktitle = {Proceedings of the Thirteenth International Joint Conference on
Artificial Intelligence, {IJCAI-93}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Ruzena Bajcsy},
pages = {866--872},
year = {1993},
note = {Logic Programming},
url = {https://ijcai.org/proceedings/1993/119},
}
TY - CPAPER TI - Representing Concurrent Actions in Extended Logic Programming AU - Baral, Chitta AU - Gelfond, Michael T2 - Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93 PB - International Joint Conferences on Artificial Intelligence PY - 1993 SP - 866 EP - 872 UR - https://ijcai.org/proceedings/1993/119 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
