Sfoglia per Autore
Hypothetical reasoning about actions: From situation calculus to event calculus
1996 A. Provetti
Ordering events: Intervals are sufficient, more general sets are usually not necessary
1996 A. Provetti
Representing actions: Laws, observations and hypotheses
1997 C. Baral, M. Gelfond, A. Provetti
Value minimization in circumscription
1998 C. Baral, A. Gabaldon, A. Provetti
Formalizing narratives using nested circumscription
1998 C. Baral, A. Gabaldon, A. Provetti
Characterizing and computing stable models of logic programs: The non-stratified case
1999 G. Brignoli, S. Costantini, O. D'Antona, A. Provetti
Experiments in answer sets planning (Extended Abstract)
2000 M. Balduccini, G. Brignoli, G.A. Lanzarone, F. Magni, A. Provetti
AAAI 2001 Spring Symposium Series Reports
2001 L. Fesq, E. Atkins, L. Khatib, C. Pecheu, P.R. Cohen, L.A. Stein, M. Van Lent, J. Laird, A. Provetti, S.T. Cao
On the equivalence and range of applicability of graph-based representations of logic programs
2002 S. Costantini, O. D'Antona, A. Provetti
Disjunctive logic programs with inheritance revisited (a preliminary report)
2002 S. Costantini, R.P. Otero, A. Provetti, T.C. Son
PDL with maximum consistency monitors
2003 E. Bertino, A. Mileo, A. Provetti
Introduction to the special issue on Programming with answer sets
2003 C. Baral, A. Provetti, T.C. Son
Specification and execution of policies for grid service selection
2004 M. Marchi, A. Mileo, A. Provetti
Qsmodels: ASP planning in interactive gaming environment
2004 L. Padovani, A. Provetti
Specification and execution of declarative policies for grid service selection
2004 M. Marchi, A. Mileo, A. Provetti
Grid service selection with PPDL
2004 M. Marchi, A. Mileo, A. Provetti
PDL with preferences
2005 E. Bertino, A. Mileo, A. Provetti
Declarative policies for Web Service selection
2005 M. Marchi, A. Mileo, A. Provetti
Technical note: Normal forms for answer sets programming
2005 S. Costantini, A. Provetti
Declarative web data extraction and annotation
2006 C. Bernardoni, G. Fiumara, M. Marchi, A. Provetti
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile