Sfoglia per Autore LANZARONE, GAETANO AURELIO
Metalevel Representation of Analogical Inference
1991-01-01 Costantini, S.; Lanzarone, GAETANO AURELIO
On Procedural Semantics of Metalevel Negation
1992-01-01 Costantini, S.; Lanzarone, GAETANO AURELIO
Reflective Agents in Metalogic Programming
1992-01-01 Costantini, S.; Dell'Acqua, P.; Lanzarone, GAETANO AURELIO
Analogical Reasoning in Reflective Prolog
1992-01-01 Costantini, S.; Lanzarone, GAETANO AURELIO
Reification, Reflection and Ontological Promiscuity in Temporal Reasoning
1993-01-01 Costantini, S.; Lanzarone, GAETANO AURELIO; Provetti, A.
A metalogic programming approach: Language semantics and applications
1994-01-01 Costantini, S.; Lanzarone, GAETANO AURELIO
Extending Horn Clause Theories by Reflection Principles
1994-01-01 Costantini, S.; Dell'Acqua, P.; Lanzarone, GAETANO AURELIO
SLD-Resolution with Reflection
1994-01-01 Barklund, J.; Costantini, S.; Dell'Acqua, P.; Lanzarone, GAETANO AURELIO
Integrating Reflection into SLD-Resolution
1994-01-01 Barklund, J.; Costantini, S.; Dell'Acqua, P.; Lanzarone, GAETANO AURELIO
Metalevel negation and non-monotonic reasoning
1994-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
A formal definition and sound implementation of analogical reasoning in logic programming
1995-01-01 Costantini, S.; Lanzarone, GAETANO AURELIO; Sbarbaro, L.
Explanation-Based Interpretation of Open-Textured Concepts in Logical Models of Legislation
1995-01-01 Costantini, S.; Lanzarone, GAETANO AURELIO
Static Semantics as Program Transformation and Well-Founded Computation
1995-01-01 Costantini, S.; Lanzarone, GAETANO AURELIO
Semantical Properties of Encodings in Logic Programming
1995-01-01 Barklund, J.; Costantini, S.; Dell'Acqua, P.; Lanzarone, GAETANO AURELIO
Metalogic Programming
1995-01-01 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
Metareasoning Agents for Query-Answering Systems
1997-01-01 Barklund, J.; Costantini, S.; Dell'Acqua, P.; Lanzarone, GAETANO AURELIO
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Metalevel Representation of Analogical Inference | 1-gen-1991 | Costantini, S.; Lanzarone, GAETANO AURELIO | |
On Procedural Semantics of Metalevel Negation | 1-gen-1992 | Costantini, S.; Lanzarone, GAETANO AURELIO | |
Reflective Agents in Metalogic Programming | 1-gen-1992 | Costantini, S.; Dell'Acqua, P.; Lanzarone, GAETANO AURELIO | |
Analogical Reasoning in Reflective Prolog | 1-gen-1992 | Costantini, S.; Lanzarone, GAETANO AURELIO | |
Reification, Reflection and Ontological Promiscuity in Temporal Reasoning | 1-gen-1993 | Costantini, S.; Lanzarone, GAETANO AURELIO; Provetti, A. | |
A metalogic programming approach: Language semantics and applications | 1-gen-1994 | Costantini, S.; Lanzarone, GAETANO AURELIO | |
Extending Horn Clause Theories by Reflection Principles | 1-gen-1994 | Costantini, S.; Dell'Acqua, P.; Lanzarone, GAETANO AURELIO | |
SLD-Resolution with Reflection | 1-gen-1994 | Barklund, J.; Costantini, S.; Dell'Acqua, P.; Lanzarone, GAETANO AURELIO | |
Integrating Reflection into SLD-Resolution | 1-gen-1994 | Barklund, J.; Costantini, S.; Dell'Acqua, P.; Lanzarone, GAETANO AURELIO | |
Metalevel negation and non-monotonic reasoning | 1-gen-1994 | 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 | |
A formal definition and sound implementation of analogical reasoning in logic programming | 1-gen-1995 | Costantini, S.; Lanzarone, GAETANO AURELIO; Sbarbaro, L. | |
Explanation-Based Interpretation of Open-Textured Concepts in Logical Models of Legislation | 1-gen-1995 | Costantini, S.; Lanzarone, GAETANO AURELIO | |
Static Semantics as Program Transformation and Well-Founded Computation | 1-gen-1995 | Costantini, S.; Lanzarone, GAETANO AURELIO | |
Semantical Properties of Encodings in Logic Programming | 1-gen-1995 | Barklund, J.; Costantini, S.; Dell'Acqua, P.; Lanzarone, GAETANO AURELIO | |
Metalogic Programming | 1-gen-1995 | 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 | |
Metareasoning Agents for Query-Answering Systems | 1-gen-1997 | Barklund, J.; Costantini, S.; Dell'Acqua, P.; Lanzarone, GAETANO AURELIO |
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