Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
Haben Sie Fragen? Einfach anrufen, wir helfen gerne: Tel. 089/210233-0
oder besuchen Sie unser Ladengeschäft in der Pacellistraße 5 (Maxburg) 80333 München
+++ Versandkostenfreie Lieferung innerhalb Deutschlands
Haben Sie Fragen? Tel. 089/210233-0

Computational Logic in Multi-Agent Systems

53,49 €*

Versandkostenfrei

Produktnummer: 18d2c3628bb2d44cb2b4412b8c6478e592
Themengebiete: Erfüllbarkeitsproblem der Aussagenlogik artificial intelligence automata complexity computer formal specification infinitary logic justification logic model checking
Veröffentlichungsdatum: 10.07.2009
EAN: 9783642027338
Sprache: Englisch
Seitenzahl: 173
Produktart: Kartoniert / Broschiert
Herausgeber: Fisher, Michael Sadri, Fariba Thielscher, Michael
Verlag: Springer Berlin
Untertitel: 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers
Produktinformationen "Computational Logic in Multi-Agent Systems"
Multi-Agent Systems are communities of problem-solving entities that can exhibit varying degrees of intelligence. They can perceive and react to their environment, they can have individual or joint goals, for which they can plan and execute actions. Work on such systems integrates many technologies and concepts in artificial intelligence and other areas of computing as well as other disciplines. The agent paradigm has become very popular and widely used in recent years, due to its applicability to a large range of domains, from search engines to educational aids, to electronic commerce and trade, e-procurement, recommendation systems, and ambient intelligence, to cite only some. Computational logic provides a well-defined, general, and rigorous framework for studying syntax, semantics and procedures for various capabilities and functionalities of individual agents, as well as interaction amongst agents in multi-agent systems. It also provides a well-defined and rigorous framework for implementations, envir- ments, tools, and standards, and for linking together specification and verification of properties of individual agents and multi-agent systems.
Bücherregal gefüllt mit juristischen Werken

Sie möchten lieber vor Ort einkaufen?

Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.

Juristische Fachbuchhandlung
Georg Blendl

Parcellistraße 5 (Maxburg)
8033 München

Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen