Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 64
Titolo Data di pubblicazione Autori Tipo File Abstract
Hypothetical reasoning about actions: From situation calculus to event calculus 1996 A. Provetti Article (author) -
Ordering events: Intervals are sufficient, more general sets are usually not necessary 1996 Provetti A. Article (author) -
Representing actions: Laws, observations and hypotheses 1997 Provetti A. + Article (author) -
Value minimization in circumscription 1998 Provetti A. + Article (author) -
Formalizing narratives using nested circumscription 1998 Provetti A. + Article (author) -
Characterizing and computing stable models of logic programs: The non-stratified case 1999 O. D'AntonaA. Provetti + Book Part (author) -
Experiments in answer sets planning (Extended Abstract) 2000 Provetti A. + Book Part (author) -
AAAI 2001 Spring Symposium Series Reports 2001 Provetti A. + Article (author) -
On the equivalence and range of applicability of graph-based representations of logic programs 2002 D'Antona O.Provetti A. + Article (author) -
Disjunctive logic programs with inheritance revisited (a preliminary report) 2002 Provetti A. + Book Part (author) -
PDL with maximum consistency monitors 2003 Bertino E.Mileo A.Provetti A. Book Part (author) -
Introduction to the special issue on Programming with answer sets 2003 Provetti A. + Article (author) -
Specification and execution of policies for grid service selection 2004 Provetti A. + Book Part (author) -
Qsmodels: ASP planning in interactive gaming environment 2004 Provetti A. + Book Part (author) -
Specification and execution of declarative policies for grid service selection 2004 Marchi M.Mileo A.Provetti A. Book Part (author) -
Grid service selection with PPDL 2004 Marchi M.Mileo A.Provetti A. Book Part (author) -
PDL with preferences 2005 Bertino E.Mileo A.Provetti A. Book Part (author) -
Declarative policies for Web Service selection 2005 Marchi M.Mileo A.Provetti A. Book Part (author) -
Technical note: Normal forms for answer sets programming 2005 Provetti A. + Article (author) -
Declarative web data extraction and annotation 2006 Marchi M.Provetti A. + Book Part (author) -
Mostrati risultati da 1 a 20 di 64
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