The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Phan Minh Dung: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Phan Minh Dung
    Negations as Hypotheses: An Abductive Foundation for Logic Programming. [Citation Graph (4, 0)][DBLP]
    ICLP, 1991, pp:3-17 [Conf]
  2. Phan Minh Dung
    Integrating Data from Possibly Inconsistent Databases. [Citation Graph (2, 0)][DBLP]
    CoopIS, 1996, pp:58-65 [Conf]
  3. Phan Minh Dung, Kanchana Kanchanasut
    A Fixpoint Approach to Declarative Semantics of Logic Programs. [Citation Graph (2, 0)][DBLP]
    NACLP, 1989, pp:604-625 [Conf]
  4. Phan Minh Dung
    An Argumentation Semantics for Logic Programming with Explicit Negation. [Citation Graph (1, 0)][DBLP]
    ICLP, 1993, pp:616-630 [Conf]
  5. Phan Minh Dung
    On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning and Logic Programming. [Citation Graph (1, 0)][DBLP]
    IJCAI, 1993, pp:852-859 [Conf]
  6. José Júlio Alferes, Phan Minh Dung, Luís Moniz Pereira
    Scenario Semantics of Extended Logic Programs. [Citation Graph (1, 0)][DBLP]
    LPNMR, 1993, pp:334-348 [Conf]
  7. Phan Minh Dung
    A Formal Methodology for Verifying Situated Agents. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1998, pp:637-642 [Conf]
  8. Phan Minh Dung, Paolo Mancarella
    Production Systems Need Negation as Failure. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, Vol. 2, 1996, pp:1242-1247 [Conf]
  9. Chandrabose Aravindan, Phan Minh Dung
    Partial Deduction of Logic Programs wrt Well-Founded Semantics. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:384-402 [Conf]
  10. Phan Minh Dung
    On the strong completion of logic programs. [Citation Graph (0, 0)][DBLP]
    ALP, 1990, pp:158-172 [Conf]
  11. Phan Minh Dung, Do Duc Hanh, Phan Minh Thang
    Stabilization of cooperative information agents in unpredictable environment: a logic programming approach. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2003, pp:978-979 [Conf]
  12. Phan Minh Dung, Paolo Mancarella, Francesca Toni
    Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:289-310 [Conf]
  13. Phan Minh Dung, Phan Minh Thang
    Stepwise development of security protocols: a speech act-oriented approach. [Citation Graph (0, 0)][DBLP]
    FMSE, 2004, pp:33-44 [Conf]
  14. Phan Minh Dung, Tran Cao Son
    Default Reasoning with Specificity. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:792-806 [Conf]
  15. Phan Minh Dung
    Strong Circumscription Specifies Stable Semantics of Normal Logic Programs. [Citation Graph (0, 0)][DBLP]
    ECAI, 1990, pp:443-448 [Conf]
  16. Phan Minh Dung
    Declarative Semantics of Hypothetical Logic Programming with Negation as Failure. [Citation Graph (0, 0)][DBLP]
    ELP, 1992, pp:45-58 [Conf]
  17. Phan Minh Dung
    Acyclic Disjunctive Logic Programs with Abductive Procedures as Proof Procedure. [Citation Graph (0, 0)][DBLP]
    FGCS, 1992, pp:555-561 [Conf]
  18. Phan Minh Dung, Kanchana Kanchanasut
    A Natural Semantics for Logic Programs with Negation. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1989, pp:78-88 [Conf]
  19. Phan Minh Dung
    Representing Actions in Logic Programming and Its Applications in Database Updates. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:222-238 [Conf]
  20. Antonis C. Kakas, Paolo Mancarella, Phan Minh Dung
    The Acceptability Semantics for Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:504-519 [Conf]
  21. Phan Minh Dung, Phan Minh Thang
    Trust Negotiation with Nonmonotonic Access Policies. [Citation Graph (0, 0)][DBLP]
    INTELLCOMM, 2004, pp:70-84 [Conf]
  22. Chandrabose Aravindan, Phan Minh Dung
    Belief Dynamics, Abduction, and Database. [Citation Graph (0, 0)][DBLP]
    JELIA, 1994, pp:66-85 [Conf]
  23. Phan Minh Dung, Tran Cao Son
    An Argumentation-theoretic Approach to Reasoning with Specificity. [Citation Graph (0, 0)][DBLP]
    KR, 1996, pp:506-517 [Conf]
  24. Phan Minh Dung, Robert A. Kowalski, Francesca Toni
    Synthesis of Proof Procedures for Default Reasoning. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1996, pp:313-324 [Conf]
  25. Phan Minh Dung, Tran Cao Son
    Nonmonotonic Inheritance, Argumentation and Logic Programming. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1995, pp:316-329 [Conf]
  26. Phan Minh Dung, Phaiboon Ruamviboonsuk
    Well-Founded Reasoning with Classical Negation. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1991, pp:120-132 [Conf]
  27. Phan Minh Dung, Kanchana Kanchanasut
    On the Generalized Predicate Completion of Non-Horn Programs. [Citation Graph (0, 0)][DBLP]
    NACLP, 1989, pp:587-603 [Conf]
  28. Andrei Bondarenko, Phan Minh Dung, Robert A. Kowalski, Francesca Toni
    An Abstract, Argumentation-Theoretic Approach to Default Reasoning. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1997, v:93, n:, pp:63-101 [Journal]
  29. Phan Minh Dung
    On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1995, v:77, n:2, pp:321-358 [Journal]
  30. Phan Minh Dung, Robert A. Kowalski, Francesca Toni
    Dialectic proof procedures for assumption-based, admissible argumentation. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2006, v:170, n:2, pp:114-159 [Journal]
  31. Phan Minh Dung, Tran Cao Son
    An argument-based approach to reasoning with specificity. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2001, v:133, n:1-2, pp:35-85 [Journal]
  32. Phan Minh Dung, Ngo Huu Liem
    Negation as Failure for Disjunctive Logic Programming. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1994, v:12, n:1-2, pp:25-52 [Journal]
  33. Peter Bachmann, Phan Minh Dung
    Nondeterministic Computations - Structure and Axioms. [Citation Graph (0, 0)][DBLP]
    Elektronische Informationsverarbeitung und Kybernetik, 1986, v:22, n:5/6, pp:243-261 [Journal]
  34. Phan Minh Dung, Chandrabose Aravindan
    Knowledge base dynamics, Abduction and Databases updates. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1995, v:5, n:1, pp:- [Journal]
  35. Chandrabose Aravindan, Phan Minh Dung
    On the Correctness of Unfold/Fold Transformation of Normal and Extended Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1995, v:24, n:3, pp:201-217 [Journal]
  36. Phan Minh Dung
    An Argumentation-Theoretic Foundations for Logic Programming. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1995, v:22, n:2, pp:151-171 [Journal]
  37. Chandrabose Aravindan, Phan Minh Dung
    Partial Deduction of Logic Programs wrt Well-Founded Semantics. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1994, v:13, n:1, pp:45-74 [Journal]
  38. Rizaldo B. Caringal, Phan Minh Dung
    A FORTRAN IV to QuickBASIC translator. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1992, v:27, n:2, pp:75-87 [Journal]
  39. Phan Minh Dung
    On the Relations between Stable and Well-Founded Semantics of Logic Programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:105, n:1, pp:7-25 [Journal]
  40. Phan Minh Dung, Paolo Mancarella
    Production Systems with Negation as Failure. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2002, v:14, n:2, pp:336-352 [Journal]
  41. Phan Minh Dung, Do Duc Hanh, Phan Minh Thang
    Stabilization of cooperative information agents in unpredictable environment: a logic programming approach. [Citation Graph (0, 0)][DBLP]
    TPLP, 2006, v:6, n:1-2, pp:1-22 [Journal]
  42. Phan Minh Dung, Paolo Mancarella, Francesca Toni
    Computing ideal sceptical argumentation. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2007, v:171, n:10-15, pp:642-674 [Journal]
  43. Phan Minh Dung, Do Duc Hanh, Phan Minh Thang
    Stabilization of Cooperative Information Agents in Unpredictable Environment: A Logic Programming Approach [Citation Graph (0, 0)][DBLP]
    CoRR, 2005, v:0, n:, pp:- [Journal]

  44. Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant. [Citation Graph (, )][DBLP]


  45. A Logical Model of Private International Law. [Citation Graph (, )][DBLP]


  46. Modular argumentation for modelling legal doctrines of performance relief. [Citation Graph (, )][DBLP]


  47. Stabilization of Information Sharing for Queries Answering in Multiagent Systems. [Citation Graph (, )][DBLP]


  48. A Unified Framework for Representation and Development of Dialectical Proof Procedures in Argumentation. [Citation Graph (, )][DBLP]


  49. Effective event description using trend template language and efficient intrusion detection. [Citation Graph (, )][DBLP]


  50. Towards argumentation-based contract negotiation. [Citation Graph (, )][DBLP]


  51. A dialectic procedure for sceptical, assumption-based argumentation. [Citation Graph (, )][DBLP]


  52. Modular Argumentation For Modelling Legal Doctrines in Common Law of Contract. [Citation Graph (, )][DBLP]


  53. Modular argumentation for modelling legal doctrines in common law of contract. [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.010secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002