Sciweavers

468 search results - page 63 / 94
» Reasoning about action and cooperation
Sort
View
LICS
2006
IEEE
14 years 3 months ago
Managing Digital Rights using Linear Logic
Digital music players protect songs by enforcing licenses that convey specific rights for individual songs or groups of songs. For licenses specified in industry, we show that d...
Adam Barth, John C. Mitchell
RULEML
2005
Springer
14 years 2 months ago
Active Rules in the Semantic Web: Dealing with Language Heterogeneity
In the same way as the “static” Semantic Web deals with data model and language heterogeneity and semantics that lead to RDF and OWL, there is language heterogeneity and the ne...
Wolfgang May, José Júlio Alferes, Ri...
AGENTS
1999
Springer
14 years 1 months ago
Top-Down Search for Coordinating the Hierarchical Plans of Multiple Agents
Uncertain and complex environments demand that an agent be able to anticipate the actions of others in order to avoid resource conflicts with them and to realize its goals. Confli...
Bradley J. Clement, Edmund H. Durfee
AAAI
2008
13 years 11 months ago
Partially Synchronized DEC-MDPs in Dynamic Mechanism Design
In this paper, we combine for the first time the methods of dynamic mechanism design with techniques from decentralized decision making under uncertainty. Consider a multi-agent s...
Sven Seuken, Ruggiero Cavallo, David C. Parkes
MEDINFO
2007
102views Healthcare» more  MEDINFO 2007»
13 years 10 months ago
Automatic Treatment of Temporal Issues in Clinical Guidelines in the GLARE System
Temporal constraints play a fundamental role in clinical guidelines. For example, temporal indeterminacy, constraints about duration, delays between actions and periodic repetitio...
Luca Anselma, Paolo Terenziani, Stefania Montani, ...