Phan Minh Dũng - Concepedia

Author

Phan Minh Dũng

Also Known As

Dung Phan Minh, Dung, Phan Minh, Minh Dung Phan, P Dung, P. Dung, P. M. Dung, P.M. Dung, PHAN MINH DUNG, Pham Chi Dung, Phan Dung

Publications

7.3K

Citations

H-Index

Concepts

All Affiliations

Asian Institute of Technology Imperial College London University of Pisa University of Minnesota University of Cincinnati

About

Phan Minh Dũng is an author at Asian Institute of Technology specializing in automated reasoning, engineering, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	18	20	6.3K
2	Law	5	5	381
3	Language Studies	4	4	190
4	Management	2	2	77
5	Business	1	1	42

Phan Minh Dũng

Publications

6.6K

Citations

H-Index

Page 1

	Year	Citations
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games Phan Minh Dũng Artificial Intelligence Non-classical LogicEngineeringReasoning SystemArgumentationAutomated Reasoning	1995	4.2K
An abstract, argumentation-theoretic approach to default reasoning A. G. Bondarenko, Phan Minh Dũng, Robert Kowalski, Artificial Intelligence EngineeringReasoning SystemAutomated ReasoningDefault LogicFormal Methods	1997	665
Computing ideal sceptical argumentation Phan Minh Dũng, Paolo Mancarella, Francesca Toni Artificial Intelligence EngineeringArgumentation AnalysisArgumentation FrameworkAutomated ReasoningVerification	2007	386
Dialectic proof procedures for assumption-based, admissible argumentation Phan Minh Dũng, Robert Kowalski, Francesca Toni Artificial Intelligence EngineeringArgumentation FrameworkAutomated ReasoningVerificationFormal Methods	2005	243
An argumentation-theoretic foundation for logic programming Phan Minh Dũng The Journal of Logic Programming Computational LogicEngineeringAutomated ReasoningPropositional LogicFormal Methods	1995	111
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning and logic programming Phan Minh Dũng International Joint Conference on Artificial Intelligence Artificial IntelligenceEngineeringModel-based ReasoningDefeasible LogicSemantics	1993	91
A dialectic procedure for sceptical, assumption-based argumentation Phan Minh Dũng, Paolo Mancarella, Francesca Toni CINECA IRIS Institutial research information system (University of Pisa)	2006	84
An argumentation semantics for logic programming with explicit negation Phan Minh Dũng International Conference on Logic Programming Non-classical LogicEngineeringAutomated ReasoningArgumentation SemanticsNonmonotonic Logic	1993	77
On the relations between stable and well-founded semantics of logic programs Phan Minh Dũng Theoretical Computer Science Applied LogicNon-classical LogicComputational LogicEngineeringAutomated Reasoning	1992	55
Negations as Hypotheses: An Abductive Foundation for Logic Programming. Phan Minh Dũng International Conference on Lightning Protection Non-classical LogicEngineeringAutomated ReasoningNonmonotonic LogicSemantics	1991	54

Page 1