5243 search results - page 322 / 1049 » Reasoning About Strategies |
140
click to vote
FLAIRS
2004
15 years 8 months ago
2004
We apply reasoning about mental attributes to process the scenarios of multiagent conflicts. Our approach is illustrated by the domain of complaint analysis: rather advanced metho...
207
click to vote
FMOODS
2003
15 years 8 months ago
2003
This paper outlines a sound and complete Hoare logic for a sequential object-oriented language with inheritance and subtyping like Java. It describes a weakest precondition calculu...
180
click to vote
IJCAI
2003
15 years 8 months ago
2003
Information personalization is fertile ground for application of AI techniques. In this article I relate personalization to the ability to capture partial information in an informa...
186
click to vote
WOODPECKER
2001
15 years 8 months ago
2001
Maude is an executable rewriting logic language specially well suited for the specification of object-oriented open and distributed systems. In this paper we explore the possibilit...
140
click to vote
AAAI
2000
15 years 8 months ago
2000
We explore the expressive power of a recently developed qualitative region-based geometry and apply it to the problem of representing and reasoning about the motion of rigid bodie...