43 search results - page 1 / 9 » Situation Calculus Based Programs for Representing and Reaso... |
193
Voted
KR
2010
Springer
16 years 7 days ago
2010
Springer
183
click to vote
SPATIALCOGNITION
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. We present first ideas on how results about qualitative spatial reasoning can be exploited in reasoning about action and change. Current work concentrates on a line segm...
228
click to vote
IJCAI
1997
15 years 8 months ago
1997
As an alternative to planning, an approach to highlevel agent control based on concurrent program execution is considered. A formal definition in the situation calculus of such a ...
180
click to vote
AAAI
2007
15 years 9 months ago
2007
This paper presents a logical axiomatization of bargaining solutions. A bargaining situation is described in propositional logic and the bargainers’ preferences are quantified ...
198
Voted
ECAI
2004
Springer
16 years 25 days ago
2004
Springer
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...