{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,13]],"date-time":"2025-06-13T14:24:39Z","timestamp":1749824679949},"reference-count":55,"publisher":"Elsevier BV","issue":"1-3","license":[{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T00:00:00Z","timestamp":1374192000000},"content-version":"vor","delay-in-days":5953,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Journal of Logic Programming"],"published-print":{"date-parts":[[1997,4]]},"DOI":"10.1016\/s0743-1066(96)00140-9","type":"journal-article","created":{"date-parts":[[2003,4,30]],"date-time":"2003-04-30T21:37:28Z","timestamp":1051738648000},"page":"85-117","source":"Crossref","is-referenced-by-count":30,"title":["Reasoning about effects of concurrent actions"],"prefix":"10.1016","volume":"31","author":[{"given":"Chitta","family":"Baral","sequence":"first","affiliation":[]},{"given":"Michael","family":"Gelfond","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0743-1066(96)00140-9_bib1","series-title":"Proceedings of IBERAMIA 94","first-page":"93","article-title":"Concurrent Actions and Changes in the Situation Calculus","author":"Alferes","year":"1994"},{"key":"10.1016\/S0743-1066(96)00140-9_bib2","series-title":"Logic Programming: Proceedings of the Seventh International Conference","first-page":"617","article-title":"Acyclic Programs","author":"Apt","year":"1990"},{"issue":"3\/4","key":"10.1016\/S0743-1066(96)00140-9_bib3","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/BF03037168","article-title":"Acyclic Programs","volume":"9","author":"Apt","year":"1991","journal-title":"New Generation Computing"},{"key":"10.1016\/S0743-1066(96)00140-9_bib4","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/0004-3702(91)90004-4","article-title":"Nonmonotonic Reasoning in the Framework of Situation Calculus","volume":"49","author":"Baker","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0743-1066(96)00140-9_bib5","series-title":"Proceedings of KR 94","first-page":"39","article-title":"Reasoning with Minimal Models: Efficient Algorithms and Applications","author":"Ben-Eliyahu","year":"1994"},{"key":"10.1016\/S0743-1066(96)00140-9_bib6","series-title":"Proceedings of the 13th International Joint Conference on Artificial Intelligence","first-page":"866","article-title":"Representing Concurrent Actions in Extended Logic Programming","author":"Baral","year":"1993"},{"key":"10.1016\/S0743-1066(96)00140-9_bib7","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0743-1066(94)90025-6","article-title":"Logic Programming and Knowledge Representation","volume":"20","author":"Baral","year":"1994","journal-title":"Journal of Logic Programming 19"},{"key":"10.1016\/S0743-1066(96)00140-9_bib8","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/S0743-1066(96)00141-0","article-title":"Representing Actions: Laws, Observations and Hypothesis","volume":"31","author":"Baral","year":"1997","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S0743-1066(96)00140-9_bib9","series-title":"Logic Programming: Proceedings of the Sixth International Conference","first-page":"571","article-title":"Continuity, Consistency, and Completeness Properties for Logic Programs","author":"Cavedon","year":"1989"},{"key":"10.1016\/S0743-1066(96)00140-9_bib10","series-title":"Logic and Data Bases","first-page":"293","article-title":"Negation as Failure","author":"Clark","year":"1978"},{"key":"10.1016\/S0743-1066(96)00140-9_bib11","series-title":"Proceedings of International Logic Programming Symposium 93","first-page":"147","article-title":"Representing Incomplete Knowledge in Abductive Logic Programming","author":"Denecker","year":"1993"},{"key":"10.1016\/S0743-1066(96)00140-9_bib12","series-title":"Proceedings of International Workshop in Logic Programming and Non-monotonic Reasoning","first-page":"166","article-title":"Classifying Semantics of Logic Programs","author":"Dix","year":"1991"},{"key":"10.1016\/S0743-1066(96)00140-9_bib13","series-title":"Proceedings of International Conference on Logic Programming","first-page":"222","article-title":"Representing Actions in Logic Programming and Its Application in Database Updates","author":"Dung","year":"1993"},{"key":"10.1016\/S0743-1066(96)00140-9_bib14","series-title":"Logic Programming: Proceedings of the Sixth International Conference","first-page":"234","article-title":"Abduction Compared with Negation as Failure","author":"Eshghi","year":"1989"},{"key":"10.1016\/S0743-1066(96)00140-9_bib15","series-title":"Proceedings of the Ninth Biennial Conference of the Canadian Society for Computational Studies of Intelligence","article-title":"Reasoning about Action in First-Order Logic Maintenance Systems","author":"Elkan","year":"1992"},{"key":"10.1016\/S0743-1066(96)00140-9_bib16","series-title":"Proceedings of the Second International Symposium on Artificial Intelligence","article-title":"Negation-as-Failure as an Approach to the Hanks and McDermott Problem","author":"Evans","year":"1989"},{"key":"10.1016\/S0743-1066(96)00140-9_bib17","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/BF01530762","article-title":"Logic Programming and Reasoning with Incomplete Information","volume":"12","author":"Gelfond","year":"1994","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10.1016\/S0743-1066(96)00140-9_bib18","series-title":"Logic Programming: Proceedings of the Fifth International Conference and Symposium","first-page":"1070","article-title":"The Stable Model Semantics for Logic Programming","author":"Gelfond","year":"1988"},{"key":"10.1016\/S0743-1066(96)00140-9_bib19","series-title":"Logic Programming: Proceedings of the Seventh International Conference","first-page":"579","article-title":"Logic Programs with Classical Negation","author":"Gelfond","year":"1990"},{"key":"10.1016\/S0743-1066(96)00140-9_bib20","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","article-title":"Classical Negation in Logic Programs and Disjunctive Databases","author":"Gelfond","year":"1991","journal-title":"New Generation Computing"},{"key":"10.1016\/S0743-1066(96)00140-9_bib21","series-title":"Joint International Conference and Symposium on Logic Programming","first-page":"559","article-title":"Representing Actions in Extended Logic Programs","author":"Gelfond","year":"1992"},{"key":"10.1016\/S0743-1066(96)00140-9_bib22","series-title":"Automated Reasoning: Essays in Honor of Woody Bledsoe","article-title":"What Are the Limitations of the Situation Calculus?","author":"Gelfond","year":"1992"},{"key":"10.1016\/S0743-1066(96)00140-9_bib23","series-title":"Proceedings of ICLP-93","first-page":"164","article-title":"Actions and Specificity","author":"Holldobler","year":"1993"},{"key":"10.1016\/S0743-1066(96)00140-9_bib24","series-title":"Proceedings of International Conference on Logic Programming","article-title":"Extended Logic Programs with Default Assumptions","author":"Inoue","year":"1991"},{"key":"10.1016\/S0743-1066(96)00140-9_bib25","first-page":"724","article-title":"Soundness and Completeness Theorems for Three Formalizations of Action","volume":"93","author":"Kartha","year":"1993"},{"key":"10.1016\/S0743-1066(96)00140-9_bib26","series-title":"Proceedings of KR","first-page":"341","article-title":"Actions with Indirect Effects (preliminary report)","author":"Kartha","year":"1994"},{"key":"10.1016\/S0743-1066(96)00140-9_bib27","unstructured":"Lesperance, Y., Levesque, H., and Lin, F., A Formalization of Ability and Knowing How that Avoids the Frame Problem, Unpublished manuscript."},{"key":"10.1016\/S0743-1066(96)00140-9_bib28","series-title":"Foundations of Disjunctive Logic Programming","author":"Lobo","year":"1992"},{"key":"10.1016\/S0743-1066(96)00140-9_bib29","series-title":"Proceedings of the IJCAI","first-page":"2001","article-title":"How to Progress a Database II: The STRIPS Connection","author":"Lin","year":"1995"},{"key":"10.1016\/S0743-1066(96)00140-9_bib30","series-title":"Proceedings of KR94","first-page":"425","article-title":"How to Progress a Database (and Why) I: Logical Foundations","author":"Lin","year":"1994"},{"key":"10.1016\/S0743-1066(96)00140-9_bib31","series-title":"Proceedings of AAAI-91","article-title":"Provably Correct Theories of Actions: Preliminary Report","author":"Lin","year":"1991"},{"key":"10.1016\/S0743-1066(96)00140-9_bib32","series-title":"Proceedings of AAAI 92","first-page":"590","article-title":"Concurrent Actions in the Situation Calculus","author":"Lin","year":"1992"},{"key":"10.1016\/S0743-1066(96)00140-9_bib33","series-title":"Proceedings of ICLP 94","first-page":"23","article-title":"Splitting a Logic Program","author":"Lifschitz","year":"1994"},{"key":"10.1016\/S0743-1066(96)00140-9_bib34","unstructured":"Lifschitz, V. and Turner, H., From Disjunctive Programs to Abduction, Unpublished manuscript."},{"key":"10.1016\/S0743-1066(96)00140-9_bib35","series-title":"Proceedings of the Teddington Conference on the Mechanization of Thought Processes","first-page":"75","article-title":"Programs with Common Sense","author":"McCarthy","year":"1959"},{"issue":"3","key":"10.1016\/S0743-1066(96)00140-9_bib36","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","article-title":"Applications of Circumscription to Formalizing Common Sense Knowledge","volume":"26","author":"McCarthy","year":"1986","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0743-1066(96)00140-9_bib37","first-page":"463","article-title":"Some Philosophical Problems from the Standpoint of Artificial Intelligence","volume":"Vol. 4","author":"McCarthy","year":"1969"},{"key":"10.1016\/S0743-1066(96)00140-9_bib38","series-title":"Proceedings of the Third International Conference on Logic Programming and Non-monotonic Reasoning","first-page":"217","article-title":"Situation Calculus Specifications for Event Calculus Logic Programs","author":"Miller","year":"1995"},{"key":"10.1016\/S0743-1066(96)00140-9_bib39","series-title":"7 Simposio Brasiliero de Inteligencia Artificial","article-title":"Classical Negation in Logic Programs","author":"Pereira","year":"1990"},{"key":"10.1016\/S0743-1066(96)00140-9_bib40","series-title":"Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning","first-page":"324","article-title":"ADL: Exploring the Middle Ground between STRIPS and the Situation Calculus","author":"Pednault","year":"1989"},{"key":"10.1016\/S0743-1066(96)00140-9_bib41","article-title":"Temporal Reasoning in the Situation Calculus","author":"Pinto","year":"1994"},{"key":"10.1016\/S0743-1066(96)00140-9_bib42","series-title":"Proceedings of 10th International Conference in Logic Programming","first-page":"203","article-title":"Temporal Reasoning in Logic Programming: A Case for the Situation Calculus","author":"Pinto","year":"1993"},{"key":"10.1016\/S0743-1066(96)00140-9_bib43","series-title":"Logic Programming: Proceedings of the Fifth International Conference and Symposium","first-page":"1081","article-title":"Perfect Model Semantics","author":"Przymusinski","year":"1988"},{"key":"10.1016\/S0743-1066(96)00140-9_bib44","series-title":"North American Conference on Logic Programming","first-page":"40","article-title":"Stationary Semantics for Disjunctive Logic Programs and Deductive Databases","author":"Przymusinski","year":"1990"},{"key":"10.1016\/S0743-1066(96)00140-9_bib45","article-title":"Reasoning with Negative Information 1\u2014Strong Negation in Logic Programming","author":"Pearce","year":"1989"},{"key":"10.1016\/S0743-1066(96)00140-9_bib46","series-title":"Artificial Intelligence and Mathematical Theory of Computation","first-page":"359","article-title":"The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression","author":"Reiter","year":"1991"},{"key":"10.1016\/S0743-1066(96)00140-9_bib47","series-title":"Proceedings of the International Conference on Fifth Generation Computer Systems","first-page":"600","article-title":"Formalizing Database Evolution in the Situation Calculus","author":"Reiter","year":"1992"},{"key":"10.1016\/S0743-1066(96)00140-9_bib48","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1016\/0004-3702(93)90109-O","article-title":"Proving Properties of States in the Situation Calculus","volume":"64","author":"Reiter","year":"1993","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0743-1066(96)00140-9_bib49","article-title":"Features and Fluents: A Systematic Approach to the Representation of Knowledge about Dynamical Systems","author":"Sandewall","year":"1992"},{"issue":"5","key":"10.1016\/S0743-1066(96)00140-9_bib50","doi-asserted-by":"crossref","first-page":"581","DOI":"10.1093\/logcom\/4.5.581","article-title":"The Range of Applicability of Some Non-Monotonic Logics for Strict Inertia","volume":"4","author":"Sandewall","year":"1994","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S0743-1066(96)00140-9_bib51","series-title":"AAAI 93","first-page":"689","article-title":"The Frame Problem and Knowledge Producing Actions","author":"Scherl","year":"1993"},{"key":"10.1016\/S0743-1066(96)00140-9_bib52","series-title":"An Analysis of Systematic Approaches to Reasoning about Actions and Change","author":"Thielscher","year":"1994"},{"key":"10.1016\/S0743-1066(96)00140-9_bib53","series-title":"Proceedings of ISLP","first-page":"61","article-title":"Signed Logic Programs","author":"Turner","year":"1994"},{"key":"10.1016\/S0743-1066(96)00140-9_bib54","article-title":"An Inference Engine for Epistemic Specifications","author":"Watson","year":"1994"},{"key":"10.1016\/S0743-1066(96)00140-9_bib55","article-title":"Query Evaluation under Well-Founded Semantics","volume":"93","author":"Warren","year":"1993"}],"container-title":["The Journal of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0743106696001409?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0743106696001409?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T10:22:21Z","timestamp":1555410141000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0743106696001409"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,4]]},"references-count":55,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[1997,4]]}},"alternative-id":["S0743106696001409"],"URL":"https:\/\/doi.org\/10.1016\/s0743-1066(96)00140-9","relation":{},"ISSN":["0743-1066"],"issn-type":[{"value":"0743-1066","type":"print"}],"subject":[],"published":{"date-parts":[[1997,4]]}}}