Representing First-Order Causal Theories by Logic Programs

Details Representing First-Order Causal Theories by Logic Programs Representing First-Order Causal Theories by Logic Programs

2011-03-23

arxiv.org/abs/1103.4558v1

Computer Science

Artificial Intelligence

29 pages. To appear in Theory and Practice of Logic Programming (TPLP); Theory and Practice of Logic Programming, May, 2011

Scientific paper

10.1017/S1471068411000081

Nonmonotonic causal logic, introduced by Norman McCain and Hudson Turner, became a basis for the semantics of several expressive action languages. McCain's embedding of definite propositional causal theories into logic programming paved the way to the use of answer set solvers for answering queries about actions described in such languages. In this paper we extend this embedding to nondefinite theories and to first-order causal logic.

Affiliated with

Also associated with

No associations

Rating

Representing First-Order Causal Theories by Logic Programs does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Representing First-Order Causal Theories by Logic Programs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Representing First-Order Causal Theories by Logic Programs will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-441536