Ditapis dengan

  • Tahun Penerbitan
    To
  • Ketersediaan
  • Lampiran
  • Tipe Koleksi
    Lihat Lebih Banyak
  • Format Fisik Dokumen
    Lihat Lebih Banyak
  • Lokasi
    Lihat Lebih Banyak
  • Bahasa
    Lihat Lebih Banyak
Ditemukan 2 dari pencarian Anda melalui kata kunci: author=Torroni, Paolo.
cover
Declarative Agent Languages and Technologies II
Komentar Bagikan
Leite, João.Omicini, Andrea.Torroni, Paolo.Yolum, Pinar.

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
-
cover
Computational Logic in Multi-Agent Systems
Komentar Bagikan
Leite, João.SpringerLink (Online service)Torroni, Paolo.

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
-