Open AccessPast and Future of DL-Lite
Author(s) -
Alessandro Artale,
Roman Kontchakov,
Vladislav Ryzhikov,
Michael Zakharyaschev
Publication year - 2010
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v24i1.7580
Subject(s) - undecidable problem , pspace , satisfiability , computer science , theoretical computer science , boolean satisfiability problem , temporal logic , model checking , computational complexity theory , algorithm , decidability