Phan Minh Dung

Publication Activity (10 Years)

Years Active: 1986-2022
Publications (10 Years): 9

Top Venues

Artif. Intell.

Argument Comput.

PRIMA

COMMA

Dresden University of Technology, Germany (PHD)

Education History

Dresden University of Technology, Germany

PHD

Publications

Phan Minh Thang, Phan Minh Dung, Jiraporn Pooksook
Infinite arguments and semantics of dialectical proof procedures. Argument Comput. 13 (2) (2022)
Jiraporn Pooksook, Phan Minh Dung, Ken Satoh, Giovanni Sartor
Modelling last-act attempted crime in criminal law. J. Appl. Non Class. Logics 29 (4) (2019)
Phan Minh Dung, Phan Minh Thang, Tran Cao Son
On Structured Argumentation with Conditional Preferences. AAAI (2019)
Phan Minh Dung, Phan Minh Thang
Fundamental properties of attack relations in structured argumentation with priorities. Artif. Intell. 255 (2018)
Phan Minh Dung, Phan Minh Thang
Representing the semantics of abstract dialectical frameworks based on arguments and attacks. Argument Comput. 9 (3) (2018)
Phan Minh Dung
An axiomatic analysis of structured argumentation with priorities. Artif. Intell. 231 (2016)
Phan Minh Dung, Tran Cao Son, Phan Minh Thang
Argumentation-Based Semantics for Logic Programs with First-Order Formulae. PRIMA (2016)
Phan Minh Dung
A Canonical Semantics for Structured Argumentation with Priorities. COMMA (2016)
Phan Minh Dung
Argumentation for Practical Reasoning: An Axiomatic Approach. PRIMA (2016)
Phan Minh Dung
An Axiomatic Analysis of Structured Argumentation for Prioritized Default Reasoning. ECAI (2014)
Phan Minh Dung, Phan Minh Thang
Closure and Consistency In Logic-Associated Argumentation. J. Artif. Intell. Res. 49 (2014)
Phan Minh Dung
Argumentation for Practical Reasoning. KSE (1) (2013)
Phan Minh Thang, Phan Minh Dung, Nguyen Duy Hung
Towards Argument-based Foundation for Sceptical and Credulous Dialogue Games. COMMA (2012)
Nguyen Duy Hung, Phan Minh Thang, Phan Minh Dung
Modiso: a Tool for Building Contract Dispute Resolution Systems. Int. J. Artif. Intell. Tools 21 (1) (2012)
Phan Minh Dung, Giovanni Sartor
The modular logic of private international law. Artif. Intell. Law 19 (2-3) (2011)
Do Duc Hanh, Phan Minh Dung, Nguyen Duy Hung, Phan Minh Thang
Inductive Defense for Sceptical Semantics of Extended Argumentation. J. Log. Comput. 21 (2) (2011)
Phan Minh Dung, Phan Minh Thang
Closure and Consistency Rationalities in Logic-Based Argumentation. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Phan Minh Dung, Giovanni Sartor
A Logical Model of Private International Law. DEON (2010)
Phan Minh Dung, Phan Minh Thang, Nguyen Duy Hung
Modular argumentation for modelling legal doctrines of performance relief. Argument Comput. 1 (1) (2010)
Phan Minh Dung, Francesca Toni, Paolo Mancarella
Some design guidelines for practical argumentation systems. COMMA (2010)
Phan Minh Dung, Phan Minh Thang
Towards (Probabilistic) Argumentation for Jury-based Dispute Resolution. COMMA (2010)
Phan Minh Dung, Do Duc Hanh, Phan Minh Thang
Stabilization of Information Sharing for Queries Answering in Multiagent Systems. ICLP (2009)
Phan Minh Dung, Phan Minh Thang, Nguyen Duy Hung
Modular argumentation for modelling legal doctrines of performance relief. ICAIL (2009)
Phan Minh Dung, Phan Minh Thang
Modular argumentation for modelling legal doctrines in common law of contract. Artif. Intell. Law 17 (3) (2009)
Phan Minh Thang, Phan Minh Dung, Nguyen Duy Hung
Towards a Common Framework for Dialectical Proof Procedures in Abstract Argumentation. J. Log. Comput. 19 (6) (2009)
Phan Minh Dung, Phan Minh Thang
A Unified Framework for Representation and Development of Dialectical Proof Procedures in Argumentation. IJCAI (2009)
Phan Minh Dung, Phan Minh Thang, Francesca Toni
Towards argumentation-based contract negotiation. COMMA (2008)
Phan Minh Dung, Phan Minh Thang
Modular Argumentation For Modelling Legal Doctrines in Common Law of Contract. JURIX (2008)
Phan Minh Dung, Phan Minh Thang, Nguyen Duy Hung
Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant. CLIMA (2008)
Md. Ahsan Habib, Phan Minh Dung
Effective event description using trend template language and efficient intrusion detection. SMC (2007)
Phan Minh Dung, Paolo Mancarella, Francesca Toni
Computing ideal sceptical argumentation. Artif. Intell. 171 (10-15) (2007)
Phan Minh Dung, Robert A. Kowalski, Francesca Toni
Dialectic proof procedures for assumption-based, admissible argumentation. Artif. Intell. 170 (2) (2006)
Phan Minh Dung, Paolo Mancarella, Francesca Toni
A dialectic procedure for sceptical, assumption-based argumentation. COMMA (2006)
Phan Minh Dung, Do Duc Hanh, Phan Minh Thang
Stabilization of cooperative information agents in unpredictable environment: a logic programming approach. Theory Pract. Log. Program. 6 (1-2) (2006)
Phan Minh Dung, Do Duc Hanh, Phan Minh Thang
Stabilization of Cooperative Information Agents in Unpredictable Environment: A Logic Programming Approach CoRR (2005)
Phan Minh Dung, Phan Minh Thang
Trust Negotiation with Nonmonotonic Access Policies. INTELLCOMM (2004)
Phan Minh Dung, Phan Minh Thang
Stepwise development of security protocols: a speech act-oriented approach. FMSE (2004)
Phan Minh Dung, Do Duc Hanh, Phan Minh Thang
Stabilization of cooperative information agents in unpredictable environment: a logic programming approach. AAMAS (2003)
Phan Minh Dung, Paolo Mancarella
Production Systems with Negation as Failure. IEEE Trans. Knowl. Data Eng. 14 (2) (2002)
Phan Minh Dung, Paolo Mancarella, Francesca Toni
Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning. Computational Logic: Logic Programming and Beyond (2002)
Phan Minh Dung, Tran Cao Son
An argument-based approach to reasoning with specificity. Artif. Intell. 133 (1-2) (2001)
Phan Minh Dung, Tran Cao Son
Default Reasoning with Specificity. Computational Logic (2000)
Phan Minh Dung
A Formal Methodology for Verifying Situated Agents. AAAI/IAAI (1998)
Andrei Bondarenko, Phan Minh Dung, Robert A. Kowalski, Francesca Toni
An Abstract, Argumentation-Theoretic Approach to Default Reasoning. Artif. Intell. 93 (1997)
Phan Minh Dung, Robert A. Kowalski, Francesca Toni
Synthesis of Proof Procedures for Default Reasoning. LOPSTR (1996)
Phan Minh Dung, Paolo Mancarella
Production Systems Need Negation as Failure. AAAI/IAAI, Vol. 2 (1996)
Phan Minh Dung
Integrating Data from Possibly Inconsistent Databases. CoopIS (1996)
Phan Minh Dung, Tran Cao Son
An Argumentation-theoretic Approach to Reasoning with Specificity. KR (1996)
Phan Minh Dung, Chandrabose Aravindan
Knowledge base dynamics, Abduction and Databases updates. J. Appl. Non Class. Logics 5 (1) (1995)
Phan Minh Dung
On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games. Artif. Intell. 77 (2) (1995)
Phan Minh Dung, Tran Cao Son
Nonmonotonic Inheritance, Argumentation and Logic Programming. LPNMR (1995)
Chandrabose Aravindan, Phan Minh Dung
On the Correctness of Unfold/Fold Transformation of Normal and Extended Logic Programs. J. Log. Program. 24 (3) (1995)
Phan Minh Dung
An Argumentation-Theoretic Foundations for Logic Programming. J. Log. Program. 22 (2) (1995)
Antonis C. Kakas, Paolo Mancarella, Phan Minh Dung
The Acceptability Semantics for Logic Programs. ICLP (1994)
Phan Minh Dung, Ngo Huu Liem
Negation as Failure for Disjunctive Logic Programming. Ann. Math. Artif. Intell. 12 (1-2) (1994)
Chandrabose Aravindan, Phan Minh Dung
Partial Deduction of Logic Programs wrt Well-Founded Semantics. New Gener. Comput. 13 (1) (1994)
Chandrabose Aravindan, Phan Minh Dung
Belief Dynamics, Abduction, and Database. JELIA (1994)
José Júlio Alferes, Phan Minh Dung, Luís Moniz Pereira
Scenario Semantics of Extended Logic Programs. LPNMR (1993)
Phan Minh Dung
An Argumentation Semantics for Logic Programming with Explicit Negation. ICLP (1993)
Phan Minh Dung
Representing Actions in Logic Programming and Its Applications in Database Updates. ICLP (1993)
Phan Minh Dung
On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning and Logic Programming. IJCAI (1993)
Phan Minh Dung
Declarative Semantics of Hypothetical Logic Programming with Negation as Failure. ELP (1992)
Chandrabose Aravindan, Phan Minh Dung
Partial Deduction of Logic Programs wrt Well-Founded Semantics. ALP (1992)
Rizaldo B. Caringal, Phan Minh Dung
A FORTRAN IV to QuickBASIC translator. ACM SIGPLAN Notices 27 (2) (1992)
Phan Minh Dung
Acyclic Disjunctive Logic Programs with Abductive Procedures as Proof Procedure. FGCS (1992)
Phan Minh Dung
On the Relations between Stable and Well-Founded Semantics of Logic Programs. Theor. Comput. Sci. 105 (1) (1992)
Phan Minh Dung
Negations as Hypotheses: An Abductive Foundation for Logic Programming. ICLP (1991)
Phan Minh Dung, Phaiboon Ruamviboonsuk
Well-Founded Reasoning with Classical Negation. LPNMR (1991)
Phan Minh Dung
On the strong completion of logic programs. ALP (1990)
Phan Minh Dung
Strong Circumscription Specifies Stable Semantics of Normal Logic Programs. ECAI (1990)
Phan Minh Dung, Kanchana Kanchanasut
A Natural Semantics for Logic Programs with Negation. FSTTCS (1989)
Phan Minh Dung, Kanchana Kanchanasut
On the Generalized Predicate Completion of Non-Horn Programs. NACLP (1989)
Phan Minh Dung, Kanchana Kanchanasut
A Fixpoint Approach to Declarative Semantics of Logic Programs. NACLP (1989)
Peter Bachmann, Phan Minh Dung
Nondeterministic Computations - Structure and Axioms. J. Inf. Process. Cybern. 22 (5/6) (1986)

Phan Minh Dung.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Phan Minh Dung