The virtues of idleness: A decidable fragment of resource agent logic

, , &
Artificial Intelligence 245 (C):56-85 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2016.12.005

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,026

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

BIG: An agent for resource-bounded information gathering and decision making.Victor Lesser, Bryan Horling, Frank Klassner, Anita Raja, Thomas Wagner & Shelley X. Q. Zhang - 2000 - Artificial Intelligence 118 (1-2):197-244.
Michael R. Genesereth and Nils J. Nilsson. Logical foundations of artificial intelligence. Morgan Kaufmann Publishers, Los Altos, Calif., 1987, xviii + 405 pp. [REVIEW]Joao P. Martins - 1990 - Journal of Symbolic Logic 55 (3):1304-1307.
A Decidable Fragment of Recursive Arithmetic.R. L. Goodstein - 1963 - Mathematical Logic Quarterly 9 (12‐15):199-201.
Active logic semantics for a single agent in a static world.Michael L. Anderson, Walid Gomaa, John Grant & Don Perlis - 2008 - Artificial Intelligence 172 (8-9):1045-1063.
Epistemic Planning with Attention as a Bounded Resource.Gaia Belardinelli & Rasmus K. Rendsvig - 2021 - In Sujata Ghosh & Thomas Icard, Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 14-30.
Verification of multi-agent systems with public actions against strategy logic.Francesco Belardinelli, Alessio Lomuscio, Aniello Murano & Sasha Rubin - 2020 - Artificial Intelligence 285 (C):103302.
A logic-based model of intention formation and action for multi-agent subcontracting.John Grant, Sarit Kraus & Donald Perlis - 2005 - Artificial Intelligence 163 (2):163-201.
A resource-sensitive logic of agency.Daniele Porello & Nicolas Troquard - 2014 - In Ios Press, Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14), Prague, Czech Republic. 2014. pp. 723-728.
Belief, information acquisition, and trust in multi-agent systems—A modal logic formulation.Churn-Jung Liau - 2003 - Artificial Intelligence 149 (1):31-60.
The Propositional Logic of Elementary Tasks.Giorgi Japaridze - 2000 - Notre Dame Journal of Formal Logic 41 (2):171-183.

Analytics

Added to PP
2020-12-22

Downloads
21 (#1,087,041)

6 months
2 (#1,351,201)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Natasha Alechina
Hoang Nguyen
Humboldt-University, Berlin

Citations of this work

Natural strategic ability.Wojciech Jamroga, Vadim Malvone & Aniello Murano - 2019 - Artificial Intelligence 277 (C):103170.

Add more citations

References found in this work

The logic of bunched implications.Peter W. O'Hearn & David J. Pym - 1999 - Bulletin of Symbolic Logic 5 (2):215-244.

Add more references