| 2008 |
|---|
| 47 | | Phan Minh Dung,
Phan Minh Thang,
Francesca Toni:
Towards argumentation-based contract negotiation.
COMMA 2008: 134-146 |
| 46 | EE | Phan Minh Dung,
Phan Minh Thang:
Modular Argumentation For Modelling Legal Doctrines in Common Law of Contract.
JURIX 2008: 108-117 |
| 2007 |
|---|
| 45 | EE | Md. Ahsan Habib,
Phan Minh Dung:
Effective event description using trend template language and efficient intrusion detection.
SMC 2007: 326-331 |
| 44 | EE | Phan Minh Dung,
Paolo Mancarella,
Francesca Toni:
Computing ideal sceptical argumentation.
Artif. Intell. 171(10-15): 642-674 (2007) |
| 2006 |
|---|
| 43 | EE | Phan Minh Dung,
Paolo Mancarella,
Francesca Toni:
A dialectic procedure for sceptical, assumption-based argumentation.
COMMA 2006: 145-156 |
| 42 | EE | Phan Minh Dung,
Robert A. Kowalski,
Francesca Toni:
Dialectic proof procedures for assumption-based, admissible argumentation.
Artif. Intell. 170(2): 114-159 (2006) |
| 41 | EE | 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) |
| 2005 |
|---|
| 40 | EE | 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 |
|---|
| 39 | EE | Phan Minh Dung,
Phan Minh Thang:
Stepwise development of security protocols: a speech act-oriented approach.
FMSE 2004: 33-44 |
| 38 | EE | Phan Minh Dung,
Phan Minh Thang:
Trust Negotiation with Nonmonotonic Access Policies.
INTELLCOMM 2004: 70-84 |
| 2003 |
|---|
| 37 | EE | 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 |
|---|
| 36 | EE | 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 |
| 35 | EE | Phan Minh Dung,
Paolo Mancarella:
Production Systems with Negation as Failure.
IEEE Trans. Knowl. Data Eng. 14(2): 336-352 (2002) |
| 2001 |
|---|
| 34 | EE | Phan Minh Dung,
Tran Cao Son:
An argument-based approach to reasoning with specificity.
Artif. Intell. 133(1-2): 35-85 (2001) |
| 2000 |
|---|
| 33 | EE | Phan 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 |
|---|
| 31 | EE | 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 |
|---|
| 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 |
| 25 | EE | 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) |
| 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 |
| 20 | | Chandrabose 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 |
|---|
| 13 | | Chandrabose Aravindan,
Phan Minh Dung:
Partial Deduction of Logic Programs wrt Well-Founded Semantics.
ALP 1992: 384-402 |
| 12 | | Phan 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 |
| 10 | EE | Rizaldo 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 |
|---|
| 6 | | Phan 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 |
|---|
| 4 | | Phan 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) |
