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.

 

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

Integrating an Answer Set Solver into Prolog: ASP-PROLOG., , и . LPNMR, том 3662 из Lecture Notes in Computer Science, стр. 399-404. Springer, (2005)Justification and debugging of answer set programs in ASP., , и . AADEBUG, стр. 49-58. ACM, (2005)Justifications for logic programs under answer set semantics., , и . Theory Pract. Log. Program., 9 (1): 1-56 (2009)Issues in parallel execution of non-monotonic reasoning systems., , , и . Parallel Comput., 31 (6): 608-647 (2005)Justifications for Logic Programs under Answer Set Semantics, , и . CoRR, (2008)ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog., , и . PADL, том 3057 из Lecture Notes in Computer Science, стр. 148-162. Springer, (2004)A Tool for Knowledge Base Integration and Querying., , и . AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, стр. 16-21. AAAI, (2006)Semantics-Based Filtering: Logic Programming's Killer App?, , , , , , , , , и 1 other автор(ы). PADL, том 2257 из Lecture Notes in Computer Science, стр. 82-100. Springer, (2002)Construction and Optimization of a Parallel Engine for Answer Set Programming., и . PADL, том 1990 из Lecture Notes in Computer Science, стр. 288-303. Springer, (2001)Exploiting Vertical Parallelism from Answer Set Programs., и . Answer Set Programming, (2001)