4370 search results - page 286 / 874 » Algebra of Logic Programming |
107
click to vote
TACS
1994
Springer
15 years 4 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
87
Voted
JMLR
2006
15 years 20 days ago
2006
In this paper, we propose a new representation for physical control
110
Voted
PPDP
2004
Springer
15 years 6 months ago
2004
Springer
The new generic scheme CFLP(D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given ...
125
Voted
IPPS
1999
IEEE
15 years 5 months ago
1999
IEEE
By managing network resources at compile time, the compiled communication technique greatly improves the communication performance for communication patterns that are known at com...
133
Voted
JAIR
2012
13 years 3 months ago
2012
Circumscription and logic programs under the stable model semantics are two wellknown nonmonotonic formalisms. The former has served as a basis of classical logic based action for...