Skip to: Site menu | Main content

sisinflab.poliba.it

Politecnico di Bari via E.Orabona,4
70125 Bari - Italy
Tel. +39 - 0805963 641/515
Fax. +39 - 0805963410

Using Prolog unification to solve non-standard reasoning problems in Description Logics

The 9th Italian Convention on Computational Logic (CILC 2012) - 2012
Download the publication : ColucciDonini.pdf [210Ko]  

BibTex references

@InProceedings{CD12a, author = {Simona Colucci and Francesco M. Donini}, title = "Using Prolog unification to solve non-standard
reasoning problems in Description Logics", booktitle = "The 9th Italian Convention on Computational Logic
(CILC 2012)", year = "2012", note = "to appear", url = "http://sisinflab.poliba.it/sisinflab/publications/
2012/CD12a" }

Other publications in the database