Sciweavers

1897 search results - page 156 / 380
» Conditional Linear Planning
Sort
View
ICLP
2007
Springer
15 years 10 months ago
Multivalued Action Languages with Constraints in CLP(FD)
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...
Agostino Dovier, Andrea Formisano, Enrico Pontelli
FDL
2006
IEEE
15 years 10 months ago
Randomized Simulation of Hybrid Systems For Circuit Validation
Abstract. The paper proposes a simulation-based method for validating analog and mixed-signal circuits, using the hybrid systems methodology. This method builds upon RRT (Rapidly-e...
Thao Dang, Tarik Nahhal
128
Voted
KR
1992
Springer
15 years 8 months ago
UCPOP: A Sound, Complete, Partial Order Planner for ADL
We describe the ucpop partial order planning algorithm which handles a subset of Pednault's ADL action representation. In particular, ucpop operates with actions that have co...
J. Scott Penberthy, Daniel S. Weld
ACL
1994
15 years 5 months ago
A Hybrid Reasoning Model for Indirect Answers
This paper presents our implemented computational model for interpreting and generating indirect answers to Yes-No questions. Its main features are 1) a discourse-plan-based appro...
Nancy Green, Sandra Carberry
103
Voted
ENDM
2010
72views more  ENDM 2010»
15 years 4 months ago
Earliest Arrival Flows in Networks with Multiple Sinks
Earliest arrival flows model a central aspect of evacuation planning: In a dangerous situation, as many individuals as possible should be rescued at any point in time. Unfortunate...
Melanie Schmidt, Martin Skutella