Mauricio Martel

Fachbereich Informatik , Universität Bremen , Germany

1 paper in the IJCAI proceedings

IJCAI 2017

Query Conservative Extensions in Horn Description Logics with Inverse Roles

with Jean Christoph Jung, Carsten Lutz, Thomas Schneider

doi:10.24963/ijcai.2017/155

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings