Buch, Englisch, 263 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 423 g
7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers
Buch, Englisch, 263 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 423 g
Reihe: Lecture Notes in Artificial Intelligence
ISBN: 978-3-642-11354-3
Verlag: Springer
instance, modal and epistemic logics, model checking, constraint logic programming, and distributed constraint satisfaction.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmier- und Skriptsprachen
- Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz
- Mathematik | Informatik EDV | Informatik Technische Informatik Netzwerk-Hardware
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.
