E-Book, Englisch, Band 5948, 263 Seiten, eBook
Baldoni / Bentahar / van Riemsdijk Declarative Agent Languages and Technologies VII
2010
ISBN: 978-3-642-11355-0
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers
E-Book, Englisch, Band 5948, 263 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-642-11355-0
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.
