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.

 

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

Join Ordering Techniques for Knowledge Base Systems., , и . SEBD, стр. 79-93. (2001)Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks., , и . Intelligenza Artificiale, 2 (3): 21-28 (2005)Adding Set Terms to Ordered Logic Programs., и . GULP, стр. 87-100. (1993)Driving CDCL Search., , , , , и . CoRR, (2016)Enhancing DLV for Large-Scale Reasoning., , , , , , , , , и 7 other автор(ы). LPNMR, том 11481 из Lecture Notes in Computer Science, стр. 312-325. Springer, (2019)On the Complexity of Search Queries., , и . FMLDO, стр. 113-127. Kluwer, (1998)BQM: a system integrating logic, objects, and non-monotonic reasoning., и . ICTAI, стр. 400-407. IEEE Computer Society, (1995)New DLV Features for Data Integration., , , , , , и . JELIA, том 3229 из Lecture Notes in Computer Science, стр. 698-701. Springer, (2004)Effective Implementation of Negation in Database Logic Query Languages., , , и . LOGIDATA+: Deductive Databases with Complex Objects, том 701 из Lecture Notes in Computer Science, Springer, (1993)On Modularity Properties of Partial Semantics for Disjunctive Logic Programs., и . WLP, стр. 217-226. (1995)