3505 search results - page 125 / 701 » A Language for Human Action |
179
click to vote
AI
2011
Springer
14 years 11 months ago
2011
Springer
Abstract McCarthy’s Situation Calculus is arguably the oldest special-purpose knowledge representation formalism, designed to axiomatize knowledge of actions and their effects. ...
113
click to vote
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
One important aspect in directing cognitive robots or agents is to formally specify what is expected of them. This is often referred to as goal specification. For agents whose act...
160
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Multiagent environments are often highly dynamic and only partially observable which makes deliberative action planning computationally hard. In many such environments, however, a...
125
click to vote
AIPS
2000
15 years 6 months ago
2000
We develop an algorithm for merging plans that are represented in a richly expressive language. Speci cally, weare concerned with plans that have i quantitative temporal constrain...
133
click to vote
LPAR
2005
Springer
15 years 10 months ago
2005
Springer
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...