Please use this identifier to cite or link to this item: http://hdl.handle.net/2067/41828
DC FieldValueLanguage
dc.contributor.authorSimona Coluccien
dc.contributor.authorDonini, Francesco Mariaen
dc.date.accessioned2020-10-20T23:07:41Z-
dc.date.available2020-10-20T23:07:41Z-
dc.date.issued2012en
dc.identifier.urihttp://hdl.handle.net/2067/41828-
dc.titleUsing Prolog Unification to Solve Non-standard Reasoning Problems in Description Logicsen
dc.typeconferenceObjecten
dc.identifier.scopusProceedings of the 9th Italian Convention on Computational Logicen
dc.relation.journalProceedings of the 9th Italian Convention on Computational Logicen
dc.relation.firstpage32en
dc.relation.lastpage46en
dc.relation.numberofpages15en
dc.relation.conferencenameProceedings of the 9th Italian Convention on Computational Logicen
dc.relation.volume857en
dc.relation.issue857en
dc.type.miur273en
item.grantfulltextnone-
item.openairetypeconferenceObject-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.fulltextNo Fulltext-
item.cerifentitytypePublications-
Appears in Collections:D1. Contributo in Atti di convegno
Show simple item record

Page view(s)

42
Last Week
0
Last month
0
checked on Jun 10, 2023

Google ScholarTM

Check


All documents in the "Unitus Open Access" community are published as open access.
All documents in the community "Prodotti della Ricerca" are restricted access unless otherwise indicated for specific documents