From post

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

Inconsistency Proofs for ASP: The ASP - DRUPE Format.

M. Alviano, C. Dodaro, J. Fichte, M. Hecher, T. Philipp, и J. Rath. Theory Pract. Log. Program., 19 (5-6): 891-907 (2019)

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.

Automated Generation of Exam Sheets for Automated Deduction.P. Hozzová, L. Kovács, и J. Rath. CICM, том 12833 из Lecture Notes in Computer Science, стр. 185-196. Springer, (2021)SAT-Based Subsumption Resolution.R. Coutelier, L. Kovács, M. Rawson, и J. Rath. CADE, том 14132 из Lecture Notes in Computer Science, стр. 190-206. Springer, (2023)Integrating Answer Set Programming with Object-Oriented Languages.J. Rath, и C. Redl. PADL, том 10137 из Lecture Notes in Computer Science, стр. 50-67. Springer, (2017)Inconsistency Proofs for ASP: The ASP - DRUPE Format.M. Alviano, C. Dodaro, J. Fichte, M. Hecher, T. Philipp, и J. Rath. Theory Pract. Log. Program., 19 (5-6): 891-907 (2019)SAT-Based Subsumption Resolution.R. Coutelier, L. Kovács, M. Rawson, и J. Rath. CoRR, (2024)First-Order Subsumption via SAT Solving.J. Rath, A. Biere, и L. Kovács. FMCAD, стр. 160-169. IEEE, (2022)Subsumption Demodulation in First-Order Theorem Proving.B. Gleiss, L. Kovács, и J. Rath. IJCAR (1), том 12166 из Lecture Notes in Computer Science, стр. 297-315. Springer, (2020)