Sciweavers

3566 search results - page 175 / 714
» Signed Logic Programs
Sort
View
PODS
1992
ACM
96views Database» more  PODS 1992»
15 years 3 months ago
The Valid Model Semantics for Logic Programs
Catriel Beeri, Raghu Ramakrishnan, Divesh Srivasta...
ELP
1989
15 years 3 months ago
A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
BSTRACTION, FUNCTION VARIABLES, AND SIMPLE UNIFICATION: Abstract Draft, 20 September 1989 Dale Miller Department of Computer and Information Science University of Pennsylvania Phil...
Dale Miller