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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,449

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

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.
Decomposition and tractability in qualitative spatial and temporal reasoning.Jinbo Huang, Jason Jingshi Li & Jochen Renz - 2013 - Artificial Intelligence 195 (C):140-164.
Computational tradeoffs under bounded resources.Eric Horvitz & Shlomo Zilberstein - 2001 - Artificial Intelligence 126 (1-2):1-4.
Special issue on computational tradeoffs under bounded resources.Eric Horvitz & Shlomo Zilberstein - 1998 - Artificial Intelligence 100 (1-2):341-342.
Francesco Belardinelli Peter Jipsen.Hiroakira Ono - 2001 - Studia Logica 68:1-32.
Tractability of explaining classifier decisions.Martin C. Cooper & João Marques-Silva - 2023 - Artificial Intelligence 316 (C):103841.
Hybrid tractability of valued constraint problems.Martin C. Cooper & Stanislav Živný - 2011 - Artificial Intelligence 175 (9-10):1555-1569.
Cooperative games with overlapping coalitions: Charting the tractability frontier.Yair Zick, Georgios Chalkiadakis, Edith Elkind & Evangelos Markakis - 2019 - Artificial Intelligence 271 (C):74-97.
On the tractability of minimal model computation for some CNF theories.Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Fabio Fassetti & Luigi Palopoli - 2014 - Artificial Intelligence 210 (C):56-77.

Analytics

Added to PP
2022-07-13

Downloads
19 (#1,120,317)

6 months
6 (#572,300)

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