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