default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPhan Minh Dung
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[j27]Phan Minh Thang, Phan Minh Dung, Jiraporn Pooksook:
Infinite arguments and semantics of dialectical proof procedures. Argument Comput. 13(2): 121-157 (2022)
2010 – 2019
- 2019
- [j26]Jiraporn Pooksook, Phan Minh Dung, Ken Satoh, Giovanni Sartor
:
Modelling last-act attempted crime in criminal law. J. Appl. Non Class. Logics 29(4): 327-357 (2019) - [c46]Phan Minh Dung, Phan Minh Thang, Tran Cao Son:
On Structured Argumentation with Conditional Preferences. AAAI 2019: 2792-2800 - 2018
- [j25]Phan Minh Dung, Phan Minh Thang:
Fundamental properties of attack relations in structured argumentation with priorities. Artif. Intell. 255: 1-42 (2018) - [j24]Phan Minh Dung, Phan Minh Thang:
Representing the semantics of abstract dialectical frameworks based on arguments and attacks. Argument Comput. 9(3): 249-267 (2018) - 2016
- [j23]Phan Minh Dung:
An axiomatic analysis of structured argumentation with priorities. Artif. Intell. 231: 107-150 (2016) - [c45]Phan Minh Dung:
A Canonical Semantics for Structured Argumentation with Priorities. COMMA 2016: 263-274 - [c44]Phan Minh Dung:
Argumentation for Practical Reasoning: An Axiomatic Approach. PRIMA 2016: 20-39 - [c43]Phan Minh Dung, Tran Cao Son, Phan Minh Thang:
Argumentation-Based Semantics for Logic Programs with First-Order Formulae. PRIMA 2016: 43-60 - 2014
- [j22]Phan Minh Dung, Phan Minh Thang:
Closure and Consistency In Logic-Associated Argumentation. J. Artif. Intell. Res. 49: 79-109 (2014) - [c42]Phan Minh Dung:
An Axiomatic Analysis of Structured Argumentation for Prioritized Default Reasoning. ECAI 2014: 267-272 - 2013
- [c41]Phan Minh Dung:
Argumentation for Practical Reasoning. KSE (1) 2013: 5 - 2012
- [j21]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) - [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
- [j20]Phan Minh Dung, Giovanni Sartor:
The modular logic of private international law. Artif. Intell. Law 19(2-3): 233-261 (2011) - [j19]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
- [j18]Phan Minh Dung, Phan Minh Thang, Nguyen Duy Hung:
Modular argumentation for modelling legal doctrines of performance relief. Argument Comput. 1(1): 47-69 (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]Phan Minh Dung, Giovanni Sartor:
A Logical Model of Private International Law. DEON 2010: 229-246
2000 – 2009
- 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 - [p1]Phan Minh Dung, Robert A. Kowalski, Francesca Toni:
Assumption-Based Argumentation. Argumentation in Artificial Intelligence 2009: 199-218 - 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. Theory Pract. Log. Program. 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]Phan Minh Dung, Tran Cao Son:
Default Reasoning with Specificity. Computational Logic 2000: 792-806
1990 – 1999
- 1998
- [c22]Phan Minh Dung:
A Formal Methodology for Verifying Situated Agents. AAAI/IAAI 1998: 637-642 - 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]Phan Minh Dung:
Integrating Data from Possibly Inconsistent Databases. CoopIS 1996: 58-65 - [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. J. Appl. Non Class. 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 Gener. 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]Chandrabose Aravindan, Phan Minh Dung:
Belief Dynamics, Abduction, and Database. JELIA 1994: 66-85 - 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. ACM 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]Phan Minh Dung:
On the strong completion of logic programs. ALP 1990: 158-172 - [c4]Phan Minh Dung:
Strong Circumscription Specifies Stable Semantics of Normal Logic Programs. ECAI 1990: 443-448
1980 – 1989
- 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. J. Inf. Process. Cybern. 22(5/6): 243-261 (1986) - 1985
- [b1]Phan Minh Dung:
Zur Struktur nichtdeterministischer Berechnungen. Dresden University of Technology, Germany, 1985
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
