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



    Upload a copy of this work     Papers currently archived: 100,290

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 (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 14-30.
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.
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 resource-sensitive logic of agency.Daniele Porello & Nicolas Troquard - 2014 - In Ios Press (ed.), 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
20 (#1,027,136)

6 months
4 (#1,233,928)

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