Stefania Costantini, Pierangelo Dell'Acqua, Gaetano A. Lanzarone  Home/Search
Context Related
| csd.uu.se/pub/papers/repor...0095.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: csd.uu.se/papers/longreports (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper, we introduce logical reflection as a principled way to empower the representation and reasoning capabilities of logic programming systems. In particular, reflection principles take the role of axiom schemata of a particular form that, once added to a given logic program (the basic theory, or the initial axioms), enlarge the set of consequences sanctioned by those initial axioms. The main advantage of this approach is that it is much easier to write a basic theory and then to... (Update)
Context of citations to this paper: More
...applications. Another interesting direction for future work is to introduce reflection mechanisms, as for instance those studied in [1, 11, 22], in order to integrate meta level and object level derivations in the specialised programs. This could allow us to further improve...
.... rules or linking rules (cf. the discussions by Giunchiglia, Serafini Simpson [18] and Costantini, Dell Acqua Lanzarone [15]) However, in Sect. 4.3 we will present two reflection rules corresponding to the two implications of the theoremhood reflection...
Cited by: More
Reflection Principles in Computational Logic - Barklund, Dell'Acqua, Costantini (1997) (Correct)
A Program Specialiser for Meta-level Compositions of Logic.. - Brogi, Contiero (1996) (Correct)
Semantical Properties of Encodings in Logic Programming - Barklund, Costantini.. (1995) (Correct)
Active bibliography (related documents): More All
0.6: A Basis for a Multilevel Metalogic Programming Language - Barklund, Boberg, Dell'Acqua (1994) (Correct)
0.4: Meta-reasoning: a Survey - Costantini (2002) (Correct)
0.4: Metareasoning Agents For Query-Answering Systems - Barklund, Dell'Acqua.. (Correct)
Similar documents based on text: More All
0.5: A Formal Definition and a Sound Implementation of.. - Costantini, Lanzarone (Correct)
0.4: Static Semantics as Program Transformation and.. - Costantini, Lanzarone (1995) (Correct)
0.2: Planning Experiments in the DALI Logic Programming Language - Costantini, Tocchio (Correct)
Related documents from co-citation: More All
4: The Godel Programming Language (context) - Hill, Lloyd - 1994
4: Foundations of Logic Programming (context) - Lloyd - 1987
4: Analysis of meta-programs (context) - Hill, Lloyd - 1988
BibTeX entry: (Update)
S. Costantini, P. Dell'Acqua, and G. A. Lanzarone. Extending Horn Clauses Theories by Reflection Principles. In M. C. MacNish, D. Pearce, and L. M. Pereira, editors, Lecture Notes in Artificial Intelligence n.838, pages 400--413. Springer-Verlag, 1994. http://citeseer.ist.psu.edu/costantini95extending.html More
@inproceedings{ costantini94extending,
author = "Stefania Costantini and Pierangelo Dell'Acqua and Gaetano Aurelio Lanzarone",
title = "Extending Horn Clause Theories by Reflection Principles",
booktitle = "Logics in Artificial Intelligence",
pages = "400-413",
year = "1994",
url = "citeseer.ist.psu.edu/costantini95extending.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
42 Problems and Promises of Computational Logic (context) - Kowalski - 1990
24 Transfinite Recursive Progressions of Axiomatic Theories (context) - Feferman - 1962
21 Meta-Programming in Logic Programming (context) - Abramson, Rogers - 1989
11 Reflective Agents in Metalogic Programming (context) - Costantini, Dell'Acqua et al. - 1992
8 Reasoning by Analogy as a Partial Identity between Models (context) - Haraguchi, Arikawa - 1987
5 Amalgamating Language and Metalanguage (context) - Bowen, Kowalski - 1982
4 Communication of the Association for Computing Machinery (context) - Winston, Reasoning - 1980
3 Metalevel Negation in Non-Monotonic Reasoning (context) - Costantini, Lanzarone - 1990
3 A Formal Definition and a Sound Implementation of Analogical.. - Costantini, Lanzarone et al.
2 Reflection through Constraint Satisfaction (context) - Barklund, Costantini et al.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.csd.uu.se/papers/long-reports.html): More
Providing Iteration and Concurrency in Logic Programs.. - Barklund, Millroth (1994) (Correct)
Hash Tables in Logic Programming - Barklund, Millroth (1987) (Correct)
The Impact of Structure Analysis on Prolog Compilation - Lindgren (1996) (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