Sciweavers

50 search results - page 3 / 10
» A Modular Structured Approach to Conditional Decision-Theore...
Sort
View
AUTOMATICA
2008
59views more  AUTOMATICA 2008»
13 years 5 months ago
Supervisory control of modular systems with global specification languages
The paper presents sufficient conditions for modular (supervisory) control synthesis to equal global control synthesis. In modular control synthesis a supervisory control is synth...
Jan Komenda, Jan H. van Schuppen, Benoit Gaudin, H...
LOGCOM
2002
142views more  LOGCOM 2002»
13 years 5 months ago
Two Logical Theories of Plan Recognition
We present a logical approach to plan recognition that builds on Kautz's theory of keyhole plan recognition, defined as the problem of inferring descriptions of high-level pl...
Wayne Wobcke
EUROGP
2006
Springer
110views Optimization» more  EUROGP 2006»
13 years 9 months ago
Blindbuilder: A New Encoding to Evolve Lego-Like Structures
This paper introduces a new representation for assemblies of small Lego -like elements: structures are indirectly encoded as construction plans. This representation shows some inte...
Alexandre Devert, Nicolas Bredeche, Marc Schoenaue...
IVA
2005
Springer
13 years 10 months ago
Proactive Mediation in Plan-Based Narrative Environments
Abstract. In interactive plan-based narrative environments, user's actions must be monitored to ensure that conditions necessary for the execution of narrative plans are not c...
Justin Harris, R. Michael Young
AI
2000
Springer
13 years 5 months ago
Using temporal logics to express search control knowledge for planning
Over the years increasingly sophisticated planning algorithms have been developed. These have made for more efficient planners, but unfortunately these planners still suffer from ...
Fahiem Bacchus, Froduald Kabanza