Browse by Person
Up a level |
Artificial Intelligence
Baral, C. and Gabaldon, A. and Provetti, Alessandro (1998) Formalizing narratives using nested circumscription. Artificial Intelligence 104 (1/2), pp. 107-164. ISSN 0004-3702.
Baral, C. and Gabaldon, A. and Provetti, Alessandro (1998) Value minimization in circumscription. Artificial Intelligence 102 (2), pp. 163-186. ISSN 0004-3702.
The Journal of Logic Programming
Baral, C. and Gelfond, M. and Provetti, Alessandro (1997) Representing actions: laws, observations and hypotheses. The Journal of Logic Programming 31 (1/3), pp. 201-243. ISSN 0743-1066.
Theory and Practice of Logic Programming
Baral, C. and Provetti, Alessandro and Son, T.C. (2003) Introduction to the special issue on programming with answer sets. [Editorial/Introduction]