|
8
|
Analysis and Transformation of Proof Procedures
– David André de Waal
- 1994
|
|
2
|
Learning and Deduction in Neural Networks and Logic
– Ekaterina Komendantskaya
- 2007
|
|
7
|
Efficient Evaluation of Normal Logic Programs
– Terrance Swift
- 1994
|
|
|
Analysis and Transformation of Logic Programs
– Kjell Erik Post
- 1994
|
|
4
|
Resolution for Logic Programming with Universal Quantifiers
– Antony F. Bowers, Patricia M. Hill, Francisco Ibañez
- 1997
|
|
18
|
Creating Specialised Integrity Checks Through Partial Evaluation Of Meta-Interpreters
– Michael Leuschel, Danny De Schreye
- 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
|
|
43
|
Meta-Programming in Logic Programming
– P.M. Hill, J.G. Gallagher, P. M. Hill, J. Gallagher
- 1994
|
|
5
|
Evolution of Rule-Based Programs
– Ralf Lämmel
- 2004
|
|
2
|
Typing Constraint Logic Programs
– Francois Fages, Emmanuel Coquery
|
|
1
|
Evaluating Reasoning Systems
– Conrad Bock, Michael Gruninger, Don Libes, Joshua Lubell, Eswaran Subrahmanian
- 2006
|
|
|
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments
– Claus Reinke
- 1998
|
|
6
|
Typed static analysis: Application to groundness analysis of Prolog and lambda-Prolog
– Olivier Ridoux, Patrice Boizumault
- 1999
|
|
48
|
1983--1993: The Wonder Years of Sequential Prolog Implementation
– Peter Van Roy
- 1993
|
|
94
|
How to Declare an Imperative
– Philip Wadler
- 1995
|
|
19
|
Partial Deduction of the Ground Representation and its Application to Integrity Checking
– Michael Leuschel, Bern Martens
- 1995
|
|
4
|
A Denotational Semantics for First-Order Logic
– Krzysztof R. Apt
- 2000
|
|
37
|
Querying Nested Collections
– Limsoon Wong
- 1994
|
|
|
Logic and Abstraction, Verification and Falsification
– Jan-georg Smaus
- 2008
|
