Phan Minh Dung

According to our database1, Phan Minh Dung authored at least 71 papers between 1985 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Infinite arguments and semantics of dialectical proof procedures.
Argument Comput., 2022

2019
Modelling last-act attempted crime in criminal law.
J. Appl. Non Class. Logics, 2019

On Structured Argumentation with Conditional Preferences.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
Representing the semantics of abstract dialectical frameworks based on arguments and attacks.
Argument Comput., 2018

Fundamental properties of attack relations in structured argumentation with priorities.
Artif. Intell., 2018

2016
An axiomatic analysis of structured argumentation with priorities.
Artif. Intell., 2016

Argumentation-Based Semantics for Logic Programs with First-Order Formulae.
Proceedings of the PRIMA 2016: Princiles and Practice of Multi-Agent Systems, 2016

Argumentation for Practical Reasoning: An Axiomatic Approach.
Proceedings of the PRIMA 2016: Princiles and Practice of Multi-Agent Systems, 2016

A Canonical Semantics for Structured Argumentation with Priorities.
Proceedings of the Computational Models of Argument, 2016

2014
Closure and Consistency In Logic-Associated Argumentation.
J. Artif. Intell. Res., 2014

An Axiomatic Analysis of Structured Argumentation for Prioritized Default Reasoning.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013
Argumentation for Practical Reasoning.
Proceedings of the Knowledge and Systems Engineering, 2013

2012
Modiso: a Tool for Building Contract Dispute Resolution Systems.
Int. J. Artif. Intell. Tools, 2012

Towards Argument-based Foundation for Sceptical and Credulous Dialogue Games.
Proceedings of the Computational Models of Argument, 2012

2011
Inductive Defense for Sceptical Semantics of Extended Argumentation.
J. Log. Comput., 2011

The modular logic of private international law.
Artif. Intell. Law, 2011

Closure and Consistency Rationalities in Logic-Based Argumentation.
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2010
Modular argumentation for modelling legal doctrines of performance relief.
Argument Comput., 2010

A Logical Model of Private International Law.
Proceedings of the Deontic Logic in Computer Science, 10th International Conference, 2010

Some design guidelines for practical argumentation systems.
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010

Towards (Probabilistic) Argumentation for Jury-based Dispute Resolution.
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010

2009
Towards a Common Framework for Dialectical Proof Procedures in Abstract Argumentation.
J. Log. Comput., 2009

Modular argumentation for modelling legal doctrines in common law of contract.
Artif. Intell. Law, 2009

A Unified Framework for Representation and Development of Dialectical Proof Procedures in Argumentation.
Proceedings of the IJCAI 2009, 2009

Stabilization of Information Sharing for Queries Answering in Multiagent Systems.
Proceedings of the Logic Programming, 25th International Conference, 2009

Assumption-Based Argumentation.
Proceedings of the Argumentation in Artificial Intelligence, 2009

2008
Towards argumentation-based contract negotiation.
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2008, 2008

Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant.
Proceedings of the Computational Logic in Multi-Agent Systems, 9th International Workshop, 2008

2007
Computing ideal sceptical argumentation.
Artif. Intell., 2007

Effective event description using trend template language and efficient intrusion detection.
Proceedings of the IEEE International Conference on Systems, 2007

2006
Stabilization of cooperative information agents in unpredictable environment: a logic programming approach.
Theory Pract. Log. Program., 2006

Dialectic proof procedures for assumption-based, admissible argumentation.
Artif. Intell., 2006

A dialectic procedure for sceptical, assumption-based argumentation.
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2006, 2006

2004
Trust Negotiation with Nonmonotonic Access Policies.
Proceedings of the Intelligence in Communication Systems, IFIP International Conference, 2004

Stepwise development of security protocols: a speech act-oriented approach.
Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, 2004

2002
Production Systems with Negation as Failure.
IEEE Trans. Knowl. Data Eng., 2002

Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning.
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001
An argument-based approach to reasoning with specificity.
Artif. Intell., 2001

2000
Default Reasoning with Specificity.
Proceedings of the Computational Logic, 2000

1998
A Formal Methodology for Verifying Situated Agents.
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997
An Abstract, Argumentation-Theoretic Approach to Default Reasoning.
Artif. Intell., 1997

1996
Synthesis of Proof Procedures for Default Reasoning.
Proceedings of the Logic Programming Synthesis and Transformation, 1996

An Argumentation-theoretic Approach to Reasoning with Specificity.
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

Integrating Data from Possibly Inconsistent Databases.
Proceedings of the First IFCIS International Conference on Cooperative Information Systems (CoopIS'96), 1996

Production Systems Need Negation as Failure.
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995
An Argumentation-Theoretic Foundations for Logic Programming.
J. Log. Program., 1995

On the Correctness of Unfold/Fold Transformation of Normal and Extended Logic Programs.
J. Log. Program., 1995

Knowledge base dynamics, Abduction and Databases updates.
J. Appl. Non Class. Logics, 1995

On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games.
Artif. Intell., 1995

Nonmonotonic Inheritance, Argumentation and Logic Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

1994
Partial Deduction of Logic Programs wrt Well-Founded Semantics.
New Gener. Comput., 1994

Negation as Failure for Disjunctive Logic Programming.
Ann. Math. Artif. Intell., 1994

Belief Dynamics, Abduction, and Database.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1994

The Acceptability Semantics for Logic Programs.
Proceedings of the Logic Programming, 1994

1993
Scenario Semantics of Extended Logic Programs.
Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993

On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning and Logic Programming.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

An Argumentation Semantics for Logic Programming with Explicit Negation.
Proceedings of the Logic Programming, 1993

Representing Actions in Logic Programming and Its Applications in Database Updates.
Proceedings of the Logic Programming, 1993

1992
On the Relations between Stable and Well-Founded Semantics of Logic Programs.
Theor. Comput. Sci., 1992

A FORTRAN IV to QuickBASIC translator.
ACM SIGPLAN Notices, 1992

Acyclic Disjunctive Logic Programs with Abductive Procedures as Proof Procedure.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

Declarative Semantics of Hypothetical Logic Programming with Negation as Failure.
Proceedings of the Extensions of Logic Programming, Third International Workshop, 1992

1991
Well-Founded Reasoning with Classical Negation.
Proceedings of the Logic Programming and Non-monotonic Reasoning, 1991

Negations as Hypotheses: An Abductive Foundation for Logic Programming.
Proceedings of the Logic Programming, 1991

1990
Strong Circumscription Specifies Stable Semantics of Normal Logic Programs.
Proceedings of the 9th European Conference on Artificial Intelligence, 1990

On the strong completion of logic programs.
Proceedings of the Algebraic and Logic Programming, 1990

1989
A Fixpoint Approach to Declarative Semantics of Logic Programs.
Proceedings of the Logic Programming, 1989

On the Generalized Predicate Completion of Non-Horn Programs.
Proceedings of the Logic Programming, 1989

A Natural Semantics for Logic Programs with Negation.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1989

1986
Nondeterministic Computations - Structure and Axioms.
J. Inf. Process. Cybern., 1986

1985
Zur Struktur nichtdeterministischer Berechnungen.
PhD thesis, 1985


  Loading...