Solving Bratman's Video Game Puzzle in Two Formalisms (Contributo in atti di convegno)

Type

• Contributo in atti di convegno (Classe)
• Prodotto della ricerca (Classe)

Label

• Solving Bratman's Video Game Puzzle in Two Formalisms (Contributo in atti di convegno) (literal)

Anno

• 2007-01-01T00:00:00+01:00 (literal)

Alternative label

• Trypuz, R., Lorini, E., Vieu, L. (2007)
  Solving Bratman's Video Game Puzzle in Two Formalisms
  in ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action (LogKCA-07), Donostia, Spain
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Trypuz, R., Lorini, E., Vieu, L. (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note

• The University of the Basque Country Press, pp. 393-409, X. Arrazola and J. M. Larrazabal, editors (literal)

Titolo

• Solving Bratman's Video Game Puzzle in Two Formalisms (literal)

Prodotto di

• Ontologia di riferimento per l'integrazione di servizi e organizzazioni nella Pubblica Amministrazione e nelle Aziende (ICT.P08.007.001) (Modulo)
• Istituto di scienze e tecnologie della cognizione (ISTC) (Istituto)

Autore CNR

• ROBERT TRYPUZ (Unità di personale esterno)
• EMILIANO LORINI (Unità di personale esterno)
• LAURE RENEE VIEU (Persona)

Incoming links:

Prodotto

• Istituto di scienze e tecnologie della cognizione (ISTC) (Istituto)
• Ontologia di riferimento per l'integrazione di servizi e organizzazioni nella Pubblica Amministrazione e nelle Aziende (ICT.P08.007.001) (Modulo)

Autore CNR di

• LAURE RENEE VIEU (Persona)
• ROBERT TRYPUZ (Unità di personale esterno)
• EMILIANO LORINI (Unità di personale esterno)