Declarative Agent Languages and Technologies X, 2013 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected and Invited Papers Lecture Notes in Artificial Intelligence Series
Coordonnateurs : Baldoni Matteo, Dennis Louise, Mascardi Viviana, Vasconcelos Wamberto
Invited Papers.- Handling Change in Normative Specifications.- Latest Developments of WADE to Support User-Centric Business Processes.- Strong Planning in the Logics of Communication and Change.- Agent Deliberation via Forward and Backward Chaining in Linear Logic.- Contributed Papers.- Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason.- A Generalized Commitment Machine for 2CL Protocols and Its Implementation.- Solving Fuzzy Distributed CSPs: An Approach with Naming Games.- Commitment Protocol Generation.- Goal-Based Qualitative Preference Systems.- SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems.- Position Papers.- Some Thoughts about Commitment Protocols (Position Paper).- Semantic Web and Declarative Agent Languages and Technologies: Current and Future Trends (Position Paper).- Designing and Implementing a Framework for BDI-Style Communicating Agents in Haskell (Position Paper).
Fast-track conference proceedings
State-of-the-art research
Up-to-date results
Date de parution : 04-2013
Ouvrage de 209 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 48,53 €
Ajouter au panier