Artificial Intelligence 300:103557 (2021)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.artint.2021.103557
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,564
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

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

Citations of this work BETA

No citations found.

Add more citations

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.
Computation and Action Under Bounded Resources.Eric Joel Horvitz - 1991 - Dissertation, Stanford University
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.
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.

Analytics

Added to PP index
2022-07-13

Total views
2 ( #1,458,134 of 2,533,484 )

Recent downloads (6 months)
2 ( #261,612 of 2,533,484 )

How can I increase my downloads?

Downloads

My notes