4595 search results - page 27 / 919 » Reasoning about Plans |
124
click to vote
ICECCS
2002
IEEE
15 years 9 months ago
2002
IEEE
When a new component is added to an existing, distributed system, it has to co-operate with existing components in a way that doesn’t interfere badly with the original system. A...
157
click to vote
ECAI
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Representing and reasoning about orientation information is an important aspect of qualitative spatial reasoning. We present a novel approach for dealing with intrinsic o...
133
click to vote
APLAS
2010
ACM
15 years 4 months ago
2010
ACM
We describe an approach to using one logic to reason about specifications written in a second logic. One level of logic, called the "reasoning logic", is used to state th...
133
click to vote
AAAI
2000
15 years 5 months ago
2000
This paper demonstrates qualitative spatial reasoning techniques in a real-world diagrammatic reasoning task: Course-of-Action (COA) diagrams. COA diagrams are military planning d...
119
click to vote
CI
1998
15 years 4 months ago
1998
A rational agent (artificial or otherwise) residing in a complex changing environment must gather information perceptually, update that information as the world changes, and combi...