( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reasoning on anonymity in Datalog+/-.

, , , и . ICLP (Technical Communications), том 58 из OASIcs, стр. 3:1-3:5. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)

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

 

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

Querying Large Expressive Horn Ontologies., , , , , , , , , и 7 other автор(ы). SEBD, том 2400 из CEUR Workshop Proceedings, CEUR-WS.org, (2019)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)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)Modeling and Reasoning about NTU Games via Answer Set Programming., , , и . IJCAI, стр. 38-45. IJCAI/AAAI Press, (2016)Efficient Query Answering over Datalog with Existential Quantifiers., , , и . SEBD, стр. 155-162. Edizioni Libreria Progetto, Padova, Italy, (2012)Large Scale DLV: Preliminary Results., , , , , , , , , и 7 other автор(ы). CILC, том 2396 из CEUR Workshop Proceedings, CEUR-WS.org, (2019)First Steps towards Reasoning on Big Data with DLV., , , , и . SEBD, том 2161 из CEUR Workshop Proceedings, CEUR-WS.org, (2018)Enhancing DLV for Large-Scale Reasoning., , , , , , , , , и 7 other автор(ы). LPNMR, том 11481 из Lecture Notes in Computer Science, стр. 312-325. Springer, (2019)