Articoli correlati a Computational Logic in Multi-Agent Systems: 5th Internationa...

Computational Logic in Multi-Agent Systems: 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers: 3487 - Brossura

 
9783540280606: Computational Logic in Multi-Agent Systems: 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers: 3487

Sinossi

The notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, while at the same time sign- cantly gaining from decades of research in computational logic. Computational logic provides a well-de?ned, general, and rigorous framework for studying s- tax, semantics and procedures, for implementations, environments, tools, and standards, facilitating the ever important link between speci?cation and ver- cation of computational systems. The purpose of the Computational Logic in Multi-agent Systems (CLIMA) international workshop series is to discuss techniques, based on computational logic, for representing, programming, and reasoning about multi-agent systems in a formal way. Former CLIMA editions were conducted in conjunction with other major computational logic and AI events such as CL in July 2000, ICLP in December 2001, FLoC in August 2002, and LPNMR and AI-Math in January 2004. The ?fth edition of CLIMA was held Lisbon, Portugal, in September 29 30, 2004.We,asorganizers,andinagreementwiththeCLIMASteeringCommittee, opted for co-location with the 9th European Conference on Logics in Arti?cial Intelligence (JELIA 2004), wishing to promote the CLIMA research topics in the broader community of logics in AI, a community whose growing interest in multi-agent issues has been demonstrated by the large number of agent-related papers submitted to recent editions of JELIA. The workshop received 35 submissions a sensible increase from the previous edition.Thesubmittedpapersshowedthatthelogicalfoundationsofmulti-agent systems are felt by a large community to be a very important research topic, upon which classical AI and agent-related issues are to be addressed.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

Foundations.- A Logic for Knowledge, Correctness, and Real Time.- Dynamic Logic for Plan Revision in Intelligent Agents.- Contextual Taxonomies.- From Logic Programs Updates to Action Description Updates.- Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs.- Architectures.- Declarative Agent Control.- Metareasoning for Multi-agent Epistemic Logics.- Graded BDI Models for Agent Architectures.- Interaction.- Inferring Trust.- Coordination Between Logical Agents.- A Computational Model for Conversation Policies for Agent Communication.- Verifying Protocol Conformance for Logic-Based Communicating Agents.- Planning and Applications.- An Application of Global Abduction to an Information Agent Which Modifies a Plan Upon Failure – Preliminary Report.- Planning Partially for Situated Agents.- Desire-Space Analysis and Action Selection for Multiple Dynamic Goals.- Organising Software in Active Environments.

Product Description

Book by None

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

  • EditoreSpringer
  • Data di pubblicazione2008
  • ISBN 10 354028060X
  • ISBN 13 9783540280606
  • RilegaturaCopertina flessibile
  • LinguaInglese
  • Numero di pagine300
  • Contatto del produttorenon disponibile

Compra usato

Condizioni: molto buono
Ex-library paperback in very nice...
Visualizza questo articolo

EUR 64,92 per la spedizione da U.S.A. a Italia

Destinazione, tempi e costi

EUR 17,30 per la spedizione da U.S.A. a Italia

Destinazione, tempi e costi

Risultati della ricerca per Computational Logic in Multi-Agent Systems: 5th Internationa...

Immagini fornite dal venditore

Leite, Joao Alexandre (EDT); Torroni, Paolo (EDT)
Editore: Springer, 2005
ISBN 10: 354028060X ISBN 13: 9783540280606
Nuovo Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo 3540345-n

Contatta il venditore

Compra nuovo

EUR 54,28
Convertire valuta
Spese di spedizione: EUR 17,30
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Torroni, Paolo; Leite, João
Editore: Springer, 2005
ISBN 10: 354028060X ISBN 13: 9783540280606
Nuovo Brossura

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. In. Codice articolo ria9783540280606_new

Contatta il venditore

Compra nuovo

EUR 61,47
Convertire valuta
Spese di spedizione: EUR 10,56
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Leite, João|Torroni, Paolo
ISBN 10: 354028060X ISBN 13: 9783540280606
Nuovo Kartoniert / Broschiert
Print on Demand

Da: moluna, Greven, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, while at the same time sign- cantly gaining from decades of research in computational logic. Computational logic provides a well-d. Codice articolo 4886934

Contatta il venditore

Compra nuovo

EUR 65,94
Convertire valuta
Spese di spedizione: EUR 9,70
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Leite, Joao Alexandre (EDT); Torroni, Paolo (EDT)
Editore: Springer, 2005
ISBN 10: 354028060X ISBN 13: 9783540280606
Nuovo Brossura

Da: GreatBookPricesUK, Woodford Green, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo 3540345-n

Contatta il venditore

Compra nuovo

