Domenico Carbotta

Institute of Information Systems Vienna Univ. of Technology Favoritenstraße 9-11 , Vienna , Austria

1 paper in the IJCAI proceedings

IJCAI 2011

A Practical Automata-Based Technique for Reasoning in Expressive Description Logics

with Diego Calvanese, Magdalena Ortiz

doi:10.5591/978-1-57735-516-8/IJCAI11-140

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings