Sfoglia per Autore
A Proof Theoretical approach to default reasoning I: Tableaux for default logic
1996 Giambattista, Amati; Carlucci, Luigia; Dov, Gabbay; PIRRI ARDIZZONE, Maria Fiora
Default Logic as a Formalism for Understanding Commonsense reasoning
1996 Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora
Modal non monotonic reasoning via boxed fixed points
1996 Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora
Is there a Logic of provability for nonmonotonic reasoning ?
1996 Gianni, Amati; PIRRI ARDIZZONE, Maria Fiora
Provability Logic for Default Reasoning 2
1997 Gianni, Amati; Dov, Gabbay; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora
Definability and commonsense reasoning
1997 Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora
Combining Logics II
1997 Dov, Gabbay; PIRRI ARDIZZONE, Maria Fiora
Intuitionistic Autoepistemic Logic
1997 Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora
Foundations of the situation calculus
1998 Hector, Levesque; PIRRI ARDIZZONE, Maria Fiora; Raymond, Reiter
Contexts as relativized definition: a formalization via fixed points
1998 Gianni, Amati; PIRRI ARDIZZONE, Maria Fiora
An approach to Perception in Theory of Actions: Part I.
1999 PIRRI ARDIZZONE, Maria Fiora; Alberto, Finzi
Logical foundations for cognitive agents: contributions in honor of Ray Reiter
1999 Hector, Levesque; PIRRI ARDIZZONE, Maria Fiora
Default Logic and Purity of Reasoning
1999 Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora
A preliminary approach to Perception in Theory of Action
1999 Alberto, Finzi; PIRRI ARDIZZONE, Maria Fiora
Some contributions to the metatheory of the Situation Calculus
1999 PIRRI ARDIZZONE, Maria Fiora; Ray, Reiter
Algorithms for selective enumeration of prime implicants
1999 Luigi, Palopoli; PIRRI ARDIZZONE, Maria Fiora; Clara, Pizzuti
A System Integrating high and low level planning of complex tasks with a 3 dimensional visualizer
1999 Alberto, Finzi; PIRRI ARDIZZONE, Maria Fiora; Schaerf, Marco
Open World Planning in the Situation Calculus
2000 Alberto, Finzi; PIRRI ARDIZZONE, Maria Fiora; Raymond, Reiter
ArmHandØ: a mobile manipulator for the blocks world
2000 Gianfranco, Piazzolla; Milko, Vaccaro; Alberto, Finzi; PIRRI ARDIZZONE, Maria Fiora
Planning with natural action in the situation calculus
2001 PIRRI ARDIZZONE, Maria Fiora; Raymond, Reiter
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Proof Theoretical approach to default reasoning I: Tableaux for default logic | 1996 | Giambattista, Amati; Carlucci, Luigia; Dov, Gabbay; PIRRI ARDIZZONE, Maria Fiora | |
Default Logic as a Formalism for Understanding Commonsense reasoning | 1996 | Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora | |
Modal non monotonic reasoning via boxed fixed points | 1996 | Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora | |
Is there a Logic of provability for nonmonotonic reasoning ? | 1996 | Gianni, Amati; PIRRI ARDIZZONE, Maria Fiora | |
Provability Logic for Default Reasoning 2 | 1997 | Gianni, Amati; Dov, Gabbay; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora | |
Definability and commonsense reasoning | 1997 | Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora | |
Combining Logics II | 1997 | Dov, Gabbay; PIRRI ARDIZZONE, Maria Fiora | |
Intuitionistic Autoepistemic Logic | 1997 | Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora | |
Foundations of the situation calculus | 1998 | Hector, Levesque; PIRRI ARDIZZONE, Maria Fiora; Raymond, Reiter | |
Contexts as relativized definition: a formalization via fixed points | 1998 | Gianni, Amati; PIRRI ARDIZZONE, Maria Fiora | |
An approach to Perception in Theory of Actions: Part I. | 1999 | PIRRI ARDIZZONE, Maria Fiora; Alberto, Finzi | |
Logical foundations for cognitive agents: contributions in honor of Ray Reiter | 1999 | Hector, Levesque; PIRRI ARDIZZONE, Maria Fiora | |
Default Logic and Purity of Reasoning | 1999 | Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora | |
A preliminary approach to Perception in Theory of Action | 1999 | Alberto, Finzi; PIRRI ARDIZZONE, Maria Fiora | |
Some contributions to the metatheory of the Situation Calculus | 1999 | PIRRI ARDIZZONE, Maria Fiora; Ray, Reiter | |
Algorithms for selective enumeration of prime implicants | 1999 | Luigi, Palopoli; PIRRI ARDIZZONE, Maria Fiora; Clara, Pizzuti | |
A System Integrating high and low level planning of complex tasks with a 3 dimensional visualizer | 1999 | Alberto, Finzi; PIRRI ARDIZZONE, Maria Fiora; Schaerf, Marco | |
Open World Planning in the Situation Calculus | 2000 | Alberto, Finzi; PIRRI ARDIZZONE, Maria Fiora; Raymond, Reiter | |
ArmHandØ: a mobile manipulator for the blocks world | 2000 | Gianfranco, Piazzolla; Milko, Vaccaro; Alberto, Finzi; PIRRI ARDIZZONE, Maria Fiora | |
Planning with natural action in the situation calculus | 2001 | PIRRI ARDIZZONE, Maria Fiora; Raymond, Reiter |
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