858 search results - page 68 / 172 » Planning and defeasible reasoning |
LPNMR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present a declarative language, PP, for the specification of preferences between possible solutions (or trajectories) of a planning problem. This novel language allow...
84
Voted
ISCAS
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper, we introduce a tile-graph-based approach to power planning. For a given flooplan solution, the power inputs are modeled into a tile graph, the minimum capacity of e...
114
click to vote
JAR
1998
15 years 12 days ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
102
Voted
JAIR
2010
14 years 11 months ago
2010
Narrative, and in particular storytelling, is an important part of the human experience. Consequently, computational systems that can reason about narrative can be more effective...
59
Voted
HICSS
2003
IEEE
15 years 6 months ago
2003
IEEE
A new HR system was introduced into a Dutch hospital. The system implied collaborative work among its users. The project planning seemed to be reasonably