( 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.

Giuseppe Veltri

Giuseppe Veltri

Pierfrancesco Stagi

Giuseppe Veltri

Pierfrancesco Fiorato

 

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

A graphic tool for ontology reasoning under Datalog∃., , , , и . SEBD, стр. 51-62. Curran Associates, (2013)The ASP System DLV2., , , , , , , , и . LPNMR, том 10377 из Lecture Notes in Computer Science, стр. 215-221. Springer, (2017)Querying Large Expressive Horn Ontologies., , , , , , , , , и 7 other автор(ы). SEBD, том 2400 из CEUR Workshop Proceedings, CEUR-WS.org, (2019)Modeling and Reasoning about NTU Games via Answer Set Programming., , , и . IJCAI, стр. 38-45. IJCAI/AAAI Press, (2016)Answers set programs for non-transferable utility games: Expressiveness, complexity and applications., , и . Artif. Intell., (2022)The ASP System DLV: Advancements and Applications., , , , , , , , , и 3 other автор(ы). Künstliche Intell., 32 (2-3): 177-179 (2018)Efficiently Computable Datalog∃ Programs., , , и . KR, AAAI Press, (2012)Efficient Query Answering over Datalog with Existential Quantifiers., , , и . SEBD, стр. 155-162. Edizioni Libreria Progetto, Padova, Italy, (2012)Fast Query Answering over Existential Rules., , , и . ACM Trans. Comput. Log., 20 (2): 12:1-12:48 (2019)Large Scale DLV: Preliminary Results., , , , , , , , , и 7 other автор(ы). CILC, том 2396 из CEUR Workshop Proceedings, CEUR-WS.org, (2019)