Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/2067/41828| Titolo: | Using Prolog Unification to Solve Non-standard Reasoning Problems in Description Logics | Autori: | Simona Colucci Donini, Francesco Maria |
Rivista: | Proceedings of the 9th Italian Convention on Computational Logic | Data pubblicazione: | 2012 | URI: | http://hdl.handle.net/2067/41828 |
| È visualizzato nelle collezioni: | D1. Contributo in Atti di convegno |
Visualizza tutti i metadati del documento
Tutti i documenti nella community "Unitus Open Access" sono pubblicati ad accesso aperto.
Tutti i documenti nella community Prodotti della Ricerca" sono ad accesso riservato salvo diversa indicazione per alcuni documenti specifici