On model checking complexity of circumscription

Авторы: Lisitsa Alexei P.
Год: 1996
Тип публикации: В Трудах Конференции
Название книги: Proceedings of Fourth International Symposium on Artificial Intelligence and Mathematics
Адрес: Fort Lauderdale Marina Marriott, Florida
BibTex: