From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Towards Computing Revised Models for FO Theories.

J. Wittocx, B. Cat, и M. Denecker. INAP, том 6547 из Lecture Notes in Computer Science, стр. 85-101. Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Constraint CNF: SAT and CSP Language Under One Roof.B. Cat, и Y. Lierler. ICLP (Technical Communications), том 52 из OASIcs, стр. 12:1-12:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Towards Computing Revised Models for FO Theories.J. Wittocx, B. Cat, и M. Denecker. INAP, том 6547 из Lecture Notes in Computer Science, стр. 85-101. Springer, (2009)Lazy Model Expansion by Incremental Grounding.B. Cat, M. Denecker, и P. Stuckey. ICLP (Technical Communications), том 17 из LIPIcs, стр. 201-211. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Modeling Machine Learning and Data Mining Problems with FO(·).H. Blockeel, B. Bogaerts, M. Bruynooghe, B. Cat, S. Pooter, M. Denecker, A. Labarre, J. Ramon, и S. Verwer. ICLP (Technical Communications), том 17 из LIPIcs, стр. 14-25. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)