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.

 

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

Adding Set Terms to Ordered Logic Programs., и . GULP, стр. 87-100. (1993)Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks., , и . Intelligenza Artificiale, 2 (3): 21-28 (2005)Normal Form Nested Programs., , и . Fundam. Informaticae, 96 (3): 271-295 (2009)Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming., , , , , , и . CoRR, (2020)Stable Models and Their Computation for Logic Programming with Inheritance and True Negation., , и . J. Log. Program., 27 (1): 5-43 (1996)Fast Query Answering over Existential Rules., , , и . ACM Trans. Comput. Log., 20 (2): 12:1-12:48 (2019)ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications., , , , , , , и . Algorithms, 16 (3): 159 (марта 2023)Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper)., , , , , и . Theory Pract. Log. Program., 16 (5-6): 653-669 (2016)Large Scale DLV: Preliminary Results., , , , , , , , , и 7 other автор(ы). CILC, том 2396 из CEUR Workshop Proceedings, CEUR-WS.org, (2019)The Birth of a WASP: Preliminary Report on a New ASP Solver., , , , , и . CILC, том 810 из CEUR Workshop Proceedings, стр. 99-113. CEUR-WS.org, (2011)