Phan Minh Thang

27 papers A* 2A 1B 3C 5Journal 12Unranked 4
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 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 B conf
Argumentation-Based Semantics for Logic Programs with First-Order Formulae.
PRIMA
Phan Minh Dung, Tran Cao Son, Phan Minh Thang
2016 B conf
Dialectical Proof Procedures for Probabilistic Abstract Argumentation.
PRIMA
Phan Minh Thang
2014 J jnl
Closure and Consistency In Logic-Associated Argumentation.
J. Artif. Intell. Res.
Phan Minh Dung, Phan Minh Thang
2014 J jnl
Translating preferred subtheories into structured argumentation.
J. Log. Comput.
Phan Minh Thang, Huynh Trung Luong
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
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
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 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
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