S. Costantini, P. Dell'Acqua, and G. A. Lanzarone. Extending Horn clause theories by reflection principles. In C. MacNish, D. Pearce, and L. M. Pereira, editors, Logics in Artificial Intelligence, LNAI 838, Berlin, 1994. Springer-Verlag. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
A Program Specialiser for Meta-level Compositions of Logic.. - Brogi, Contiero (1996) (2 citations) (Correct)
A Program Specialiser for Meta-level Compositions of Logic.. - Brogi, Contiero (1996) (2 citations) (Correct)
Reflection Principles in Computational Logic - Barklund, Dell'Acqua, Costantini (1997) Self-citation (Costantini Dell'acqua Lanzarone) (Correct)
Semantical Properties of Encodings in Logic Programming - Barklund, Costantini.. (1995) Self-citation (Costantini Dell'acqua Lanzarone) (Correct)
Meta-programming with Theory Systems - Jonas Barklund (1995) (6 citations) Self-citation (Dell'acqua) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC