6554 search results - page 381 / 1311 » Constraint Logic Programming |
160
click to vote
CP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In many situations, a set of hard constraints encodes the feasible configurations of some system or product over which users have preferences. We consider the problem of...
179
click to vote
ESOP
1992
Springer
15 years 10 months ago
1992
Springer
Dynamic typing is a program analysis targeted at removing runtime tagging and untagging operations from programs written in dynamically typed languages. This paper compares dynami...
167
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
This paper introduces a new design method for multi-agent systems (MAS) that incorporate logic programming. The DigitalFriend is an example of a MAS with a built-in logic language...
143
click to vote
CP
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We introduce a new approach for focusing constraint reasoning using so-called streamlining constraints. Such constraints partition the solution space to drive the search ...
205
click to vote
AUSAI
2005
Springer
16 years 7 days ago
2005
Springer
In this paper, I will show how a controlled natural language can be used to describe knowledge for the Semantic Web and discuss the formal properties of this language. At the firs...