The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gaetano Aurelio Lanzarone: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. S. Bertarello, Stefania Costantini, Gaetano Aurelio Lanzarone
    Extending Explanation-Based Generalization with Metalogic Programming. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE (2), 1994, pp:16-31 [Conf]
  2. D. Concari, Stefania Costantini, Gaetano Aurelio Lanzarone
    Caratteristiche e Aspetti Implementativi della Negazione di Metalivello in Reflective Prolog. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:285-300 [Conf]
  3. Gaetano Aurelio Lanzarone, Alessandro Provetti
    Processing Temporal and Atemporal Declarative Knowledge in Metalogic Programming. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1998, pp:201-214 [Conf]
  4. Stefania Costantini, Gaetano Aurelio Lanzarone
    Metalevel Represantation of Analogical Inference. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1991, pp:460-464 [Conf]
  5. G. Comparin, Gaetano Aurelio Lanzarone, Kurt Lautenbach, Anastasia Pagnoni, W. Panzeri, A. Torgano
    Guidelines on using net analysis techniques with large specifications. [Citation Graph (0, 0)][DBLP]
    Applications and Theory in Petri Nets, 1985, pp:142-161 [Conf]
  6. Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone
    Multiple Metareasoning Agents for Flexible Query-Answering Systems. [Citation Graph (0, 0)][DBLP]
    FQAS, 1996, pp:155-166 [Conf]
  7. Giorgio De Michelis, Gaetano Aurelio Lanzarone, Carla Simone
    Program Proving: Exit and Return Jumps in Structured Programs. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1976, pp:121-132 [Conf]
  8. Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone
    Semantical Properties of SLD-Resolution with Reflection. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:830- [Conf]
  9. Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone
    Reflection through Constraint Satisfaction. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:742- [Conf]
  10. Stefania Costantini, Gaetano Aurelio Lanzarone
    A Metalogic Programming Language. [Citation Graph (0, 0)][DBLP]
    ICLP, 1989, pp:218-233 [Conf]
  11. Stefania Costantini, Gaetano Aurelio Lanzarone, Giuseppe Magliocco
    Asserting Lemmas in the Stable Model Semantics. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1996, pp:438-452 [Conf]
  12. Giorgio De Michelis, Gaetano Aurelio Lanzarone, Carla Simone
    More Flexible and Powerful Control Constructs for Structured Programming. [Citation Graph (0, 0)][DBLP]
    International Computing Symposium, 1977, pp:135-142 [Conf]
  13. Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone
    Extending Horn Clause Theories by Reflection Principles. [Citation Graph (0, 0)][DBLP]
    JELIA, 1994, pp:400-413 [Conf]
  14. Stefania Costantini, Gaetano Aurelio Lanzarone
    On Procedural Semantics of Metalevel Negation. [Citation Graph (0, 0)][DBLP]
    RCLP, 1991, pp:140-151 [Conf]
  15. Stefania Costantini, Gaetano Aurelio Lanzarone
    Metalevel Negation in Non-Monotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1990, pp:19-26 [Conf]
  16. Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone
    Reflective Agents in Metalogic Programming. [Citation Graph (0, 0)][DBLP]
    META, 1992, pp:135-147 [Conf]
  17. Marcello Balduccini, G. Brignoli, Gaetano Aurelio Lanzarone, F. Magni, Alessandro Provetti
    Experiments in Answer Sets Planning. [Citation Graph (0, 0)][DBLP]
    MICAI, 2000, pp:95-107 [Conf]
  18. Stefania Costantini, Gaetano Aurelio Lanzarone
    Static Semantics as Program Transformation and Well-founded Computation. [Citation Graph (0, 0)][DBLP]
    NMELP, 1994, pp:156-180 [Conf]
  19. Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone
    SLD - Resolution with Reflection. [Citation Graph (0, 0)][DBLP]
    SLP, 1994, pp:554-568 [Conf]
  20. Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone
    Semantical Properties of Encodings in Logic Programming. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:288-302 [Conf]
  21. Stefania Costantini, Gaetano Aurelio Lanzarone
    Explanation-Based Interpretation of Open-Textured Concepts in Logical Models of Legislation. [Citation Graph (0, 0)][DBLP]
    Artif. Intell. Law, 1995, v:3, n:3, pp:191-208 [Journal]
  22. Stefania Costantini, Gaetano Aurelio Lanzarone, L. Sbarbaro
    A formal definition and a sound implementation of analogical reasoning in logic programming. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1995, v:14, n:1, pp:- [Journal]
  23. Gaetano Aurelio Lanzarone, Mario Ornaghi
    Program Construction by Refinements Preserving Correctness. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1975, v:18, n:1, pp:55-62 [Journal]
  24. Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone
    Reflection principles in computational logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2000, v:10, n:6, pp:743-786 [Journal]

Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002