Sciweavers

3379 search results - page 470 / 676
» Combinators for Interaction Nets
Sort
View
AAAI
1996
15 years 8 months ago
Reasoning about Continuous Processes
Overcoming the disadvantages of equidistant discretization of continuous actions, we introduce an approach that separates time into slices of varying length bordered by certain ev...
Christoph S. Herrmann, Michael Thielscher
AIPS
1996
15 years 8 months ago
Expressive Planning and Explicit Knowledge
Weare concerned with the implications and interactions of three commonexpressive extensions to classical planning: conditional plans, context-dependent actions, and nondeterminist...
Robert P. Goldman, Mark S. Boddy
AIPS
1994
15 years 8 months ago
A Framework for Automatic Problem Decomposition in Planning
An intelligent problem solver must be able to decompose a complex problem into simpler parts. A decomposition algorithm would not only be bene cial for traditional subgoal-oriente...
Qiang Yang, Shuo Bai, Guiyou Qiu
ANLP
1994
68views more  ANLP 1994»
15 years 8 months ago
Practical Issues in Automatic Documentation Generation
PLANDoc, a system under joint development by Columbia and Bellcore, documents the activity of planning engineers as they study telephone routes. It takes as input a trace of the e...
Kathleen McKeown, Karen Kukich, James Shaw
ECAI
2010
Springer
15 years 7 months ago
A unified interaction-aware goal framework
Abstract. Goals are central to the design and implementation of intelligent software agents. Much of the literature on goals and reasoning about goals only deals with a limited set...
Michael Winikoff, Mehdi Dastani, M. Birna van Riem...