Sciweavers

4595 search results - page 151 / 919
» Reasoning about Plans
Sort
View
IGPL
2007
113views more  IGPL 2007»
15 years 7 months ago
Pandora: A Reasoning Toolbox using Natural Deduction Style
Pandora is a tool for supporting the learning of first order natural deduction. It includes a help window, an interactive context sensitive tutorial known as the ‘‘e-tutor’â...
Krysia Broda, Jiefei Ma, Gabrielle Sinnadurai, Ale...
AIPS
1998
15 years 8 months ago
Generation of Multiple Qualitatively Different Plan Options
In this paper, wepresent a Web-baseddemonstration of a Course of Action (COA)comparisonmatrix being used as an interface to an O-Planplan server to explore multiple qualitatively ...
Austin Tate, Jeff Dalton, John Levine
CA
2002
IEEE
16 years 16 hour ago
Representing and Parameterizing Agent Behaviors
The last few years have seen great maturation in understanding how to use computer graphics technology to portray 3D embodied characters or virtual humans. Unlike the off-line, an...
Norman I. Badler, Jan M. Allbeck, Liwei Zhao, Meer...
PUK
2000
15 years 8 months ago
Scheduling in a Planning Environment
In a real planning problem, there exists a set of constraints (both temporal constraints and resource usage constraints) which must be satisfied in order to obtain a feasible plan....
Antonio Garrido Tejero, Miguel A. Salido, Federico...
CI
2011
93views more  CI 2011»
15 years 2 months ago
Supporting clinical processes and decisions by hierarchical planning and scheduling
This paper is focused on how a general-purpose hierarchical planning representation, based on the HTN paradigm, can be used to support the representation of oncology treatment pro...
Juan Fernández-Olivares, Luis A. Castillo, ...