Phan Minh Thang

According to our database1, Phan Minh Thang authored at least 22 papers between 2004 and 2022.

Collaborative distances:
  • Dijkstra number2 of five.
  • 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
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
Dialectical Proof Procedures for Probabilistic Abstract Argumentation.
Proceedings of the PRIMA 2016: Princiles and Practice of Multi-Agent Systems, 2016

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

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

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

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

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

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

2006
Stabilization of cooperative information agents in unpredictable environment: a logic programming approach.
Theory Pract. Log. Program., 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


  Loading...