( en | de | ru )

 

Disambiguation of "Dung, Phan Minh"

Author of the publication

copydeleteadd this publication to your clipboard
A Fixpoint Approach to Declarative Semantics of Logic Programs.

, and . NACLP, page 604-625. MIT Press, (1989)

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.

Dung Phan Minh

Phan-Tien Dung

Phan Xuan Minh

Thi My-Dung Phan

Thi Minh Diep Phan

 

Other publications of authors with the same name

Dialectic proof procedures for assumption-based, admissible argumentation., , and . Artif. Intell., 170 (2): 114-159 (2006)On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games.. Artif. Intell., 77 (2): 321-358 (1995)Partial Deduction of Logic Programs wrt Well-Founded Semantics., and . ALP, volume 632 of Lecture Notes in Computer Science, page 384-402. Springer, (1992)An Axiomatic Analysis of Structured Argumentation for Prioritized Default Reasoning.. ECAI, volume 263 of Frontiers in Artificial Intelligence and Applications, page 267-272. IOS Press, (2014)Some design guidelines for practical argumentation systems., , and . COMMA, volume 216 of Frontiers in Artificial Intelligence and Applications, page 183-194. IOS Press, (2010)An Argumentation-theoretic Foundation of Logic Programming. Journal of Logic Programming, 22 (2): 151--177 (1995)A Canonical Semantics for Structured Argumentation with Priorities.. COMMA, volume 287 of Frontiers in Artificial Intelligence and Applications, page 263-274. IOS Press, (2016)A Fixpoint Approach to Declarative Semantics of Logic Programs., and . NACLP, page 604-625. MIT Press, (1989)The Acceptability Semantics for Logic Programs., , and . ICLP, page 504-519. MIT Press, (1994)Argumentation for Practical Reasoning: An Axiomatic Approach.. PRIMA, volume 9862 of Lecture Notes in Computer Science, page 20-39. Springer, (2016)