Authors: BARAL C GABALDON A PROVETTI A

Citation: C. Baral et al., FORMALIZING NARRATIVES USING NESTED CIRCUMSCRIPTION, Artificial intelligence, 104(1-2), 1998, pp. 107-164

Authors: BARAL C GABALDON A PROVETTI A

Citation: C. Baral et al., VALUE MINIMIZATION IN CIRCUMSCRIPTION, Artificial intelligence, 102(2), 1998, pp. 163-186

Authors: BARAL C GELFOND M PROVETTI A

Citation: C. Baral et al., REPRESENTING ACTIONS - LAWS, OBSERVATIONS AND HYPOTHESES, The journal of logic programming, 31(1-3), 1997, pp. 201-243

Authors: PROVETTI A

Citation: A. Provetti, HYPOTHETICAL REASONING ABOUT ACTIONS - FROM SITUATION CALCULUS TO EVENT CALCULUS, Computational intelligence, 12(3), 1996, pp. 478-498