Petra Selmer

School of Computer Science and Information Systems , Birkbeck College London

1 paper in the IJCAI proceedings

IJCAI 2009

Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers

with Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Frank Wolter, Michael Zakharyaschev

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings