Articles liés à Declarative Agent Languages and Technologies X: 10th...
Declarative Agent Languages and Technologies X: 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected and Invited Papers - Couverture souple
L'édition de cet ISBN n'est malheureusement plus disponible.
Synopsis
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).
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
(Aucun exemplaire disponible)
Chercher: Créez une demandeVous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !
Créez une demande
