( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Semi-equilibrium models for paracoherent answer set programs.

, , , , и . Artif. Intell., (2016)

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.

Giovanni Natale

Giovanni Bacigalupo

Giovanni Lamura

Giovanni Falcone

Giovanni Cennini

 

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

A Generator of Hard 2QBF Formulas and ASP Programs., , и . KR, стр. 52-56. AAAI Press, (2018)Extending Bell Numbers for Parsimonious Chase Estimation., и . JELIA, том 11468 из Lecture Notes in Computer Science, стр. 490-497. Springer, (2019)Generating Hard Random Boolean Formulas and Disjunctive Logic Programs., , и . IJCAI, стр. 532-538. ijcai.org, (2017)Enhancing Existential Rules by Closed-World Variables., , , и . IJCAI, стр. 1676-1682. ijcai.org, (2018)Testing in ASP: Revisited Language and Programming Environment., , и . JELIA, том 12678 из Lecture Notes in Computer Science, стр. 362-376. Springer, (2021)Preliminary Results on Modeling Interdependent Scheduling Games via Answer Set Programming.. RiCeRcA@AI*IA, том 2272 из CEUR Workshop Proceedings, CEUR-WS.org, (2018)Explainable Certain Answers., и . IJCAI, стр. 1683-1690. ijcai.org, (2018)Algorithm Selection for Paracoherent Answer Set Computation., , , , и . JELIA, том 11468 из Lecture Notes in Computer Science, стр. 479-489. Springer, (2019)Beyond NP: Quantifying over Answer Sets., , и . Theory Pract. Log. Program., 19 (5-6): 705-721 (2019)Characterizing Nexus of Similarity within Knowledge Bases: A Logic-based Framework and its Computational Complexity Aspects., , и . CoRR, (2023)