Phan Minh Dung

76 papers A* 4A 3B 13C 9Journal 28Unranked 17
YearRankTypeTitle / Venue / Authors
2022 J jnl
Infinite arguments and semantics of dialectical proof procedures.
Argument Comput.
Phan Minh Thang, Phan Minh Dung, Jiraporn Pooksook
2019 J jnl
Modelling last-act attempted crime in criminal law.
J. Appl. Non Class. Logics
Jiraporn Pooksook, Phan Minh Dung, Ken Satoh, Giovanni Sartor
2019 A* conf
On Structured Argumentation with Conditional Preferences.
AAAI
Phan Minh Dung, Phan Minh Thang, Tran Cao Son
2018 J jnl
Fundamental properties of attack relations in structured argumentation with priorities.
Artif. Intell.
Phan Minh Dung, Phan Minh Thang
2018 J jnl
Representing the semantics of abstract dialectical frameworks based on arguments and attacks.
Argument Comput.
Phan Minh Dung, Phan Minh Thang
2016 C conf
A Canonical Semantics for Structured Argumentation with Priorities.
COMMA
Phan Minh Dung
2016 J jnl
An axiomatic analysis of structured argumentation with priorities.
Artif. Intell.
Phan Minh Dung
2016 B conf
Argumentation for Practical Reasoning: An Axiomatic Approach.
PRIMA
Phan Minh Dung
2016 B conf
Argumentation-Based Semantics for Logic Programs with First-Order Formulae.
PRIMA
Phan Minh Dung, Tran Cao Son, Phan Minh Thang
2014 A conf
An Axiomatic Analysis of Structured Argumentation for Prioritized Default Reasoning.
ECAI
Phan Minh Dung
2014 J jnl
Closure and Consistency In Logic-Associated Argumentation.
J. Artif. Intell. Res.
Phan Minh Dung, Phan Minh Thang
2013 — conf
Argumentation for Practical Reasoning.
KSE (1)
Phan Minh Dung
2012 J jnl
Modiso: a Tool for Building Contract Dispute Resolution Systems.
Int. J. Artif. Intell. Tools
Nguyen Duy Hung, Phan Minh Thang, Phan Minh Dung
2012 C conf
Towards Argument-based Foundation for Sceptical and Credulous Dialogue Games.
COMMA
Phan Minh Thang, Phan Minh Dung, Nguyen Duy Hung
2011 — conf
Closure and Consistency Rationalities in Logic-Based Argumentation.
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
Phan Minh Dung, Phan Minh Thang
2011 J jnl
Inductive Defense for Sceptical Semantics of Extended Argumentation.
J. Log. Comput.
Do Duc Hanh, Phan Minh Dung, Nguyen Duy Hung, Phan Minh Thang
2011 J jnl
The modular logic of private international law.
Artif. Intell. Law
Phan Minh Dung, Giovanni Sartor
2010 — conf
A Logical Model of Private International Law.
DEON
Phan Minh Dung, Giovanni Sartor
2010 J jnl
Modular argumentation for modelling legal doctrines of performance relief.
Argument Comput.
Phan Minh Dung, Phan Minh Thang, Nguyen Duy Hung
2010 C conf
Some design guidelines for practical argumentation systems.
COMMA
Phan Minh Dung, Francesca Toni, Paolo Mancarella
2010 C conf
Towards (Probabilistic) Argumentation for Jury-based Dispute Resolution.
COMMA
Phan Minh Dung, Phan Minh Thang
2009 A* conf
A Unified Framework for Representation and Development of Dialectical Proof Procedures in Argumentation.
IJCAI
Phan Minh Dung, Phan Minh Thang
2009 — ch.
Assumption-Based Argumentation.
Argumentation in Artificial Intelligence
Phan Minh Dung, Robert A. Kowalski, Francesca Toni
2009 J jnl
Modular argumentation for modelling legal doctrines in common law of contract.
Artif. Intell. Law
Phan Minh Dung, Phan Minh Thang
2009 C conf
Modular argumentation for modelling legal doctrines of performance relief.
ICAIL
Phan Minh Dung, Phan Minh Thang, Nguyen Duy Hung
2009 B conf
Stabilization of Information Sharing for Queries Answering in Multiagent Systems.
ICLP
Phan Minh Dung, Do Duc Hanh, Phan Minh Thang
2009 J jnl
Towards a Common Framework for Dialectical Proof Procedures in Abstract Argumentation.
J. Log. Comput.
Phan Minh Thang, Phan Minh Dung, Nguyen Duy Hung
2008 — conf
Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant.
CLIMA
Phan Minh Dung, Phan Minh Thang, Nguyen Duy Hung
2008 C conf
Modular Argumentation For Modelling Legal Doctrines in Common Law of Contract.
JURIX
Phan Minh Dung, Phan Minh Thang
2008 C conf
Towards argumentation-based contract negotiation.
COMMA
Phan Minh Dung, Phan Minh Thang, Francesca Toni
2007 J jnl
Computing ideal sceptical argumentation.
Artif. Intell.
Phan Minh Dung, Paolo Mancarella, Francesca Toni
2007 B conf
Effective event description using trend template language and efficient intrusion detection.
SMC
Md. Ahsan Habib, Phan Minh Dung
2006 C conf
A dialectic procedure for sceptical, assumption-based argumentation.
COMMA
Phan Minh Dung, Paolo Mancarella, Francesca Toni
2006 J jnl
Dialectic proof procedures for assumption-based, admissible argumentation.
Artif. Intell.
Phan Minh Dung, Robert A. Kowalski, Francesca Toni
2006 J jnl
Stabilization of cooperative information agents in unpredictable environment: a logic programming approach.
Theory Pract. Log. Program.
Phan Minh Dung, Do Duc Hanh, Phan Minh Thang
2005 J jnl
Stabilization of Cooperative Information Agents in Unpredictable Environment: A Logic Programming Approach
CoRR
Phan Minh Dung, Do Duc Hanh, Phan Minh Thang
2004 — conf
Stepwise development of security protocols: a speech act-oriented approach.
FMSE
Phan Minh Dung, Phan Minh Thang
2004 — conf
Trust Negotiation with Nonmonotonic Access Policies.
INTELLCOMM
Phan Minh Dung, Phan Minh Thang
2003 A conf
Stabilization of cooperative information agents in unpredictable environment: a logic programming approach.
AAMAS
Phan Minh Dung, Do Duc Hanh, Phan Minh Thang
2002 — conf
Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning.
Computational Logic: Logic Programming and Beyond
Phan Minh Dung, Paolo Mancarella, Francesca Toni
2002 J jnl
Production Systems with Negation as Failure.
IEEE Trans. Knowl. Data Eng.
Phan Minh Dung, Paolo Mancarella
2001 J jnl
An argument-based approach to reasoning with specificity.
Artif. Intell.
Phan Minh Dung, Tran Cao Son
2000 — conf
Default Reasoning with Specificity.
Computational Logic
Phan Minh Dung, Tran Cao Son
1998 — conf
A Formal Methodology for Verifying Situated Agents.
AAAI/IAAI
Phan Minh Dung
1997 J jnl
An Abstract, Argumentation-Theoretic Approach to Default Reasoning.
Artif. Intell.
Andrei Bondarenko, Phan Minh Dung, Robert A. Kowalski, Francesca Toni
1996 A* conf
An Argumentation-theoretic Approach to Reasoning with Specificity.
KR
Phan Minh Dung, Tran Cao Son
1996 B conf
Integrating Data from Possibly Inconsistent Databases.
CoopIS
Phan Minh Dung
1996 — conf
Production Systems Need Negation as Failure.
AAAI/IAAI, Vol. 2
Phan Minh Dung, Paolo Mancarella
1996 C conf
Synthesis of Proof Procedures for Default Reasoning.
LOPSTR
Phan Minh Dung, Robert A. Kowalski, Francesca Toni
1995 J jnl
An Argumentation-Theoretic Foundations for Logic Programming.
J. Log. Program.
Phan Minh Dung
1995 J jnl
Knowledge base dynamics, Abduction and Databases updates.
J. Appl. Non Class. Logics
Phan Minh Dung, Chandrabose Aravindan
1995 B conf
Nonmonotonic Inheritance, Argumentation and Logic Programming.
LPNMR
Phan Minh Dung, Tran Cao Son
1995 J jnl
On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games.
Artif. Intell.
Phan Minh Dung
1995 J jnl
On the Correctness of Unfold/Fold Transformation of Normal and Extended Logic Programs.
J. Log. Program.
Chandrabose Aravindan, Phan Minh Dung
1994 B conf
Belief Dynamics, Abduction, and Database.
JELIA
Chandrabose Aravindan, Phan Minh Dung
1994 J jnl
Negation as Failure for Disjunctive Logic Programming.
Ann. Math. Artif. Intell.
Phan Minh Dung, Ngo Huu Liem
1994 J jnl
Partial Deduction of Logic Programs wrt Well-Founded Semantics.
New Gener. Comput.
Chandrabose Aravindan, Phan Minh Dung
1994 B conf
The Acceptability Semantics for Logic Programs.
ICLP
Antonis C. Kakas, Paolo Mancarella, Phan Minh Dung
1993 B conf
An Argumentation Semantics for Logic Programming with Explicit Negation.
ICLP
Phan Minh Dung
1993 A* conf
On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning and Logic Programming.
IJCAI
Phan Minh Dung
1993 B conf
Representing Actions in Logic Programming and Its Applications in Database Updates.
ICLP
Phan Minh Dung
1993 B conf
Scenario Semantics of Extended Logic Programs.
LPNMR
José Júlio Alferes, Phan Minh Dung, Luís Moniz Pereira
1992 J jnl
A FORTRAN IV to QuickBASIC translator.
ACM SIGPLAN Notices
Rizaldo B. Caringal, Phan Minh Dung
1992 — conf
Acyclic Disjunctive Logic Programs with Abductive Procedures as Proof Procedure.
FGCS
Phan Minh Dung
1992 — conf
Declarative Semantics of Hypothetical Logic Programming with Negation as Failure.
ELP
Phan Minh Dung
1992 J jnl
On the Relations between Stable and Well-Founded Semantics of Logic Programs.
Theor. Comput. Sci.
Phan Minh Dung
1992 — conf
Partial Deduction of Logic Programs wrt Well-Founded Semantics.
ALP
Chandrabose Aravindan, Phan Minh Dung
1991 B conf
Negations as Hypotheses: An Abductive Foundation for Logic Programming.
ICLP
Phan Minh Dung
1991 B conf
Well-Founded Reasoning with Classical Negation.
LPNMR
Phan Minh Dung, Phaiboon Ruamviboonsuk
1990 — conf
On the strong completion of logic programs.
ALP
Phan Minh Dung
1990 A conf
Strong Circumscription Specifies Stable Semantics of Normal Logic Programs.
ECAI
Phan Minh Dung
1989 — conf
A Fixpoint Approach to Declarative Semantics of Logic Programs.
NACLP
Phan Minh Dung, Kanchana Kanchanasut
1989 — conf
A Natural Semantics for Logic Programs with Negation.
FSTTCS
Phan Minh Dung, Kanchana Kanchanasut
1989 — conf
On the Generalized Predicate Completion of Non-Horn Programs.
NACLP
Phan Minh Dung, Kanchana Kanchanasut
1986 J jnl
Nondeterministic Computations - Structure and Axioms.
J. Inf. Process. Cybern.
Peter Bachmann, Phan Minh Dung
1985 — —
Zur Struktur nichtdeterministischer Berechnungen.
Phan Minh Dung