From post

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.

 

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

Large-Scale Reasoning on Expressive Horn Ontologies., , , , , , , , , и 5 other автор(ы). Datalog, том 2368 из CEUR Workshop Proceedings, стр. 10-21. CEUR-WS.org, (2019)Reasoning over Ontologies with DLV., , , , , , , , , и 5 other автор(ы). IC3K, том 1222 из Communications in Computer and Information Science, стр. 114-136. Springer, (2018)Boosting the Development of ASP-Based Applications in Mobile and General Scenarios., , , , и . AI*IA, том 10037 из Lecture Notes in Computer Science, стр. 223-236. Springer, (2016)The ASP System DLV: Advancements and Applications., , , , , , , , , и 3 other автор(ы). Künstliche Intell., 32 (2-3): 177-179 (2018)Answer Set Programming and Declarative Problem Solving in Game AIs., , , , и . PAI@AI*IA, том 1107 из CEUR Workshop Proceedings, стр. 81-88. CEUR-WS.org, (2013)I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector., , , и . RCRA@AI*IA, том 2011 из CEUR Workshop Proceedings, стр. 26-32. CEUR-WS.org, (2017)Efficiently Coupling the I-DLV Grounder with ASP Solvers., , , , и . CoRR, (2018)A framework for easing the development of applications embedding answer set programming., , , , , и . PPDP, стр. 38-49. ACM, (2016)Querying Large Expressive Horn Ontologies., , , , , , , , , и 7 other автор(ы). SEBD, том 2400 из CEUR Workshop Proceedings, CEUR-WS.org, (2019)The ASP System DLV2., , , , , , , , и . LPNMR, том 10377 из Lecture Notes in Computer Science, стр. 215-221. Springer, (2017)