@prefix prodottidellaricerca: . @prefix istituto: . @prefix prodotto: . istituto:CDS050 prodottidellaricerca:prodotto prodotto:ID136557 . @prefix pubblicazioni: . @prefix unitaDiPersonaleInterno: . unitaDiPersonaleInterno:MATRICOLA6455 pubblicazioni:autoreCNRDi prodotto:ID136557 . @prefix unitaDiPersonaleEsterno: . unitaDiPersonaleEsterno:ID279 pubblicazioni:autoreCNRDi prodotto:ID136557 . @prefix modulo: . modulo:ID4145 prodottidellaricerca:prodotto prodotto:ID136557 . @prefix rdf: . prodotto:ID136557 rdf:type prodotto:TIPO1501 . @prefix retescientifica: . prodotto:ID136557 rdf:type retescientifica:ProdottoDellaRicerca . @prefix rdfs: . prodotto:ID136557 rdfs:label "A formal ontology framework for societies of communicating agents through Arithmetical Theories endowed with self-reference and their Models (Curatela)"@en . @prefix xsd: . prodotto:ID136557 pubblicazioni:anno "2006-01-01T00:00:00+01:00"^^xsd:gYear . @prefix skos: . prodotto:ID136557 skos:altLabel "
(2006)
A formal ontology framework for societies of communicating agents through Arithmetical Theories endowed with self-reference and their Models
"^^rdf:HTML ; pubblicazioni:autoriCuratela "Forcheri P., Gentilini P."^^xsd:string ; pubblicazioni:note "R.Ferrario, N.Guarino, L.Pr\u00E9vot Eds"^^xsd:string ; pubblicazioni:titolo "A formal ontology framework for societies of communicating agents through Arithmetical Theories endowed with self-reference and their Models"^^xsd:string ; pubblicazioni:inCollana "Proceedings of FOCA 2006 (Formal ontologies for communicating agents)"^^xsd:string ; prodottidellaricerca:prodottoDi modulo:ID2762 , istituto:CDS050 , modulo:ID4145 ; pubblicazioni:autoreCNR unitaDiPersonaleEsterno:ID279 , unitaDiPersonaleInterno:MATRICOLA6455 . modulo:ID2762 prodottidellaricerca:prodotto prodotto:ID136557 .