104 search results - page 11 / 21 » Knowledge and observations in the situation calculus |
AAAI
2000
13 years 8 months ago
2000
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify th...
KBS
2011
13 years 2 months ago
2011
Order-sorted logic is a useful tool for knowledge representation and reasoning because it enables representation of sorted terms and formulas along with partially ordered sorts (c...
CORR
2011
Springer
12 years 11 months ago
2011
Springer
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify t...
CONTEXT
2007
Springer
14 years 1 months ago
2007
Springer
The paper focuses on a difficult problem when formalizing knowledge: What about the possible concepts that didn’t make it into the formalization? We call such concepts the uncons...
EUROMICRO
2004
IEEE
13 years 11 months ago
2004
IEEE
Communication plays a central in our society. It affects our private lives as well as business activities. Humans usually observe the environment and the communication partner wit...