Roman Bartak, Petr Stepánek  Home/Search
Context Related
| kti.ms.mff.cuni.cz/~b...MI_ES_PAP96.pdf 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: kti.ms.mff.cuni.cz/~bart...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Meta-programming is a well-known technique widely used in logic programming and artificial intelligence. Meta-interpreters are powerful tools especially for writing expert systems in general and for writing their inference machines in particular. While the classical approach to meta-interpretation is based on the syntactic definition of a meta-interpreter, new approach presented in this paper corresponds more to the meaning of the prefix meta. We analyze the structure of expert systems... (Update)
Context of citations to this paper: More
...and flat constraint solvers. To express the ideas of proposed plug in architecture we utilize the concept of a mega interpreter [1, 2]. The kernel of the architecture includes a meta interpreter or, more generally, a core system exploiting constraint hierarchies. The...
Cited by: More
Plug-In Architecture of Constraint Hierarchy Solvers - Bartak (1997) (Correct)
Expert Systems Based On Constraints - Bartak (1997) (Correct)
A Generalized Algorithm for Solving Constraint Hierarchies - Bartak (Correct)
Similar documents (at the sentence level):
75.5%: Extendible Meta-Interpreters - Bartak, Stepánek (Correct)
17.1%: Meta-Interpreters and Expert Systems - Bartak, Stepánek (Correct)
10.1%: Unknown - (Correct)
Active bibliography (related documents): More All
0.4: Development of a Prolog Tracer by Stepwise Enhancement - Lakhotia, Sterling.. (1995) (Correct)
0.4: Constructive Negation in CLP(H) - Bartak (Correct)
0.3: Abstract Metaprolog Engine - Cicekli (1994) (Correct)
Similar documents based on text: More All
0.4: A Formalization of Metaprogramming for Real - Levi, Ramundo (1993) (Correct)
0.3: Chain Programs for Writing Deterministic Metainterpreters - Rosenblueth (Correct)
0.3: Dynamic Global Constraints - In Backtracking Based (2002) (Correct)
Related documents from co-citation: More All
3: An incremental algorithm for satisfying hierarchies of multi-way dataflow constr.. - Zanden - 1996
3: Department of Computer Science and Engineering (context) - Wilson - 1992
3: Constraint Satisfaction in Logic Programming (context) - van Hentenryck - 1990
BibTeX entry: (Update)
Bartk, R. and tpnek, P., Mega-Interpreters and Expert Systems, presented at PAP'96, London, April 1996 http://citeseer.ist.psu.edu/bartak96megainterpreters.html More
@misc{ bartk96megainterpreters,
author = "R. Bartk and P. tpnek",
title = "Mega-Interpreters and Expert Systems",
text = "Bartk, R. and tpnek, P., Mega-Interpreters and Expert Systems, presented
at PAP'96, London, April 1996",
year = "1996",
url = "citeseer.ist.psu.edu/bartak96megainterpreters.html" }
Citations (may not include all citations):363 Programming in Prolog (context) - Clocksin, Mellish - 1981
151 Problem-Solving Methods in Artificial Intelligence (context) - Nilsson - 1971
47 and Shapiro (context) - Sterling - 1986
38 Applying Techniques to Skeletons - Sterling, Kirschenbaum - 1993
21 Meta-Programming in Logic Programming (context) - Abramson, Rogers - 1989
19 Composing Prolog Meta-Interpreters (context) - Sterling, Lakhotia - 1988
8 Expert Systems for Experts (context) - Parsaye, Chignell - 1988
7 Meta-Interpreters: The Flavors of Logic Programming (context) - Sterling - 1986
7 An Integrated Interpreter for Explaining PROLOG's Successes .. (context) - Yalinalp, Sterling - 1988
6 Department of Computer Science (context) - Bartk, tpnek - 1995
6 Composition Based on Skeletons and Techniques - Sterling, Jain et al.
5 Constructing Meta-Interpreters for Logic Programs (context) - Sterling - 1988
4 Towards Reusability Based Upon Similar Computational Behavio.. (context) - Jain, Sterling et al. - 1995
4 Development of a Prolog Tracer by Stepwise Enhancement - Lakhotia, Sterling et al. - 1995
4 Meta-interpretation of Logic Programs (context) - Bartk - 1993
Documents on the same site (http://kti.ms.mff.cuni.cz/~bartak/clp/papers.html): More
A Generalized Framework for Constraint Planning - Bartak (1997) (Correct)
Plug-In Architecture of Constraint Hierarchy Solvers - Bartak (1997) (Correct)
Meta-Interpreters and Expert Systems - Bartak, Stepánek (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