Stefan Schrödl  Home/Search
Context Related
| informatik.unifreibur...report66.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: informatik.unifreiburg.de/tr/... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Implementations of Explanation-Based Generalization (EBG) within a logic-programming environment, as e.g. the well-known PROLOGEBG algorithm [KCMcC87], are able to generalize the proof of a goal from a definite (i.e. Horn clause) domain theory. However, it is a fact that practical applications frequently require the enhanced expressiveness of negations in rule bodies. Specifically, this is the case for the domain of game playing, where traditional EBG has turned out to be inadequate [Ta89]. In... (Update)
Similar documents based on text: More All
0.8: Explanation-Based Interpretation of Open-Textured Concepts .. - Costantini, Lanzarone (Correct)
0.3: Explanation-Based Reuse of Prolog Programs - Koga, Hirowatari, Arikawa (Correct)
0.3: Incorporating Explanation-Based Generalization with.. - Hirowatari, Arikawa (1994) (Correct)
BibTeX entry: (Update)
Schr95 Schrodl, S., An Extension of Explanation-Based Generalization to Negation as Failure, Proc. of the 19th Annual German Conference on Artificial Intelligence, Bielefeld, LNAI Vol. 981, Springer, (1995), pp 65-76 http://citeseer.ist.psu.edu/schrodl94extension.html More
@misc{ schrodl95extension,
author = "S. Schrodl",
title = "An Extension of Explanation-Based Generalization to Negation as Failure",
text = "Schr95 Schrodl, S., An Extension of Explanation-Based Generalization to
Negation as Failure, Proc. of the 19th Annual German Conference on Artificial
Intelligence, Bielefeld, LNAI Vol. 981, Springer, (1995), pp 65-76",
year = "1995",
url = "citeseer.ist.psu.edu/schrodl94extension.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
759 Negation as Failure (context) - Clark - 1978
371 ExplanationBased Generalization: A Unifying View (context) - Mitchell, Keller et al. - 1986
224 Partial Evaluation in Logic Programming (context) - Lloyd, Shepherdson - 1991
139 Fold Transformations of Logic Programs (context) - Tamaki, Sato - 1984
112 The Art of Prolog: Advanced Programming Techniques (context) - Sterling, Shapiro - 1986
71 A Treatment of Negation during Partial Evaluation (context) - Chan, Wallace - 1989
58 Explanation-based Generalization in a Logic Programming Envi.. (context) - Hirsh - 1987
48 Constraint-Based Generalization: Learning GamePlaying Plans .. (context) - Minton - 1984
35 Failsafe: A Floor Planner that Uses EBG to Learn from its Fa.. (context) - Mostow, Bhatnagar - 1987
29 Lazy Explanation-Based Learning: A Solution to the Intractab.. (context) - Tadepalli - 1989
24 Preservation of Stronger Equivalence in Unfold/Fold Logic Pr.. (context) - Kawamura, Kanamori - 1988
13 Selecting Appropriate Representations for Learning from Exam.. (context) - Flann, Dietterich - 1986
12 Explanation-Based Generalization = Partial Evaluation (context) - Harmelen, Bundy - 1988
12 Explaining Temporal Differences to Create Useful Concepts fo.. - Yee, Saxena et al. - 1990
[Article contains additional citations not shown here]
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