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.

 

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

Reasoning about Truthfulness of Agents Using Answer Set Programming., , и . AAAI Fall Symposia, стр. 47-50. AAAI Press, (2015)How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP.. LPNMR, том 5753 из Lecture Notes in Computer Science, стр. 4-16. Springer, (2009)Language ASPf with Arithmetic Expressions and Consistency-Restoring Rules, и . CoRR, (2013)Improving DPLL Solver Performance with Domain-Specific Heuristics: the ASP Case. CoRR, (2011)Issues in parallel execution of non-monotonic reasoning systems., , , и . Parallel Comput., 31 (6): 608-647 (2005)An Answer Set Solver for non-Herbrand Programs: Progress Report.. ICLP (Technical Communications), том 17 из LIPIcs, стр. 49-60. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Applying AI for social good: Aligning academic journal ratings with the United Nations Sustainable Development Goals (SDGs)., , и . AI Soc., 38 (2): 613-629 (апреля 2023)Experiments in Answer Sets Planning., , , , и . MICAI, том 1793 из Lecture Notes in Computer Science, стр. 95-107. Springer, (2000)Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework., , , , , и . CoRR, (2022)Answer set based design of knowledge systems., , и . Ann. Math. Artif. Intell., 47 (1-2): 183-219 (2006)