Abstract | ||
---|---|---|
The aim of this abstract is to introduce a formal framework enabling to reason about resource-sensitive uses of artifacts. To achieve this, we integrate (non-normal) modalities into Intuitionistic Linear Logic. The function of an artifact is a (resource-sensitive) linear implication and we interpret each modality as an agent's bringing about of resources. |
Year | DOI | Venue |
---|---|---|
2014 | 10.5555/2615731.2616056 | AAMAS |
Keywords | Field | DocType |
resource-sensitive account,linear implication,intuitionistic linear logic,resource-sensitive use,formal framework | Modalities,Computer science,Proof theory,Algorithm,Artificial intelligence,Linear logic,Machine learning | Conference |
Citations | PageRank | References |
1 | 0.35 | 0 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Daniele Porello | 1 | 90 | 23.55 |
Nicolas Troquard | 2 | 266 | 29.54 |