( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Data Validation Meets Answer Set Programming.

, , и . PADL, том 12548 из Lecture Notes in Computer Science, стр. 90-106. Springer, (2021)

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.

Reinhold Carmine

Carmine Chiellino

Carmine Raffa

Carmine Minale

Carmine Paglino

 

Другие публикации лиц с тем же именем

An integrated Graphical User Interface for Debugging Answer Set Programs., , , , , и . CoRR, (2016)The ASP System DLV2., , , , , , , , и . LPNMR, том 10377 из Lecture Notes in Computer Science, стр. 215-221. Springer, (2017)On the Application of Answer Set Programming to the Conference Paper Assignment Problem., , , и . AI*IA, том 10037 из Lecture Notes in Computer Science, стр. 164-178. Springer, (2016)WASP: A Native ASP Solver Based on Constraint Learning., , , , и . LPNMR, том 8148 из Lecture Notes in Computer Science, стр. 54-66. Springer, (2013)A Tool for Encoding Controlled Natural Language Specifications as ASP Rules., , и . Datalog, том 3203 из CEUR Workshop Proceedings, стр. 188-201. CEUR-WS.org, (2022)Externally Supported Models for Efficient Computation of Paracoherent Answer Sets., , , и . AAAI, стр. 1720-1727. AAAI Press, (2018)On the Computation of Paracoherent Answer Sets., , , , и . AAAI, стр. 1034-1040. AAAI Press, (2017)ASPQ: An ASP-Based 2QBF Solver., , и . QBF@SAT, том 1719 из CEUR Workshop Proceedings, стр. 49-54. CEUR-WS.org, (2016)KR&R Approaches for Robot Manipulation Tasks with Articulated Objects., , , , , и . RiCeRcA@AI*IA, том 2272 из CEUR Workshop Proceedings, CEUR-WS.org, (2018)Allotment Problem in Travel Industry: A Solution Based on ASP., , , и . RR, том 9209 из Lecture Notes in Computer Science, стр. 77-92. Springer, (2015)