Phan Minh Dung
According to our database1,
Phan Minh Dung
authored at least 71 papers
between 1985 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Argument Comput., 2022
2019
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
Artif. Intell., 2016
Proceedings of the PRIMA 2016: Princiles and Practice of Multi-Agent Systems, 2016
Proceedings of the PRIMA 2016: Princiles and Practice of Multi-Agent Systems, 2016
Proceedings of the Computational Models of Argument, 2016
2014
J. Artif. Intell. Res., 2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
2013
Proceedings of the Knowledge and Systems Engineering, 2013
2012
Int. J. Artif. Intell. Tools, 2012
Proceedings of the Computational Models of Argument, 2012
2011
J. Log. Comput., 2011
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011
2010
Argument Comput., 2010
Proceedings of the Deontic Logic in Computer Science, 10th International Conference, 2010
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010
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
Artif. Intell. Law, 2009
A Unified Framework for Representation and Development of Dialectical Proof Procedures in Argumentation.
Proceedings of the IJCAI 2009, 2009
Proceedings of the Logic Programming, 25th International Conference, 2009
Proceedings of the Argumentation in Artificial Intelligence, 2009
2008
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
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
Artif. Intell., 2006
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2006, 2006
2004
Proceedings of the Intelligence in Communication Systems, IFIP International Conference, 2004
Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, 2004
2002
Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning.
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002
2001
2000
1998
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998
1997
Artif. Intell., 1997
1996
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
Proceedings of the First IFCIS International Conference on Cooperative Information Systems (CoopIS'96), 1996
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996
1995
On the Correctness of Unfold/Fold Transformation of Normal and Extended Logic Programs.
J. Log. Program., 1995
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
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995
1994
New Gener. Comput., 1994
Ann. Math. Artif. Intell., 1994
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
Theor. Comput. Sci., 1992
Acyclic Disjunctive Logic Programs with Abductive Procedures as Proof Procedure.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992
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
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
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1989
1986
Nondeterministic Computations - Structure and Axioms.
J. Inf. Process. Cybern., 1986
1985