Declarative Agent Languages and Technologies IV: 4th International Workshop, DALT 2006 Hakodate, Japan, May 8, 2006 Selected, Revised and Invited Papers: 4327 - Brossura
Sinossi
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Declarative Agent Languages and Technologies, DALT 2006, held in Japan in May 2006. This was an associated event of AAMAS 2006, the main international conference on autonomous agents and multi-agent systems. The 12 revised full papers presented together with one invited talk and three invited papers were carefully selected for inclusion in the book.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Invited Talk.- Producing Compliant Interactions: Conformance, Coverage, and Interoperability.- Invited Papers.- Towards Theory Translation.- The Complexity of Model Checking Concurrent Programs Against CTLK Specifications.- Dynamic Model Checking for Multi-agent Systems.- Contributed Papers.- Automating Belief Revision for AgentSpeak.- A Foundational Ontology of Organizations and Roles.- When Agents Communicate Hypotheses in Critical Situations.- A Fibred Tableau Calculus for Modal Logics of Agents.- Programming Declarative Goals Using Plan Patterns.- JADL – An Agent Description Language for Smart Agents.- Agreeing on Defeasible Commitments.- A Dynamic Logic Programming Based System for Agents with Declarative Goals.- A Collaborative Framework to Realize Virtual Enterprises Using 3APL.- A Modeling Framework for Generic Agent Interaction Protocols.- Plan Generation and Plan Execution in Agent Programming.- A Functional Program for Agents, Actions, and Deontic Specifications.
Product Description
Book by None
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Declarative Agent Languages and Technologies IV: 4th...
Foto dell'editore
Declarative Agent Languages and Technologies IV: 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Codice articolo UTD1419881
Compra usato
EUR 39,65
Spese di spedizione:
EUR 6,06
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Declarative Agent Languages And Technologies Iv
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABNR-84513
Compra nuovo
EUR 47,91
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Declarative Agent Languages And Technologies Iv
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEOCT25-242582
Compra nuovo
EUR 47,91
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Declarative Agent Languages and Technologies IV
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 272. Codice articolo 26301910
Compra nuovo
EUR 46,80
Spese di spedizione:
EUR 3,46
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Declarative Agent Languages and Technologies IV
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 272 Illus. Codice articolo 7545993
Compra nuovo
EUR 47,18
Spese di spedizione:
EUR 7,40
Da: Regno Unito a: U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Declarative Agent Languages and Technologies IV : 4th International Workshop, Dalt 2006 Hakodate, Japan, May 8, 2006 Selected, Revised and Invited Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 5837332-n
Compra nuovo
EUR 52,43
Spese di spedizione:
EUR 2,29
In U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Declarative Agent Languages and Technologies IV: 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers (Lecture Notes in Computer Science, 4327)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020175027
Compra nuovo
EUR 53,13
Spese di spedizione:
EUR 3,46
In U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Declarative Agent Languages and Technologies IV: 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers (Lecture Notes in Computer Science, 4327)
Da: Best Price, Torrance, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. SUPER FAST SHIPPING. Codice articolo 9783540689591
Compra nuovo
EUR 49,07
Spese di spedizione:
EUR 7,78
In U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Declarative Agent Languages and Technologies IV
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 272. Codice articolo 18301916
Compra nuovo
EUR 48,08
Spese di spedizione:
EUR 9,95
Da: Germania a: U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Declarative Agent Languages and Technologies IV : 4th International Workshop, Dalt 2006 Hakodate, Japan, May 8, 2006 Selected, Revised and Invited Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 5837332
Compra usato
EUR 61,85
Spese di spedizione:
EUR 2,29
In U.S.A.
Quantità: Più di 20 disponibili