4573 search results - page 633 / 915 » Automated Reasoning |
148
click to vote
LOPSTR
2004
Springer
15 years 9 months ago
2004
Springer
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...
130
click to vote
LOPSTR
2004
Springer
15 years 9 months ago
2004
Springer
Most logic programming languages actually provide some kind of dynamic scheduling to increase the expressive power and to control execution. Input consuming derivations have been i...
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...
132
click to vote
LPNMR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a logic programming based conditional planner that is capable of generating both conditional and sequential conformant plans in the presence of sensing actions...
134
click to vote
NMR
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we propose a survey of the use of bipolarity in argumentation frameworks, i.e. the presence of two kinds of entities (a positive entity and a negative entity). An a...