A resource-sensitive account of the use of artifacts (Contributo in atti di convegno)

Type
Label
  • A resource-sensitive account of the use of artifacts (Contributo in atti di convegno) (literal)
Anno
  • 2014-01-01T00:00:00+01:00 (literal)
Alternative label
  • Porello, Daniele; Troquard, Nicolas (2014)
    A resource-sensitive account of the use of artifacts
    in AAMAS 2014
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Porello, Daniele; Troquard, Nicolas (literal)
Pagina inizio
  • 1549 (literal)
Pagina fine
  • 1550 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://www.scopus.com/record/display.url?eid=2-s2.0-84911423667&origin=inward (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 2 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana
  • 2 (literal)
Note
  • Scopu (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • Consiglio Nazionale delle Ricerche (literal)
Titolo
  • A resource-sensitive account of the use of artifacts (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 9781634391313 (literal)
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. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Insieme di parole chiave di
data.CNR.it