4595 search results - page 104 / 919 » Reasoning about Plans |
131
click to vote
LPNMR
2007
Springer
16 years 13 days ago
2007
Springer
We introduce the logic-based planning language Kc as an extension of K [5]. Kc
162
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
This article presents a general framework for integrating reasoning about object structure and concept taxonomies. The structural relations in the domain of objects discussed are ...
133
click to vote
FLAIRS
2008
15 years 8 months ago
2008
In this paper we describe a class of a problem of goal satisfaction in mutual exclusion network that can be solved in polynomial time. This problem provides a common basis for rea...
153
click to vote
ICCBR
1995
Springer
15 years 9 months ago
1995
Springer
In this work, we are interested in how rational decision makers reason with and about reasons in a domain, practical ethics, where they appear to reason asons symbolically in terms...
150
click to vote
AAAI
2007
15 years 8 months ago
2007
This paper presents a formalism to describe practical reasoning in terms of an Action-based Alternating Transition System (AATS). The starting point is a previously specified acc...