3546 search results - page 170 / 710 » A Causal Logic of Logic Programming |
124
click to vote
LPNMR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a declarative language, PP, for the specification of preferences between possible solutions (or trajectories) of a planning problem. This novel language allow...
122
click to vote
ATAL
2006
Springer
15 years 8 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...
135
click to vote
ICLP
2005
Springer
15 years 9 months ago
2005
Springer
The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the part...
112
click to vote
ICLP
1990
Springer
15 years 8 months ago
1990
Springer
Although Warren's method for the evaluation in Prolog of expressions with higherorder functions appears to have been neglected, it is of great value. Warren's paper need...
138
click to vote
AMW
2010
15 years 5 months ago
2010
A Data Warehouse (DW) is a data repository that integrates data from multiple sources and organizes the data according to a set of data structures called dimensions. Each dimension...