Author of the publication

An efficient reasoning method on logic programming using partial evaluation in vector spaces.

, , , and . J. Log. Comput., 31 (5): 1298-1316 (2021)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Abduction and Conversational Implicature (Extended Abstract)., and . AAAI Spring Symposia, AAAI Press, (2015)Relating Disjunctive Logic Programs to Default Theories., and . LPNMR, page 266-282. MIT Press, (1993)Induction from answer sets in nonmonotonic logic programs.. ACM Trans. Comput. Log., 6 (2): 203-231 (2005)Possible Model Semantics for Disjunctive Databases.. DOOD, page 369-383. North-Holland/Elsevier Science Publishers, (1989)Ordering Default Theories.. IJCAI, page 839-846. Morgan Kaufmann, (2003)Partial Deduction of Disjunctive Logic Programs: A Declarative Approach., and . LOPSTR, volume 883 of Lecture Notes in Computer Science, page 170-182. Springer, (1994)Discovery of Cellular Automata Rules Using Cases., and . Discovery Science, volume 2843 of Lecture Notes in Computer Science, page 360-368. Springer, (2003)Social Default Theories.. LPNMR, volume 5753 of Lecture Notes in Computer Science, page 470-476. Springer, (2009)Nonmonotonic Parallel Inheritance Network., and . LP, volume 383 of Lecture Notes in Computer Science, page 53-66. Springer, (1988)On the Issue of Argumentation and Informedness., and . JSAI-isAI Workshops, volume 10091 of Lecture Notes in Computer Science, page 317-330. (2015)