Strategic reasoning with a bounded number of resources: The quest for tractability

&
Artificial Intelligence 300 (C):103557 (2021)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2021.103557

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,628

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

A logic of strategic ability under bounded memory.Thomas Ågotnes & Dirk Walther - 2009 - Journal of Logic, Language and Information 18 (1):55-77.
Bounded fixed-parameter tractability and reducibility.Rod Downey, Jörg Flum, Martin Grohe & Mark Weyer - 2007 - Annals of Pure and Applied Logic 148 (1):1-19.
Bounded treewidth as a key to tractability of knowledge representation and reasoning.Georg Gottlob, Reinhard Pichler & Fang Wei - 2010 - Artificial Intelligence 174 (1):105-132.
Belief ascription under bounded resources.Natasha Alechina & Brian Logan - 2010 - Synthese 173 (2):179 - 197.
Computation and Action Under Bounded Resources.Eric Joel Horvitz - 1991 - Dissertation, Stanford University
Strategic Reasoning: Building Cognitive Models from Logical Formulas.Sujata Ghosh, Ben Meijering & Rineke Verbrugge - 2014 - Journal of Logic, Language and Information 23 (1):1-29.
Embodying Rationality.Enrico Petracca & Antonio Mastrogiorgio - 2006 - In Lorenzo Magnani & Claudia Casadio (eds.), Model Based Reasoning in Science and Technology. Logical, Epistemological, and Cognitive Issues. Springer Verlag.
Using abstract resources to control reasoning.Richard W. Weyhrauch, Marco Cadoli & Carolyn L. Talcott - 1998 - Journal of Logic, Language and Information 7 (1):77-101.
Strategic manipulation in judgment aggregation under higher-level reasoning.Zoi Terzopoulou & Ulle Endriss - 2021 - Theory and Decision 92 (2):363-385.
The Idiocy of Strategic Reasoning. Towards an Account of Consensual Action.Hans Bernhard Schmid - 2011 - Analyse & Kritik 33 (1):35-56.
Reasoning About Truth in First-Order Logic.Claes Strannegård, Fredrik Engström, Abdul Rahim Nizamani & Lance Rips - 2013 - Journal of Logic, Language and Information 22 (1):115-137.
Reasoning processes in propositional logic.Claes Strannegård, Simon Ulfsbäcker, David Hedqvist & Tommy Gärling - 2010 - Journal of Logic, Language and Information 19 (3):283-314.
Conventional Norms of Reasoning.Adam Morton - 2011 - Dialogue 50 (2):247-260.
Linear logic for nets with bounded resources.Dmitry A. Archangelsky, Mikhail I. Dekhtyar & Mikhail A. Taitslin - 1996 - Annals of Pure and Applied Logic 78 (1-3):3-28.
Dynamic Tractable Reasoning: A Modular Approach to Belief Revision.Holger Andreas - 2020 - Cham, Schweiz: Springer.

Analytics

Added to PP
2022-07-13

Downloads
7 (#1,381,358)

6 months
3 (#961,692)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Formal Modelling and Verification of Probabilistic Resource Bounded Agents.Hoang Nga Nguyen & Abdur Rakib - 2023 - Journal of Logic, Language and Information 32 (5):829-859.

Add more citations

References found in this work

Completeness results for linear logic on Petri nets.Uffe Engberg & Glynn Winskel - 1997 - Annals of Pure and Applied Logic 86 (2):101-135.

Add more references