Troels Andreasen, Henning Christiansen  Home/Search
Context
Related
| sunsite.informatik.rwth...andreasen.ps 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: sunsite.informatik.rwthaachen... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Metaprogramming adds new expressive power to logic programming which can be advantageous to transfer to the field of deductive databases. We propose metaprogramming as a way to model and develop new, flexible query-answering systems. (Update)
Active bibliography (related documents): More All
0.7: Meta-reasoning: a Survey - Costantini (2002) (Correct)
0.6: Deriving Declarations From Programs - Christiansen (1997) (Correct)
0.6: Reflection Principles in Computational Logic - Barklund, Dell'Acqua, Costantini (1997) (Correct)
Similar documents based on text: More All
0.5: Accomplishments and Research Challenges in Meta-Programming - Sheard (2000) (Correct)
0.4: Inductive Metalogic Programming - Hamfelt, Nilsson (1994) (Correct)
0.4: Declarative Semantics of a Meta-Programming Language - Christiansen (1990) (Correct)
BibTeX entry: (Update)
@misc{ andreasen-flexible,
author = "Troels Andreasen and Henning Christiansen",
title = "Flexible Query-Answering Systems Modelled in Metalogic Programming",
url = "citeseer.ist.psu.edu/569165.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
212 Abductive logic programming - Kakas, Kowalski et al. - 1993
182 Logic for problem solving (context) - Kowalski - 1979
48 An Overview of Cooperative Answering - Gaasterland, Godfrey et al. - 1992
38 Swedish Institute of Computer Science (context) - user's, Version - 1995
28 Cooperative Answering : a methodology to provide intelligent.. (context) - Cuppens, Demolombe - 1988
27 Relaxation as a Platform for Cooperative Answering - Gaasterland, Godfrey et al. - 1992
25 A metalogic programming language (context) - Costantini, Lanzarone - 1989
21 Meta-programming in Logic Programming (context) - Abramson, Rogers - 1989
17 Metaprogramming in Logic - Barklund - 1995
13 Meta-Logics and Logic Programming (context) - Apt, Turini - 1995
8 Automated reasoning with a constraint-based meta-interpreter (context) - Christiansen - 1996
7 Meta-programming through a truth predicate (context) - Sato - 1992
4 the Second Workshop on Metaprogramming in Logic (context) - Bruynooghe - 1990
4 Logic Program Synthesis and Transformation --- Meta-Programm.. (context) - Fribourg, Turini - 1994
2 Flexible Query-Answering Systems (context) - Christiansen, Larsen et al. - 1996
2 Methods of Logic in Computer Science (context) - Costantini, Lanzarone - 1994
2 Flexible Query-Answering Systems (context) - Larsen, Andreasen - 1994
2 Oxford Science Publications (context) - Demolombe, Imielinski - 1994
2 To be published in Volume V of Handbook of Logic in Artifici.. (context) - Hill, Gallagher - 1994
1 Third International Workshop on Metaprogramming in Logic (context) - Pettorossi - 1992
1 An experimental prototype for flexible query-answering mecha.. (context) - Andreasen, Christiansen - 1996
1 On proof predicates in logic programming. A.Momigliani and M.. (context) - Christiansen - 1994
1 for definite clause languages (context) - Christiansen - 1994
1 Harward University Press (context) - Lewis - 1973
1 A complete resolution method for logical meta-programming la.. (context) - Christiansen - 1992
1 Counterfactual exceptions in deductive database queries (context) - Andreasen, Christiansen - 1996
Documents on the same site (http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-4/): More
Terminological Reasoning and Conceptual Modeling for Datawarehouse - Rudloff (Correct)
C3L++: Implementing a Description Logics System on Top .. - Kessel, Schlick.. (Correct)
Managing Multiple Information Sources through Ontologies.. - Mena, Kashyap, al. (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