- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j20 |      | Nguyen Duy Hung, Phan Minh Thang, Phan Minh Dung: Modiso: a Tool for Building Contract Dispute Resolution Systems. International Journal on Artificial Intelligence Tools 21(1) (2012) |
| c40 | | Phan Minh Thang, Phan Minh Dung, Nguyen Duy Hung: Towards Argument-based Foundation for Sceptical and Credulous Dialogue Games. COMMA 2012: 398-409 |
| 2011 | ||
| j19 | | Phan Minh Dung, Giovanni Sartor: The modular logic of private international law. Artif. Intell. Law 19(2-3): 233-261 (2011) |
| j18 | | 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): 307-349 (2011) |
| c39 | | Phan Minh Dung, Phan Minh Thang: Closure and Consistency Rationalities in Logic-Based Argumentation. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 33-43 |
| 2010 | ||
| c38 | | Phan Minh Dung, Phan Minh Thang: Towards (Probabilistic) Argumentation for Jury-based Dispute Resolution. COMMA 2010: 171-182 |
| c37 | | Phan Minh Dung, Francesca Toni, Paolo Mancarella: Some design guidelines for practical argumentation systems. COMMA 2010: 183-194 |
| c36 | | |
| 2009 | ||
| j17 | | Phan Minh Dung, Phan Minh Thang: Modular argumentation for modelling legal doctrines in common law of contract. Artif. Intell. Law 17(3): 167-182 (2009) |
| j16 | | 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): 1071-1109 (2009) |
| c35 | | Phan Minh Dung, Phan Minh Thang, Nguyen Duy Hung: Modular argumentation for modelling legal doctrines of performance relief. ICAIL 2009: 128-136 |
| c34 | | Phan Minh Dung, Do Duc Hanh, Phan Minh Thang: Stabilization of Information Sharing for Queries Answering in Multiagent Systems. ICLP 2009: 84-98 |
| c33 | | Phan Minh Dung, Phan Minh Thang: A Unified Framework for Representation and Development of Dialectical Proof Procedures in Argumentation. IJCAI 2009: 746-751 |
| 2008 | ||
| c32 | | 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: 154-172 |
| c31 | | Phan Minh Dung, Phan Minh Thang, Francesca Toni: Towards argumentation-based contract negotiation. COMMA 2008: 134-146 |
| c30 | | Phan Minh Dung, Phan Minh Thang: Modular Argumentation For Modelling Legal Doctrines in Common Law of Contract. JURIX 2008: 108-117 |
| 2007 | ||
| j15 | | Phan Minh Dung, Paolo Mancarella, Francesca Toni: Computing ideal sceptical argumentation. Artif. Intell. 171(10-15): 642-674 (2007) |
| c29 | | Md. Ahsan Habib, Phan Minh Dung: Effective event description using trend template language and efficient intrusion detection. SMC 2007: 326-331 |
| 2006 | ||
| j14 | | Phan Minh Dung, Robert A. Kowalski, Francesca Toni: Dialectic proof procedures for assumption-based, admissible argumentation. Artif. Intell. 170(2): 114-159 (2006) |
| j13 | | Phan Minh Dung, Do Duc Hanh, Phan Minh Thang: Stabilization of cooperative information agents in unpredictable environment: a logic programming approach. TPLP 6(1-2): 1-22 (2006) |
| c28 | | Phan Minh Dung, Paolo Mancarella, Francesca Toni: A dialectic procedure for sceptical, assumption-based argumentation. COMMA 2006: 145-156 |
| 2005 | ||
| i1 | | Phan Minh Dung, Do Duc Hanh, Phan Minh Thang: Stabilization of Cooperative Information Agents in Unpredictable Environment: A Logic Programming Approach. CoRR abs/cs/0503028 (2005) |
| 2004 | ||
| c27 | | Phan Minh Dung, Phan Minh Thang: Stepwise development of security protocols: a speech act-oriented approach. FMSE 2004: 33-44 |
| c26 | | Phan Minh Dung, Phan Minh Thang: Trust Negotiation with Nonmonotonic Access Policies. INTELLCOMM 2004: 70-84 |
| 2003 | ||
| c25 | | Phan Minh Dung, Do Duc Hanh, Phan Minh Thang: Stabilization of cooperative information agents in unpredictable environment: a logic programming approach. AAMAS 2003: 978-979 |
| 2002 | ||
| j12 | | Phan Minh Dung, Paolo Mancarella: Production Systems with Negation as Failure. IEEE Trans. Knowl. Data Eng. 14(2): 336-352 (2002) |
| c24 | | 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: 289-310 |
| 2001 | ||
| j11 | | Phan Minh Dung, Tran Cao Son: An argument-based approach to reasoning with specificity. Artif. Intell. 133(1-2): 35-85 (2001) |
| 2000 | ||
| c23 | | |
| 1998 | ||
| c22 | | |
| 1997 | ||
| j10 | | Andrei Bondarenko, Phan Minh Dung, Robert A. Kowalski, Francesca Toni: An Abstract, Argumentation-Theoretic Approach to Default Reasoning. Artif. Intell. 93: 63-101 (1997) |
| 1996 | ||
| c21 | | Phan Minh Dung, Paolo Mancarella: Production Systems Need Negation as Failure. AAAI/IAAI, Vol. 2 1996: 1242-1247 |
| c20 | | |
| c19 |  | Phan Minh Dung, Tran Cao Son: An Argumentation-theoretic Approach to Reasoning with Specificity. KR 1996: 506-517 |
| c18 | | Phan Minh Dung, Robert A. Kowalski, Francesca Toni: Synthesis of Proof Procedures for Default Reasoning. LOPSTR 1996: 313-324 |
| 1995 | ||
| j9 | | 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): 321-358 (1995) |
| j8 | | Phan Minh Dung, Chandrabose Aravindan: Knowledge base dynamics, Abduction and Databases updates. Journal of Applied Non-Classical Logics 5(1): 51-76 (1995) |
| j7 | | Phan Minh Dung: An Argumentation-Theoretic Foundations for Logic Programming. J. Log. Program. 22(2): 151-171 (1995) |
| j6 | | Chandrabose Aravindan, Phan Minh Dung: On the Correctness of Unfold/Fold Transformation of Normal and Extended Logic Programs. J. Log. Program. 24(3): 201-217 (1995) |
| c17 | | Phan Minh Dung, Tran Cao Son: Nonmonotonic Inheritance, Argumentation and Logic Programming. LPNMR 1995: 316-329 |
| 1994 | ||
| j5 | | Phan Minh Dung, Ngo Huu Liem: Negation as Failure for Disjunctive Logic Programming. Ann. Math. Artif. Intell. 12(1-2): 25-52 (1994) |
| j4 | | Chandrabose Aravindan, Phan Minh Dung: Partial Deduction of Logic Programs wrt Well-Founded Semantics. New Generation Comput. 13(1): 45-74 (1994) |
| c16 | | Antonis C. Kakas, Paolo Mancarella, Phan Minh Dung: The Acceptability Semantics for Logic Programs. ICLP 1994: 504-519 |
| c15 | | |
| 1993 | ||
| c14 | | Phan Minh Dung: Representing Actions in Logic Programming and Its Applications in Database Updates. ICLP 1993: 222-238 |
| c13 | | Phan Minh Dung: An Argumentation Semantics for Logic Programming with Explicit Negation. ICLP 1993: 616-630 |
| c12 | | Phan Minh Dung: On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning and Logic Programming. IJCAI 1993: 852-859 |
| c11 | | José Júlio Alferes, Phan Minh Dung, Luís Moniz Pereira: Scenario Semantics of Extended Logic Programs. LPNMR 1993: 334-348 |
| 1992 | ||
| j3 | | Rizaldo B. Caringal, Phan Minh Dung: A FORTRAN IV to QuickBASIC translator. SIGPLAN Notices 27(2): 75-87 (1992) |
| j2 | | Phan Minh Dung: On the Relations between Stable and Well-Founded Semantics of Logic Programs. Theor. Comput. Sci. 105(1): 7-25 (1992) |
| c10 | | Chandrabose Aravindan, Phan Minh Dung: Partial Deduction of Logic Programs wrt Well-Founded Semantics. ALP 1992: 384-402 |
| c9 | | Phan Minh Dung: Declarative Semantics of Hypothetical Logic Programming with Negation as Failure. ELP 1992: 45-58 |
| c8 | | Phan Minh Dung: Acyclic Disjunctive Logic Programs with Abductive Procedures as Proof Procedure. FGCS 1992: 555-561 |
| 1991 | ||
| c7 | | Phan Minh Dung: Negations as Hypotheses: An Abductive Foundation for Logic Programming. ICLP 1991: 3-17 |
| c6 | | Phan Minh Dung, Phaiboon Ruamviboonsuk: Well-Founded Reasoning with Classical Negation. LPNMR 1991: 120-132 |
| 1990 | ||
| c5 | | |
| c4 | | Phan Minh Dung: Strong Circumscription Specifies Stable Semantics of Normal Logic Programs. ECAI 1990: 443-448 |
| 1989 | ||
| c3 | | Phan Minh Dung, Kanchana Kanchanasut: A Natural Semantics for Logic Programs with Negation. FSTTCS 1989: 78-88 |
| c2 | | Phan Minh Dung, Kanchana Kanchanasut: On the Generalized Predicate Completion of Non-Horn Programs. NACLP 1989: 587-603 |
| c1 | | Phan Minh Dung, Kanchana Kanchanasut: A Fixpoint Approach to Declarative Semantics of Logic Programs. NACLP 1989: 604-625 |
| 1986 | ||
| j1 | | Peter Bachmann, Phan Minh Dung: Nondeterministic Computations - Structure and Axioms. Elektronische Informationsverarbeitung und Kybernetik 22(5/6): 243-261 (1986) |
Colors in the list of coauthors
Last update Sat May 25 09:02:01 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page