LANZARONE, GAETANO AURELIO
LANZARONE, GAETANO AURELIO
DIPARTIMENTO DI SCIENZE TEORICHE E APPLICATE
A formal definition and sound implementation of analogical reasoning in logic programming
1995-01-01 Costantini, S.; Lanzarone, GAETANO AURELIO; Sbarbaro, L.
A metalogic programming approach: Language semantics and applications
1994-01-01 Costantini, S.; Lanzarone, GAETANO AURELIO
Analogical Reasoning in Reflective Prolog
1992-01-01 Costantini, S.; Lanzarone, GAETANO AURELIO
Asserting Lemmas in the Stable Model Semantics
1996-01-01 Costantini, S.; Lanzarone, GAETANO AURELIO; Magliocco,
autonomous semi-reactive agent design based on incremental inductive learning in logic programming
1997-01-01 Balduccini, M.; Lanzarone, GAETANO AURELIO
Computational Meta-languages: Theory and Applications
2003-01-01 Lanzarone, GAETANO AURELIO
Computational Reflection, Machines and Minds
2009-01-01 Lanzarone, GAETANO AURELIO
Computing and Philosophy: in Search of a New Agenda
2007-01-01 Lanzarone, GAETANO AURELIO
Cosa vogliono i computer da noi?
2006-01-01 Lanzarone, GAETANO AURELIO
Elaborazione di oggetti visuali in ambito biomedico
2008-01-01 Binaghi, Elisabetta; Lanzarone, GAETANO AURELIO; Raspanti, Mario
Etica dell'informatica e della comunicazione in rete
2005-01-01 Lanzarone, GAETANO AURELIO
Experiments in Answer Sets Planning
2000-01-01 Balduccini, M.; Brignoli, G.; Lanzarone, GAETANO AURELIO; Magni, F.; Provetti, A.
Explanation-Based Interpretation of Open-Textured Concepts in Logical Models of Legislation
1995-01-01 Costantini, S.; Lanzarone, GAETANO AURELIO
Explanation-Based Learning of Open-Texture Predicates in Logic Programming Models of Law
1994-01-01 Bertarello, S.; Costantini, S.; Lanzarone, GAETANO AURELIO
Extending Explanation-Based Generalization with Metalogic Programming
1994-01-01 Bertarello, S.; Costantini, S.; Lanzarone, GAETANO AURELIO
Extending Horn Clause Theories by Reflection Principles
1994-01-01 Costantini, S.; Dell'Acqua, P.; Lanzarone, GAETANO AURELIO
Geospatial Knowledge Processing for Natural Resource Management - Special Issue
2003-01-01 Binaghi, Elisabetta; Belward, A.; Brivio, P. A.; Lanzarone, GAETANO AURELIO; Tosi, G.
Integrating Reflection into SLD-Resolution
1994-01-01 Barklund, J.; Costantini, S.; Dell'Acqua, P.; Lanzarone, GAETANO AURELIO
Internet, musei virtuali e conoscenza del territorio
2004-01-01 Lanzarone, GAETANO AURELIO; Binaghi, Elisabetta
Is Computer Ethics Computable?
2008-01-01 Lanzarone, GAETANO AURELIO; Gobbo, F.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A formal definition and sound implementation of analogical reasoning in logic programming | 1-gen-1995 | Costantini, S.; Lanzarone, GAETANO AURELIO; Sbarbaro, L. | |
| A metalogic programming approach: Language semantics and applications | 1-gen-1994 | Costantini, S.; Lanzarone, GAETANO AURELIO | |
| Analogical Reasoning in Reflective Prolog | 1-gen-1992 | Costantini, S.; Lanzarone, GAETANO AURELIO | |
| Asserting Lemmas in the Stable Model Semantics | 1-gen-1996 | Costantini, S.; Lanzarone, GAETANO AURELIO; Magliocco, | |
| autonomous semi-reactive agent design based on incremental inductive learning in logic programming | 1-gen-1997 | Balduccini, M.; Lanzarone, GAETANO AURELIO | |
| Computational Meta-languages: Theory and Applications | 1-gen-2003 | Lanzarone, GAETANO AURELIO | |
| Computational Reflection, Machines and Minds | 1-gen-2009 | Lanzarone, GAETANO AURELIO | |
| Computing and Philosophy: in Search of a New Agenda | 1-gen-2007 | Lanzarone, GAETANO AURELIO | |
| Cosa vogliono i computer da noi? | 1-gen-2006 | Lanzarone, GAETANO AURELIO | |
| Elaborazione di oggetti visuali in ambito biomedico | 1-gen-2008 | Binaghi, Elisabetta; Lanzarone, GAETANO AURELIO; Raspanti, Mario | |
| Etica dell'informatica e della comunicazione in rete | 1-gen-2005 | Lanzarone, GAETANO AURELIO | |
| Experiments in Answer Sets Planning | 1-gen-2000 | Balduccini, M.; Brignoli, G.; Lanzarone, GAETANO AURELIO; Magni, F.; Provetti, A. | |
| Explanation-Based Interpretation of Open-Textured Concepts in Logical Models of Legislation | 1-gen-1995 | Costantini, S.; Lanzarone, GAETANO AURELIO | |
| Explanation-Based Learning of Open-Texture Predicates in Logic Programming Models of Law | 1-gen-1994 | Bertarello, S.; Costantini, S.; Lanzarone, GAETANO AURELIO | |
| Extending Explanation-Based Generalization with Metalogic Programming | 1-gen-1994 | Bertarello, S.; Costantini, S.; Lanzarone, GAETANO AURELIO | |
| Extending Horn Clause Theories by Reflection Principles | 1-gen-1994 | Costantini, S.; Dell'Acqua, P.; Lanzarone, GAETANO AURELIO | |
| Geospatial Knowledge Processing for Natural Resource Management - Special Issue | 1-gen-2003 | Binaghi, Elisabetta; Belward, A.; Brivio, P. A.; Lanzarone, GAETANO AURELIO; Tosi, G. | |
| Integrating Reflection into SLD-Resolution | 1-gen-1994 | Barklund, J.; Costantini, S.; Dell'Acqua, P.; Lanzarone, GAETANO AURELIO | |
| Internet, musei virtuali e conoscenza del territorio | 1-gen-2004 | Lanzarone, GAETANO AURELIO; Binaghi, Elisabetta | |
| Is Computer Ethics Computable? | 1-gen-2008 | Lanzarone, GAETANO AURELIO; Gobbo, F. |