JOURNAL ARTICLE

Reasoning about effects of concurrent actions

Chitta BaralMichael Gelfond

Year: 1997 Journal:   The Journal of Logic Programming Vol: 31 (1-3)Pages: 85-117   Publisher: Elsevier BV
Keywords:
Logic programming Programming language Computer science Inference Declarative programming Situation calculus Logic program Translation (biology) Rule of inference Theoretical computer science Artificial intelligence Programming paradigm Inductive programming

Metrics

67
Cited By
4.60
FWCI (Field Weighted Citation Impact)
89
Refs
0.95
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Logic, Reasoning, and Knowledge
Physical Sciences →  Computer Science →  Artificial Intelligence
Semantic Web and Ontologies
Physical Sciences →  Computer Science →  Artificial Intelligence
Multi-Agent Systems and Negotiation
Physical Sciences →  Computer Science →  Artificial Intelligence

Related Documents

JOURNAL ARTICLE

Process algebra approach to reasoning about concurrent actions

Yuan FengMingsheng Ying

Journal:   Journal of Computer Science and Technology Year: 2004 Vol: 19 (3)Pages: 364-373
JOURNAL ARTICLE

Reasoning about concurrent actions in multi-agent systems

Xiaocong FanDianxiang XuJianmin HouGuoliang Zheng

Journal:   Journal of Computer Science and Technology Year: 1999 Vol: 14 (4)Pages: 422-428
JOURNAL ARTICLE

Reasoning about nondeterministic and concurrent actions: A process algebra approach

Xiao Jun ChenGiuseppe De Giacomo

Journal:   Artificial Intelligence Year: 1999 Vol: 107 (1)Pages: 63-98
JOURNAL ARTICLE

Representing and reasoning about concurrent actions with abductive logic programs

Richard LiLuı́s Moniz Pereira

Journal:   Annals of Mathematics and Artificial Intelligence Year: 1997 Vol: 21 (2-4)Pages: 245-303
© 2026 ScienceGate Book Chapters — All rights reserved.