5198 search results - page 150 / 1040 » A Logic of Agent Programs |
146
click to vote
EUROCAST
1994
Springer
15 years 8 months ago
1994
Springer
Logistic systems analysts use a wide array of modeling systems such as algebraic and logic programs. Two simple examples show how they mesh as Constraint Logic programs, emphasizin...
140
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Weighted logic programming, a generalization of bottom-up logic programming, is a successful framework for specifying dynamic programming algorithms. In this setting, pro...
156
Voted
CADE
2001
Springer
16 years 4 months ago
2001
Springer
139
click to vote
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
This paper deals with modeling mental states of a rational agent, in particular states based on agent’s desires. It shows that the world the agent belongs to forces it to restri...
121
Voted
CADE
2001
Springer
16 years 4 months ago
2001
Springer
Abstract. Nontrivial meta-complexity theorems, proved once for a programming language as a whole, facilitate the presentation and analysis of particular algorithms. This paper give...