dblp.uni-trier.dewww.uni-trier.de

Phan Minh Dung Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
52EEPhan Minh Dung, Phan Minh Thang, Nguyen Duy Hung: Modular argumentation for modelling legal doctrines of performance relief. ICAIL 2009: 128-136
51EEPhan Minh Dung, Do Duc Hanh, Phan Minh Thang: Stabilization of Information Sharing for Queries Answering in Multiagent Systems. ICLP 2009: 84-98
50EEPhan Minh Dung, Phan Minh Thang: A Unified Framework for Representation and Development of Dialectical Proof Procedures in Argumentation. IJCAI 2009: 746-751
49EEPhan Minh Dung, Phan Minh Thang: Modular argumentation for modelling legal doctrines in common law of contract. Artif. Intell. Law 17(3): 167-182 (2009)
2008
48EEPhan 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 IX 2008: 154-172
47 Phan Minh Dung, Phan Minh Thang, Francesca Toni: Towards argumentation-based contract negotiation. COMMA 2008: 134-146
46EEPhan Minh Dung, Phan Minh Thang: Modular Argumentation For Modelling Legal Doctrines in Common Law of Contract. JURIX 2008: 108-117
2007
45EEMd. Ahsan Habib, Phan Minh Dung: Effective event description using trend template language and efficient intrusion detection. SMC 2007: 326-331
44EEPhan Minh Dung, Paolo Mancarella, Francesca Toni: Computing ideal sceptical argumentation. Artif. Intell. 171(10-15): 642-674 (2007)
2006
43EEPhan Minh Dung, Paolo Mancarella, Francesca Toni: A dialectic procedure for sceptical, assumption-based argumentation. COMMA 2006: 145-156
42EEPhan Minh Dung, Robert A. Kowalski, Francesca Toni: Dialectic proof procedures for assumption-based, admissible argumentation. Artif. Intell. 170(2): 114-159 (2006)
41EEPhan 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)
2005
40EEPhan 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
39EEPhan Minh Dung, Phan Minh Thang: Stepwise development of security protocols: a speech act-oriented approach. FMSE 2004: 33-44
38EEPhan Minh Dung, Phan Minh Thang: Trust Negotiation with Nonmonotonic Access Policies. INTELLCOMM 2004: 70-84
2003
37EEPhan 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
36EEPhan 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
35EEPhan Minh Dung, Paolo Mancarella: Production Systems with Negation as Failure. IEEE Trans. Knowl. Data Eng. 14(2): 336-352 (2002)
2001
34EEPhan Minh Dung, Tran Cao Son: An argument-based approach to reasoning with specificity. Artif. Intell. 133(1-2): 35-85 (2001)
2000
33EEPhan Minh Dung, Tran Cao Son: Default Reasoning with Specificity. Computational Logic 2000: 792-806
1998
32 Phan Minh Dung: A Formal Methodology for Verifying Situated Agents. AAAI/IAAI 1998: 637-642
1997
31EEAndrei Bondarenko, Phan Minh Dung, Robert A. Kowalski, Francesca Toni: An Abstract, Argumentation-Theoretic Approach to Default Reasoning. Artif. Intell. 93: 63-101 (1997)
1996
30 Phan Minh Dung, Paolo Mancarella: Production Systems Need Negation as Failure. AAAI/IAAI, Vol. 2 1996: 1242-1247
29 Phan Minh Dung: Integrating Data from Possibly Inconsistent Databases. CoopIS 1996: 58-65
28 Phan Minh Dung, Tran Cao Son: An Argumentation-theoretic Approach to Reasoning with Specificity. KR 1996: 506-517
27 Phan Minh Dung, Robert A. Kowalski, Francesca Toni: Synthesis of Proof Procedures for Default Reasoning. LOPSTR 1996: 313-324
1995
26 Phan Minh Dung, Tran Cao Son: Nonmonotonic Inheritance, Argumentation and Logic Programming. LPNMR 1995: 316-329
25EEPhan 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)
24 Phan Minh Dung: An Argumentation-Theoretic Foundations for Logic Programming. J. Log. Program. 22(2): 151-171 (1995)
23 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)
22 Phan Minh Dung, Chandrabose Aravindan: Knowledge base dynamics, Abduction and Databases updates. Journal of Applied Non-Classical Logics 5(1): (1995)
1994
21 Antonis C. Kakas, Paolo Mancarella, Phan Minh Dung: The Acceptability Semantics for Logic Programs. ICLP 1994: 504-519
20EEChandrabose Aravindan, Phan Minh Dung: Belief Dynamics, Abduction, and Database. JELIA 1994: 66-85
19 Phan Minh Dung, Ngo Huu Liem: Negation as Failure for Disjunctive Logic Programming. Ann. Math. Artif. Intell. 12(1-2): 25-52 (1994)
18 Chandrabose Aravindan, Phan Minh Dung: Partial Deduction of Logic Programs wrt Well-Founded Semantics. New Generation Comput. 13(1): 45-74 (1994)
1993
17 Phan Minh Dung: Representing Actions in Logic Programming and Its Applications in Database Updates. ICLP 1993: 222-238
16 Phan Minh Dung: An Argumentation Semantics for Logic Programming with Explicit Negation. ICLP 1993: 616-630
15 Phan Minh Dung: On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning and Logic Programming. IJCAI 1993: 852-859
14 José Júlio Alferes, Phan Minh Dung, Luís Moniz Pereira: Scenario Semantics of Extended Logic Programs. LPNMR 1993: 334-348
1992
13EEChandrabose Aravindan, Phan Minh Dung: Partial Deduction of Logic Programs wrt Well-Founded Semantics. ALP 1992: 384-402
12EEPhan Minh Dung: Declarative Semantics of Hypothetical Logic Programming with Negation as Failure. ELP 1992: 45-58
11 Phan Minh Dung: Acyclic Disjunctive Logic Programs with Abductive Procedures as Proof Procedure. FGCS 1992: 555-561
10EERizaldo B. Caringal, Phan Minh Dung: A FORTRAN IV to QuickBASIC translator. SIGPLAN Notices 27(2): 75-87 (1992)
9 Phan Minh Dung: On the Relations between Stable and Well-Founded Semantics of Logic Programs. Theor. Comput. Sci. 105(1): 7-25 (1992)
1991
8 Phan Minh Dung: Negations as Hypotheses: An Abductive Foundation for Logic Programming. ICLP 1991: 3-17
7 Phan Minh Dung, Phaiboon Ruamviboonsuk: Well-Founded Reasoning with Classical Negation. LPNMR 1991: 120-132
1990
6EEPhan Minh Dung: On the strong completion of logic programs. ALP 1990: 158-172
5 Phan Minh Dung: Strong Circumscription Specifies Stable Semantics of Normal Logic Programs. ECAI 1990: 443-448
1989
4EEPhan Minh Dung, Kanchana Kanchanasut: A Natural Semantics for Logic Programs with Negation. FSTTCS 1989: 78-88
3 Phan Minh Dung, Kanchana Kanchanasut: On the Generalized Predicate Completion of Non-Horn Programs. NACLP 1989: 587-603
2 Phan Minh Dung, Kanchana Kanchanasut: A Fixpoint Approach to Declarative Semantics of Logic Programs. NACLP 1989: 604-625
1986
1 Peter Bachmann, Phan Minh Dung: Nondeterministic Computations - Structure and Axioms. Elektronische Informationsverarbeitung und Kybernetik 22(5/6): 243-261 (1986)

Coauthor Index

1José Júlio Alferes [14]
2Chandrabose Aravindan [13] [18] [20] [22] [23]
3Peter Bachmann [1]
4Andrei Bondarenko [31]
5Rizaldo B. Caringal [10]
6Md. Ahsan Habib [45]
7Do Duc Hanh [37] [40] [41] [51]
8Nguyen Duy Hung [48] [52]
9Antonis C. Kakas [21]
10Kanchana Kanchanasut [2] [3] [4]
11Robert A. Kowalski [27] [31] [42]
12Ngo Huu Liem [19]
13Paolo Mancarella [21] [30] [35] [36] [43] [44]
14Luís Moniz Pereira (Luíz Moniz Pereira) [14]
15Phaiboon Ruamviboonsuk [7]
16Tran Cao Son [26] [28] [33] [34]
17Phan Minh Thang [37] [38] [39] [40] [41] [46] [47] [48] [49] [50] [51] [52]
18Francesca Toni [27] [31] [36] [42] [43] [44] [47]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)