3624 search results - page 56 / 725 » Abstract Algebraic Logic |
130
click to vote
AAAI
2004
15 years 5 months ago
2004
We propose and study extensions of logic programming with constraints represented as generalized atoms of the form C(X), where X is a finite set of atoms and C is act constraint (...
108
click to vote
ELP
1989
15 years 8 months ago
1989
BSTRACTION, FUNCTION VARIABLES, AND SIMPLE UNIFICATION: Abstract Draft, 20 September 1989 Dale Miller Department of Computer and Information Science University of Pennsylvania Phil...
CAV
2007
Springer
15 years 10 months ago
2007
Springer