Exploiting Program Schemata in a Prolog Tutoring System (1993)

Cached

Download Links

by Timothy S. Gegg-harrison , Timothy S. Gegg-harrison
Citations:8 - 3 self

Active Bibliography

17 Learning Logical Exceptions In Chess – Michael Bain - 1994
Christ Jesus, our Lord and Savior. PREDICATE ANSWER SET PROGRAMMING WITH COINDUCTION – Richard Kyunglib Min, Haim Schweitzer, Richard Kyunglib Min, Mi Min, Samuel Underwood - 2009
6 SLT-resolution for the well founded semantics – Yi-dong Shen, Li-yan Yuan, Jia-huai You - 2002
20 Algebra of logic programming – Silvija Seres - 1999
65 Fundamentals Of Deductive Program Synthesis – Zohar Manna, Richard Waldinger - 1992
Ai Miei Genitori Ii – Acknowledgements First Would, Cesare Stefanelli, Franco Zambonelli
5 Non-monotonic Reasoning vs. Logic Programming: A New Perspective – Teodor C. Przymusinski - 1987
10 Logic Programming, Functional Programming, and Inductive Definitions – Lawrence C. Paulson, Lawrence C. Paulson, Andrew W. Smith, Andrew W. Smith - 1991
20 Towards Effective Evaluation of General Logic Programs – Weidong Chen, David S. Warren - 1993
245 Logic Programming and Negation: A Survey – Krzysztof R. Apt, Roland Bol - 1994
A Tutorial on the Well-Founded Semantics – Allen Van Gelder - 1997
57 Disjunctive Deductive Databases – José Alberto Fernández, Jack Minker - 1994
208 The Alternating Fixpoint of Logic Programs with Negation – Allen Van Gelder - 1995
11 Common-sense axiomatizations for logic programs – Allen Van Gelder, John S. Schlipf - 1993
16 Disjunctive Logic Programming: A Survey And Assessment – Jack Minker, Dietmar Seipel - 2002
850 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
260 Tabled Evaluation with Delaying for General Logic Programs – Weidong Chen, David S. Warren - 1996
5 Evolution of Rule-Based Programs – Ralf Lämmel - 2004
224 Logic Programming and Knowledge Representation – Chitta Baral, Michael Gelfond - 1994