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.

 

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

Editorial: 29th International Conference on Logic Programming special issue., и . Theory Pract. Log. Program., 13 (4-5): 465-470 (2013)An Abstract Machine for Computing the Well-Founded Semantics., , и . JICSLP, стр. 274-288. MIT Press, (1996)Advanced Knowledge Base Debugging for Rulelog., , , , , , , , и . RuleML (2), том 1004 из CEUR Workshop Proceedings, CEUR-WS.org, (2013)An Abstract Machine for Fixed-Order Dynamically Stratified Programs., , и . CADE, том 1104 из Lecture Notes in Computer Science, стр. 328-342. Springer, (1996)Goal-Directed Evaluation of Well-Founded Sematics for XSB., , и . ILPS, стр. 679. MIT Press, (1993)Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions., и . ICLP (Technical Communications), том 7 из LIPIcs, стр. 162-171. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)Forest logging: A trace-based analysis of large rule-based computations.. Semantic Web, 6 (5): 427-449 (2015)Radial Restraint: A Semantically Clean Approach to Bounded Rationality for Logic Programs., и . AAAI, стр. 379-386. AAAI Press, (2013)A New Formulation of Tabled Resolution with Delay.. EPIA, том 1695 из Lecture Notes in Computer Science, стр. 163-177. Springer, (1999)The PITA System for Logical-Probabilistic Inference., и . ILP (Late Breaking Papers), стр. 79-86. Imperial College Press / World Scientific, (2011)