From post

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.

 

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

Answer Set Programming., , и . Wiley Encyclopedia of Computer Science and Engineering, John Wiley & Sons, Inc., (2008)Strong Equivalence of Qualitative Optimization Problems, , и . CoRR, (2011)Complexity of super-coherence problems in ASP, , и . CoRR, (2012)The DLV System for Knowledge Representation and Reasoning, , , , , , и . CoRR, (2002)DLV - A System for Declarative Problem Solving, , , , и . CoRR, (2000)Manifold Answer-Set Programs and Their Applications., и . Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, том 6565 из Lecture Notes in Computer Science, стр. 44-63. Springer, (2011)Manifold Answer-Set Programs for Meta-reasoning., и . LPNMR, том 5753 из Lecture Notes in Computer Science, стр. 115-128. Springer, (2009)Design and implementation of aggregate functions in the DLV system., , , , и . Theory Pract. Log. Program., 8 (5-6): 545-580 (2008)The Diagnosis Frontend of the dlv System., , , и . AI Commun., 12 (1-2): 99-111 (1999)Dynamic Magic Sets and super-coherent answer set programs., и . AI Commun., 24 (2): 125-145 (2011)