LANZARONE, GAETANO AURELIO

LANZARONE, GAETANO AURELIO  

DIPARTIMENTO DI SCIENZE TEORICHE E APPLICATE  

Mostra records
Risultati 1 - 20 di 34 (tempo di esecuzione: 0.068 secondi).
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.