Computational Logic in Multi-Agent Systems

Mã QR

Computational Logic in Multi-Agent Systems

Đã lưu trong:

Chi tiết về thư mục
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer Berlin Heidelberg 2020
Những chủ đề:	Computer Science Computer Communication Networks Mathematical Logic and Formal Languages
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81051
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Những quyển sách tương tự

PRIMA 2017: Principles and Practice of Multi-Agent Systems
Bỡi: An, Bo, et al.
Được phát hành: (2020)

Computational Logic in Multi-Agent Systems
Được phát hành: (2020)

Logic, Language, and Computation
Được phát hành: (2020)

Deontic Logic in Computer Science
Bỡi: Meyden, Ron van der, et al.
Được phát hành: (2020)

Fuzzy-Neuro Approach to Agent Applications
Bỡi: Lee, Raymond S.T.
Được phát hành: (2020)

Agent Computing and Multi-Agent Systems
Được phát hành: (2020)

Computer Science Logic
Được phát hành: (2020)

Logical Foundations of Cyber-Physical Systems
Bỡi: Platzer, André
Được phát hành: (2020)

Language, Logic, and Computation
Bỡi: Silva, Alexandra, et al.
Được phát hành: (2020)

Logic, Language, Information, and Computation
Bỡi: Moss, Lawrence S., et al.
Được phát hành: (2020)

Environments for Multi-Agent Systems
Được phát hành: (2020)

Foundations of Fuzzy Logic and Soft Computing
Bỡi: Melin, Patricia, et al.
Được phát hành: (2020)

Formal Correctness of Security Protocols
Bỡi: Bella, Giampaolo
Được phát hành: (2020)

Algebraic and Proof-theoretic Aspects of Non-classical Logics
Bỡi: Aguzzoli, S., et al.
Được phát hành: (2020)

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning
Bỡi: Tuyls, Karl, et al.
Được phát hành: (2020)

Intelligent Agents and Multi-Agent Systems
Được phát hành: (2020)

Logic, Language, and Computation
Được phát hành: (2020)

Modelling Computing Systems
Bỡi: Moller, Faron, et al.
Được phát hành: (2020)

Adaptive Agents and Multi-Agent Systems II
Được phát hành: (2020)

Theorem Proving in Higher Order Logics
Bỡi: Schneider, Klaus, et al.
Được phát hành: (2020)

Argumentation in Multi-Agent Systems
Được phát hành: (2020)

Programming Multi-Agent Systems
Bỡi: Dastani, Mehdi, et al.
Được phát hành: (2020)

Applied Logic for Computer Scientists . 1st ed. 2017
Bỡi: Ayala-Rincón, Mauricio, et al.
Được phát hành: (2020)

Logic and Its Applications
Được phát hành: (2020)

Temporal Logic and State Systems
Bỡi: Kröger, Fred, et al.
Được phát hành: (2020)

Logical Foundations of Computer Science
Bỡi: Artemov, Sergei, et al.
Được phát hành: (2020)

Logic and language models for computer science
Bỡi: Henry Hamburger
Được phát hành: (2002)

Logical Foundations of Computer Science. 1st ed. 2018
Bỡi: Artemov, Sergei, et al.
Được phát hành: (2020)

Logic Programming and Nonmonotonic Reasoning
Bỡi: Balduccini, Marcello, et al.
Được phát hành: (2020)

Models of Strategic Reasoning
Bỡi: Benthem, Johan van, et al.
Được phát hành: (2020)

Multi-Agent Systems and Applications V
Bỡi: Burkhard, Hans-Dieter, et al.
Được phát hành: (2020)

Multi-Agent Systems and Applications IV
Bỡi: Pechoucek, Michal, et al.
Được phát hành: (2020)

Inductive Logic Programming
Bỡi: Cussens, James, et al.
Được phát hành: (2020)

Logics of Specification Languages
Bỡi: Bjørner, Dines, et al.
Được phát hành: (2020)

Intelligent Agents and Multi-Agent Systems
Được phát hành: (2020)

Argumentation in Multi-Agent Systems
Bỡi: Rahwan, Iyad, et al.
Được phát hành: (2020)

Pillars of Computer Science
Bỡi: Avron, Arnon, et al.
Được phát hành: (2020)

Agents for Games and Simulations
Được phát hành: (2020)

Software Engineering for Multi-Agent Systems III
Được phát hành: (2020)

Multi-Agent for Mass User Support
Bỡi: Kurumatani, Koichi, et al.
Được phát hành: (2020)