4595 search results - page 197 / 919 » Reasoning about Plans |
170
click to vote
COMMA
2006
15 years 8 months ago
2006
In order for one agent to meet its goals, it will often need to influence another to act on its behalf, particularly in a society in which agents have heterogenous sets of abilitie...
216
click to vote
JAIR
2010
15 years 5 months ago
2010
Noisy probabilistic relational rules are a promising world model representation for several reasons. They are compact and generalize over world instantiations. They are usually in...
176
click to vote
ESWS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Despite of their advertisement as task independent representations, the reuse of ontologies in different contexts is difficult. An explanation for this is that when devel...
183
click to vote
DIAGRAMS
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. We present a brief description of the design of a diagrambased system that supports the development of thinking about mathematical generalisation. Within the software, th...
173
click to vote
FAC
1998
15 years 6 months ago
1998
In the process-algebraic veri cation of systems with three or more components put in parallel, alphabet axioms are considered to be very useful. These are rules that exploit the i...