C. Baral, M. Gelfond, and A. Provetti. Representing Actions: Laws, Observations and Hypothesis. Journal of Logic Programming, 31(1-3):201--243, May 1997. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
BReLS: A System for Revising, Updating, and Merging Knowledge.. - Liberatore (Correct)
BReLS: A System for the Integration of Knowledge Bases - Liberatore, Schaerf (2000) (7 citations) (Correct)
Defeasible Specifications in Action Theories - Baral, Lobo (1997) (3 citations) (Correct)
Representation and Reasoning About Evolution of the World in the.. - Actions Self-citation (Baral) (Correct)
A Transition Function Based Characterization of Actions with .. - Baral, Son, Tuan (2002) (1 citation) Self-citation (Baral) (Correct)
A Formal Characterization of Maintenance Goals - Mutsumi Nakamura And Self-citation (Baral) (Correct)
Value Minimization in Circumscription - Chitta Baral Alfredo (1996) (1 citation) Self-citation (Baral Provetti) (Correct)
Formalizing Narratives Using Nested Circumscription - Baral, Gabaldon, Provetti (1998) (3 citations) Self-citation (Baral Provetti) (Correct)
Reasoning About Actions in a Probabilistic Setting - Baral, Tuan (10 citations) Self-citation (Baral) (Correct)
Formalizing (and Reasoning About) the Specifications of.. - Trajcevski, Baral, Lobo Self-citation (Baral) (Correct)
Formulating Diagnostic Problem Solving Using an Action.. - Baral, McIlraith, Son (2000) (7 citations) Self-citation (Baral) (Correct)
Representing Knowledge in A-Prolog - Gelfond (2001) (13 citations) Self-citation (Gelfond) (Correct)
Formulating Diagnostic Problem Solving Using an Action.. - Baral, McIlraith, Son (2000) (7 citations) Self-citation (Baral) (Correct)
Relating Theories of Actions and Reactive Control - Baral, Tran (1998) (17 citations) Self-citation (Baral) (Correct)
Formalizing Sensing Actions - a transition function based.. - Tran Cao Son (1998) (16 citations) Self-citation (Baral) (Correct)
Relating Theories of Actions and Reactive Control - Baral, Son (1997) (17 citations) Self-citation (Baral) (Correct)
Relating Theories of Actions and Reactive Control - Baral, Son (1997) (17 citations) Self-citation (Baral) (Correct)
Relating Theories of Actions and Reactive Robot Control - Chitta Baral (1996) (5 citations) Self-citation (Baral) (Correct)
Relating Theories of Actions and Reactive Robot Control - Chitta Baral (1996) (5 citations) Self-citation (Baral) (Correct)
Relating Logic Programming Theories of Actions and Partial Order.. - Baral (1997) (1 citation) Self-citation (Baral) (Correct)
Reasoning about Effects of Concurrent Actions - Baral, GELFOND (1993) (14 citations) Self-citation (Baral Gelfond) (Correct)
Specification of Database Evolution in Active Databases -.. - Baral, Lobo Self-citation (Baral) (Correct)
Relating Theories of Actions and Reactive Robot Control - Baral, Son (1996) (5 citations) Self-citation (Baral) (Correct)
Relating Theories of Actions and Reactive Robot Control - Baral, Son (1996) (5 citations) Self-citation (Baral) (Correct)
Formalizing Workflows as Cooperative Agents - Baral, Lobo (1997) (1 citation) Self-citation (Baral) (Correct)
First 50 documents
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC