BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Jump to: Book Section
    Number of items: 1.

    Book Section

    Kontchakov, Roman and Pulina, L. and Sattler, U. and Schneider, T. and Selmer, Petra and Wolter, F. and Zakharyaschev, Michael (2009) Minimal module extraction from DL-Lite ontologies using QBF solvers. In: Boutilier, C. (ed.) IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009. California, U.S.: AAAI Press, pp. 836-841. ISBN 9781577354260.

    This list was generated on Tue Oct 19 23:45:32 2021 BST.