Ditapis dengan
Declarative Agent Languages and Technologies II
Reasoning -- Dynamics of Declarative Goals in Agent Programming -- Theories of Intentions in the Framework of Situation Calculus -- Partial Deduction for Linear Logic—The Symbolic Negotiation Perspective -- Modelling and Engineering -- On Modelling Multi-agent Systems Declaratively -- The Semantics of MALLET–An Agent Teamwork Encoding Language -- Construction of an Agent-Based Framework for…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319276
- Deskripsi Fisik
- XII, 292 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computational Logic in Multi-Agent Systems
Invited Papers -- Distributed Algorithms for Dynamic Survivability of Multiagent Systems -- Programming Groups of Rational Agents -- Negotiation in Multi-agent Systems -- An Abductive Framework for Information Exchange in Multi-agent Systems -- Fault Tolerant and Fixed Scalable Structure of Middle-Agents -- Symbolic Negotiation with Linear Logic -- Planning in Multi-agent Systems -- Planning Ex…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540302001
- Deskripsi Fisik
- XII, 251 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computational Logic in Multi-Agent Systems
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 M…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540318576
- Deskripsi Fisik
- XII, 284 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah