Enter your search into one or more of the boxes below:
You can refine your search by selecting from any of the options below:
Declarative Agent Languages and Technologies VII: 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers

Declarative Agent Languages and Technologies VII: 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers (Paperback)

Printed to order. Despatched in 2-3 weeks.
Email me when back in stock


In the multi-agent systems area, linking theory to practical applications is still a fertile research topic. The aim of the workshop on Declarative Agent Languages and Technologies (DALT 2009), in its seventh edition this year, is to achieve this goal, which needs developing and using advanced declarative technologies and languages, particularly agent programming, communication languages, and reasoning and decision-making mechanisms. Developing these technologies is a particularly challenging issue from many perspectives: formal foundations, pr- ticalfeasibility,degreeof?exibility,etc. Inthiscontext,thedeclarativeparadigm is arguably the most appropriate as unlike imperative approaches, the focus is onwhatthe solutionshouldaccomplishratherthanondescribing howto acc- plish it. This is because agentcomputing, as a paradigm,is about describing the logic of computation instead of describing how to accomplish it. DALT is about investigating,studying, andusing the declarativeparadigmaswell ascombining declarative and formal approaches with engineering and technology aspects of agents and multi-agent systems.

This volume presents the latest developments in the area of declarative l- guagesandtechnologies,whichaimtoproviderigorousframeworksfordesigning, specifying, implementing and verifying autonomous interacting agents. These frameworksarebasedoncomputationallogicsand other formalmethods suchas mathematical models and game theoretical approaches. Using such models and approaches facilitates the development of agents that reason and act rationally while at the same time being able to verify the behavior of these agents against their speci?cation. The main theme of DALT 2009 was the further advan- ment of relevant speci?cation and veri?cation techniques, such as, for instance, modal and epistemic logics, model checking, constraint logic programming, and distributed constraint satisfaction.

Computing & ITComputer hardwareNetwork hardwareComputing & ITComputer programming / software developmentProgramming & scripting languages: generalComputing & ITComputer programming / software developmentSoftware EngineeringComputing & ITComputer scienceArtificial intelligence Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Publication Date: 17/02/2010 ISBN-13: 9783642113543  Details: Type: Paperback Format: Books
Availability: Printed to order. Despatched in 2-3 weeks.  

More books by Matteo Baldoni

More books by Jamal Bentahar

More books by M. Birna van Riemsdijk

More books by John Lloyd

Leave Review


Delivery Options

All delivery times quoted are the average, and cannot be guaranteed. These should be added to the availability message time, to determine when the goods will arrive. During checkout we will give you a cumulative estimated date for delivery.

Location 1st Book Each additional book Average Delivery Time
UK Standard Delivery FREE FREE 3-5 Days
UK First Class £4.50 £1.00 1-2 Days
UK Courier £7.00 £1.00 1-2 Days
Western Europe** Courier £17.00 £3.00 2-3 Days
Western Europe** Airmail £5.00 £1.50 4-14 Days
USA / Canada Courier £20.00 £3.00 2-4 Days
USA / Canada Airmail £7.00 £3.00 4-14 Days
Rest of World Courier £22.50 £3.00 3-6 Days
Rest of World Airmail £8.00 £3.00 7-21 Days

** Includes Austria, Belgium, Denmark, France, Germany, Greece, Iceland, Irish Republic, Italy, Luxembourg, Netherlands, Portugal, Spain, Sweden and Switzerland.

Delivery Help & FAQs

Returns Information

If you are not completely satisfied with your purchase*, you may return it to us in its original condition with in 30 days of receiving your delivery or collection notification email for a refund. Except for damaged items or delivery issues the cost of return postage is borne by the buyer. Your statutory rights are not affected.

* For Exclusions and terms on damaged or delivery issues see Returns Help & FAQs

You might also like

Advanced Optical and Wireless...
Ivan B. Djordjevic
Designing Reliable Distributed...
Peter Csaba Olveczky
Cisco Firepower Threat Defense (FTD):...
Nazmul Rajib
Optical Modulation: Advanced...
Le Nguyen Binh
Latest Blog
The End of the F***ing World creator, Charles Forsman, picks his favourite coming of age books

The End of the F***ing World creator, Charles Forsman, picks his favourite coming of age books.

#FoylesFive: Annihilation

With the release of Annihilation on Netflix it's the perfect time to catch up with the book that starts Jeff VanderMeer's unsettling Southern Reach trilogy.

#FoylesFave: Frankenstein in Baghdad

Judy, our Middle Eastern Languages expert here at Foyles, shares her thoughts on the newly translated Frankenstein in Baghdad.

View all Blog Entries
Show/Hide Tweets
© W&G Foyle Ltd