3624 search results - page 56 / 725 » Abstract Algebraic Logic |
151
click to vote
AAAI
2004
15 years 7 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 (...
126
click to vote
ELP
1989
15 years 10 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
16 years 6 days ago
2007
Springer