Sfoglia per Autore
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
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
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
Metalevel negation and non-monotonic reasoning
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
A formal definition and sound implementation of analogical reasoning in logic programming
1995-01-01 Costantini, S.; Lanzarone, GAETANO AURELIO; Sbarbaro, L.
Metalogic Programming
1995-01-01 Lanzarone, GAETANO AURELIO
Semantical Properties of Encodings in Logic Programming
1995-01-01 Barklund, J.; Costantini, S.; Dell'Acqua, P.; Lanzarone, GAETANO AURELIO
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
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 | |
| 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 | |
| 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 | |
| Metalevel negation and non-monotonic reasoning | 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 | |
| A formal definition and sound implementation of analogical reasoning in logic programming | 1-gen-1995 | Costantini, S.; Lanzarone, GAETANO AURELIO; Sbarbaro, L. | |
| Metalogic Programming | 1-gen-1995 | Lanzarone, GAETANO AURELIO | |
| Semantical Properties of Encodings in Logic Programming | 1-gen-1995 | Barklund, J.; Costantini, S.; Dell'Acqua, P.; Lanzarone, GAETANO AURELIO | |
| 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 | |
| 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