( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Axiomatization of Aggregates in Answer Set Programming.

, , и . AAAI, стр. 5634-5641. AAAI Press, (2022)

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.

Werner Jörgenshaus

Ana Jorge

Jay Jorgenson

Konrad Jörgens

Helmut Jörgens

 

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

On the Properties of Atom Definability and Well-Supportedness in Logic Programming., , , , и . EPIA, том 10423 из Lecture Notes in Computer Science, стр. 624-636. Springer, (2017)Justifications for programs with disjunctive and causal-choice rules., и . Theory Pract. Log. Program., 16 (5-6): 587-603 (2016)Enablers and inhibitors in causal justifications of logic programs., и . Theory Pract. Log. Program., 17 (1): 49-74 (2017)On the Splitting Property for Epistemic Logic Programs (Extended Abstract)., , и . IJCAI, стр. 4721-4725. ijcai.org, (2020)Sister Conferences Best Papers.Arguing Correctness of ASP Programs with Aggregates., , и . LPNMR, том 13416 из Lecture Notes in Computer Science, стр. 190-202. Springer, (2022)Thirty years of Epistemic Specifications., , и . Theory Pract. Log. Program., 22 (6): 1043-1083 (2022)Enablers and Inhibitors in Causal Justifications of Logic Programs., и . LPNMR, том 9345 из Lecture Notes in Computer Science, стр. 199-212. Springer, (2015)Splitting Epistemic Logic Programs., , и . LPNMR, том 11481 из Lecture Notes in Computer Science, стр. 120-133. Springer, (2019)Omega-Completeness of the Logic of Here-and-There and Strong Equivalence of Logic Programs., и . KR, стр. 240-251. (2023)Structure-Based Semantics of Argumentation Frameworks with Higher-Order Attacks and Supports., , , и . COMMA, том 305 из Frontiers in Artificial Intelligence and Applications, стр. 29-36. IOS Press, (2018)