IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 83
Titolo Data di pubblicazione Autore(i) File
Formalizing narratives using nested Circumscription 1-gen-1996 Baral, Chitta; Gabaldon, Alfredo; Provetti, Alessandro
Value Minimization in Circumscription 1-gen-1996 Chitta, Baral; Alfredo, Gabaldon; Provetti, Alessandro
Hypothetical Reasoning about Actions: From Situation Calculus to Event Calculus 1-gen-1996 Provetti, Alessandro
Ordering events: Intervals are sufficient, more general sets are usually not necessary 1-gen-1997 Provetti, Alessandro
Representing Actions: Laws, Observations and Hypotheses 1-gen-1997 C., Baral; M., Gelfond; Provetti, Alessandro
Formalizing Narratives Using Nested Circumscription 1-gen-1998 C. BARAL; A. GABALDON; A. PROVETTI
Value Minimization in Circumscription 1-gen-1998 C., Baral; A., Gabaldon; Provetti, Alessandro
Characterizing and computing stable models of logic programs: the non-stratified case 1-gen-1999 G., Brignoli; S., Costantini; O., D'Antona; Provetti, Alessandro
Track on Representing Actions and Planning 1-gen-2000 V., Lifschitz; Provetti, Alessandro
Answer Sets Computation by Genetic Algorithms - Preliminary Report 1-gen-2000 Provetti, Alessandro; L., Tari
Experiments in Answer Sets Planning (Extended Abstract) 1-gen-2000 M., Balduccini; G., Brignoli; G. A., Lanzarone; F., Magni; Provetti, Alessandro
ASP2001, the AAAI Spring Symposium on Answer Sets Programming 1-gen-2001 Provetti, Alessandro; S., CAO TRAN
The prospect for answer set computation by a genetic model 1-gen-2001 A., Bertoni; G., Grossi; Provetti, Alessandro; V., Kreinovich; L., Tari
AAAI 2001 Spring Symposium Series Reports 1-gen-2001 L. M., Fesq; E. M., Atkins; L., Khatib; C., Pecheur; P. R., Cohen; L. A., Stein; M., VAN LENT; J. E., Laird; Provetti, Alessandro; T. C., Son
Disjunctive Logic Programs with Inheritance Revisited (A Preliminary Report) 1-gen-2002 S., Costantini; R., Perez Otero; Provetti, Alessandro; S., Cao Tran
Disjunctive Logic Programs with Inheritance Revisited 1-gen-2002 S., Costantini; R. P., Otero; Provetti, Alessandro; S., Tran Cao
On the equivalence and range of applicability of graph-based representations of logic programs 1-gen-2002 COSTANTINI S; D'ANTONA O; A. PROVETTI
User Preferences VS Minimality in PPDL 1-gen-2003 Elisa, Bertino; Alessandra, Mileo; Provetti, Alessandro
Answer Set Programming for the Semantic Web 1-gen-2003 E., Bertino; Provetti, Alessandro; F., Salvetti
Policy monitoring with User-Preferences in PDL 1-gen-2003 Elisa, Bertino; Alessandra, Mileo; Provetti, Alessandro
Mostrati risultati da 1 a 20 di 83
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