351 search results - page 7 / 71 » Logic Programs with Compiled Preferences |
KR
1994
Springer
14 years 20 days ago
1994
Springer
In this paper we describe REVISE, an extended logic programming system for revising knowledge bases. REVISE is based on logic programming with explicit negation, plus a two-valued...
JELIA
2000
Springer
14 years 5 days ago
2000
Springer
We present a framework for decision making with the possibility to express circumstance-dependent preferences among different alternatives for a decision. This new formalism, Order...
FROCOS
2000
Springer
14 years 6 days ago
2000
Springer
This paper describes a high-level implementation of the concurrent constraint functional logic language Curry. The implementation, directed by the lazy pattern matching strategy of...
JELIA
2004
Springer
14 years 1 months ago
2004
Springer
ICLP
1998
Springer
14 years 24 days ago
1998
Springer
