Sciweavers

3022 search results - page 516 / 605
» From plans to planning: the case of nursing plans
Sort
View
AIPS
2009
15 years 4 days ago
An Automatically Configurable Portfolio-based Planner with Macro-actions: PbP
While several powerful domain-independent planners have recently been developed, no one of these clearly outperforms all the others in every known benchmark domain. We present PbP...
Alfonso Gerevini, Alessandro Saetti, Mauro Vallati
ATAL
2010
Springer
15 years 4 days ago
Exploiting domain knowledge to improve norm synthesis
Social norms enable coordination in multiagent systems by constraining agent behaviour in order to achieve a social objective. Automating the design of social norms has been shown...
George Christelis, Michael Rovatsos, Ronald P. A. ...
C3S2E
2010
ACM
15 years 3 days ago
Scalable formula decomposition for propositional satisfiability
Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or...
Anthony Monnet, Roger Villemaire
72
Voted
MM
2010
ACM
123views Multimedia» more  MM 2010»
14 years 11 months ago
Coming together: negotiated content by multi-agents
In this paper, we describe a software system that generates unique musical compositions in realtime, created by four autonomous multi-agents. Given no explicit musical data, agent...
Arne Eigenfeldt
MM
2010
ACM
137views Multimedia» more  MM 2010»
14 years 11 months ago
Coming together: composition by negotiation
In this paper, we describe a software system that generates unique musical compositions in realtime, created by four autonomous multi-agents. Given no explicit musical data, agent...
Arne Eigenfeldt