5948
Cuprins
Invited Talk.- Playing with Rules.- Invited Papers.- The Refinement of Choreographed Multi-Agent Systems.- Goal Generation from Possibilistic Beliefs Based on Trust and Distrust.- Monitoring Directed Obligations with Flexible Deadlines: A Rule-Based Approach.- Contributed Papers.- Unifying the Intentional and Institutional Semantics of Speech Acts.- Tableaux for Acceptance Logic.- Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology.- Prioritized Goals and Subgoals in a Logical Account of Goal Change – A Preliminary Report.- Declarative and Numerical Analysis of Edge Creation Process in Trust-Based Social Networks.- Computing Utility from Weighted Description Logic Preference Formulas.- Explaining and Predicting the Behavior of BDI-Based Agents in Role-Playing Games.- Correctness Properties for Multiagent Systems.- Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming.- Social Commitments in Time: Satisfied or Compensated.- Verifying Dribble Agents.Buy this ebook and get 1 more FREE!
Limba Engleză ● Format PDF ● Pagini 263 ● ISBN 9783642113550 ● Editor Matteo Baldoni & Jamal Bentahar ● Editura Springer Berlin ● Oraș Heidelberg ● Țară DE ● Publicat 2010 ● Descărcabil 24 luni ● Valută EUR ● ID 2171579 ● Protecție împotriva copiilor Adobe DRM
Necesită un cititor de ebook capabil de DRM