( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Large Scale DLV: Preliminary Results.

, , , , , , , , , , , , , , , , и . CILC, том 2396 из CEUR Workshop Proceedings, CEUR-WS.org, (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.

Andrea Reale

Mario Reale

Kristian Schröter

Kristian Kroschel

Kristian Kuhlmey

 

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

Testing ASP programs in ASPIDE., , и . CILC, том 810 из CEUR Workshop Proceedings, стр. 115-129. CEUR-WS.org, (2011)Extending ASPIDE with User-defined Plugins., , , и . CILC, том 857 из CEUR Workshop Proceedings, стр. 236-240. CEUR-WS.org, (2012)Development Tools for Datalog., , , , и . SEBD, стр. 385-392. Curran Associates, (2013)ASPIDE: Integrated Development Environment for Answer Set Programming., , и . LPNMR, том 6645 из Lecture Notes in Computer Science, стр. 317-330. Springer, (2011)Developing ASP Programs with ASPIDE and LoIDE., , , , и . Künstliche Intell., 32 (2-3): 185-186 (2018)Smart Devices and Large Scale Reasoning via ASP: Tools and Applications., , , и . PADL, том 13165 из Lecture Notes in Computer Science, стр. 154-161. Springer, (2022)A REST-Based Development Framework for ASP: Tools and Application., , , , и . PADL, том 10702 из Lecture Notes in Computer Science, стр. 161-169. Springer, (2018)Datalog Development Tools - (Extended Abstract)., , , , и . Datalog, том 7494 из Lecture Notes in Computer Science, стр. 81-85. Springer, (2012)Large-Scale Reasoning on Expressive Horn Ontologies., , , , , , , , , и 5 other автор(ы). Datalog, том 2368 из CEUR Workshop Proceedings, стр. 10-21. CEUR-WS.org, (2019)The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track., , , , , , , , , и 9 other автор(ы). LPNMR, том 6645 из Lecture Notes in Computer Science, стр. 388-403. Springer, (2011)