We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.AI
< prev | next >
new | recent | 2010

Change to browse by:

cs
cs.MA

References & Citations

DBLP - CS Bibliography

listing | bibtex

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Artificial Intelligence

Title: Implementing Agent-Based Systems via Computability Logic CL2

Authors: Keehang Kwon
(Submitted on 18 Oct 2020 (v1), last revised 30 Aug 2021 (this version, v3))
Abstract: Computability logic(CoL) is a powerful computational model. In this paper, we show that CoL naturally supports multi-agent programming models where resources (coffee for example) are involved. To be specific, we discuss an implementation of the Starbucks based on CoL (CL2 to be exact).
Comments: 12 pages. This is a revised version and some errors are fixed. arXiv admin note: substantial text overlap with arXiv:1909.07036
Subjects: Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA)
Cite as: arXiv:2010.08925 [cs.AI]
  (or arXiv:2010.08925v3 [cs.AI] for this version)

Submission history

From: Keehang Kwon [view email]
[v1] Sun, 18 Oct 2020 06:07:32 GMT (11kb)
[v2] Wed, 9 Jun 2021 11:15:41 GMT (12kb)
[v3] Mon, 30 Aug 2021 12:00:11 GMT (12kb)
Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)

Link back to: arXiv, form interface, contact.