2034 search results - page 12 / 407 » Declarative Agent Control |
121
Voted
PADL
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Prospective Logic Programming is a declarative framework supporting the specification of autonomous agents capable of anticipating and reasoning about hypothetical futur...
108
Voted
EPIA
2005
Springer
15 years 7 months ago
2005
Springer
This paper investigates the notion of subgoals as used in plans in cognitive agent programming languages. These subgoals form act representation of more concrete courses of action ...
118
click to vote
WOA
2000
15 years 3 months ago
2000
This paper presents a language for coordinating several logic-based agents capable of abductive reasoning. The system is particularly suited for solving problems with incomplete k...
138
Voted
PEPM
2004
ACM
15 years 7 months ago
2004
ACM
The use of partial evaluation for specializing programs written in imperative languages such as C and Java is hampered by the difficulty of controlling the specialization process....
129
Voted
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents three types of declarative goals: perform goals, achieve goals, and maintain goals. The integration of these goal types in a simple but extendable logic-based a...