Repository logo
Log In(current)
  1. Home
  2. Prodotti della ricerca
  3. D. Contributo in Atti di convegno
  4. D1. Contributo in Atti di convegno
  5. Using Prolog Unification to Solve Non-standard Reasoning Problems in Description Logics

Using Prolog Unification to Solve Non-standard Reasoning Problems in Description Logics

Author(s)
Simona Colucci
Donini, Francesco Maria  
Date Issued
2012
Type
conferenceObject
Volume
857
Issue
857
Start Page
32
End Page
46
Journal
Proceedings of the 9th Italian Convention on Computational Logic
Handle
http://hdl.handle.net/2067/41828
Related items
Metrics
Conference(s)
Proceedings of the 9th Italian Convention on Computational Logic

Built with DSpace-CRIS software - Extension maintained and optimized by 4Science

  • Accessibility settings
  • Privacy policy
  • End User Agreement
  • Send Feedback
Repository logo COAR Notify