Reasoning about effects of concurrent actions

Chitta Baral; Michael Gelfond

doi:10.1016/s0743-1066(96)00140-9

ScienceGate Book Chapters

JOURNAL ARTICLE

Reasoning about effects of concurrent actions

Chitta Baral Michael Gelfond

Year: 1997 Journal: The Journal of Logic Programming Vol: 31 (1-3)Pages: 85-117 Publisher: Elsevier BV

DOI: 10.1016/s0743-1066(96)00140-9

Get Full-Text PDF Get Analytical Report

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

Cited By

4.60

FWCI (Field Weighted Citation Impact)

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

Reasoning about effects of concurrent actions

Metrics

Citation History

Topics

Related Documents

Process algebra approach to reasoning about concurrent actions

Reasoning about concurrent actions in multi-agent systems

Reasoning about concurrent actions within features and fluents

Reasoning about nondeterministic and concurrent actions: A process algebra approach

Representing and reasoning about concurrent actions with abductive logic programs