Sciweavers

4595 search results - page 121 / 919
» Reasoning about Plans
Sort
View
AIPS
1996
15 years 7 months ago
Planning for Manufacturing Workpieces by Storing, Indexing and Replaying Planning Decisions
Planning for manufacturing workpiecesis a complex task that requires the interaction of a domain-specific reasoner and a generic planning mechanism.In this paper wepresent an arch...
Hector Muñoz-Avila, Frank Weberskirch
JAIR
2006
141views more  JAIR 2006»
15 years 6 months ago
An Approach to Temporal Planning and Scheduling in Domains with Predictable Exogenous Events
The treatment of exogenous events in planning is practically important in many realworld domains where the preconditions of certain plan actions are affected by such events. In th...
Alfonso Gerevini, Alessandro Saetti, Ivan Serina
LICS
1998
IEEE
15 years 10 months ago
On Proofs about Threshold Circuits and Counting Hierarchies
Hierarchies (Extended Abstract) Jan Johannsen Chris Pollett Department of Mathematics Department of Computer Science University of California, San Diego Boston University La Jolla,...
Jan Johannsen, Chris Pollett
ECAI
2004
Springer
15 years 10 months ago
Representing Knowledge about Norms
Norms are essential to extend inference: inferences based on norms are far richer than those based on logical implications. In the recent decades, much effort has been devoted to r...
Daniel Kayser, Farid Nouioua
AICOM
2007
119views more  AICOM 2007»
15 years 6 months ago
Using exogenous quantities in qualitative models about environmental sustainability
Representing the impact of external factors on the behaviour of a system is a challenge for modellers, particularly when these factors are dynamic and may change during the simulat...
Bert Bredeweg, Paulo Salles, Tim Nuttle