EUR 61,46
Convertire valuta
Spese di spedizione: EUR 17,62
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Paolo Torroni
ISBN 10: 354028060X ISBN 13: 9783540280606
Nuovo Taschenbuch
Print on Demand

Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The notion of agency has recently increased its in uence in the research and - velopment of computational logic based systems, while at the same time sign- cantly gaining from decades of research in computational logic. Computational logic provides a well-de ned, general, and rigorous framework for studying s- tax, semantics and procedures, for implementations, environments, tools, and standards, facilitating the ever important link between speci cation and ver- cation of computational systems. The purpose of the Computational Logic in Multi-agent Systems (CLIMA) international workshop series is to discuss techniques, based on computational logic, for representing, programming, and reasoning about multi-agent systems in a formal way. Former CLIMA editions were conducted in conjunction with other major computational logic and AI events such as CL in July 2000, ICLP in December 2001, FLoC in August 2002, and LPNMR and AI-Math in January 2004. The fth edition of CLIMA was held Lisbon, Portugal, in September 29-30, 2004.We,asorganizers,andinagreementwiththeCLIMASteeringCommittee, opted for co-location with the 9th European Conference on Logics in Arti cial Intelligence (JELIA 2004), wishing to promote the CLIMA research topics in the broader community of logics in AI, a community whose growing interest in multi-agent issues has been demonstrated by the large number of agent-related papers submitted to recent editions of JELIA. The workshop received 35 submissions - a sensible increase from the previous edition.Thesubmittedpapersshowedthatthelogicalfoundationsofmulti-agent systems are felt by a large community to be a very important research topic, upon which classical AI and agent-related issues are to be addressed. 300 pp. Englisch. Codice articolo 9783540280606

Contatta il venditore

Compra nuovo

EUR 74,89
Convertire valuta
Spese di spedizione: EUR 11,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Paolo Torroni
ISBN 10: 354028060X ISBN 13: 9783540280606
Nuovo Taschenbuch

Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. Neuware -The notion of agency has recently increased its in uence in the research and - velopment of computational logic based systems, while at the same time sign- cantly gaining from decades of research in computational logic. Computational logic provides a well-de ned, general, and rigorous framework for studying s- tax, semantics and procedures, for implementations, environments, tools, and standards, facilitating the ever important link between speci cation and ver- cation of computational systems. The purpose of the Computational Logic in Multi-agent Systems (CLIMA) international workshop series is to discuss techniques, based on computational logic, for representing, programming, and reasoning about multi-agent systems in a formal way. Former CLIMA editions were conducted in conjunction with other major computational logic and AI events such as CL in July 2000, ICLP in December 2001, FLoC in August 2002, and LPNMR and AI-Math in January 2004. The fth edition of CLIMA was held Lisbon, Portugal, in September 29¿30, 2004.We,asorganizers,andinagreementwiththeCLIMASteeringCommittee, opted for co-location with the 9th European Conference on Logics in Arti cial Intelligence (JELIA 2004), wishing to promote the CLIMA research topics in the broader community of logics in AI, a community whose growing interest in multi-agent issues has been demonstrated by the large number of agent-related papers submitted to recent editions of JELIA. The workshop received 35 submissions ¿ a sensible increase from the previous edition.Thesubmittedpapersshowedthatthelogicalfoundationsofmulti-agent systems are felt by a large community to be a very important research topic, upon which classical AI and agent-related issues are to be addressed.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch. Codice articolo 9783540280606

Contatta il venditore

Compra nuovo

EUR 74,89
Convertire valuta
Spese di spedizione: EUR 15,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Foto dell'editore

Leite, Joao|Torroni, Paolo
Editore: Springer 2005-07, 2005
ISBN 10: 354028060X ISBN 13: 9783540280606
Nuovo PF

Da: Chiron Media, Wallingford, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

PF. Condizione: New. Codice articolo 6666-IUK-9783540280606

Contatta il venditore

Compra nuovo

EUR 78,05
Convertire valuta
Spese di spedizione: EUR 23,48
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 10 disponibili

Aggiungi al carrello

Foto dell'editore

Leite, João [Editor]; Torroni, Paolo [Editor];
Editore: Springer, 2005
ISBN 10: 354028060X ISBN 13: 9783540280606
Antico o usato Paperback

Da: GuthrieBooks, Spring Branch, TX, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Codice articolo UTD14a2103

Contatta il venditore

Compra usato

EUR 42,83
Convertire valuta
Spese di spedizione: EUR 64,92
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Torroni, Paolo; Leite, João
Editore: Springer, 2005
ISBN 10: 354028060X ISBN 13: 9783540280606
Nuovo Brossura

Da: Lucky's Textbooks, Dallas, TX, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo ABLIING23Mar3113020164572

Contatta il venditore

Compra nuovo

EUR 53,09
Convertire valuta
Spese di spedizione: EUR 64,92
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Torroni, Paolo; Leite, João
Editore: Springer, 2005
ISBN 10: 354028060X ISBN 13: 9783540280606
Antico o usato paperback

Da: HPB-Red, Dallas, TX, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

paperback. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Codice articolo S_384079201

Contatta il venditore

Compra usato

EUR 39,63
Convertire valuta
Spese di spedizione: EUR 93,48
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Vedi altre 3 copie di questo libro

Vedi tutti i risultati per questo libro