`Travelled to:`

1 × Hungary

1 × Sweden

1 × United Kingdom

2 × France

2 × Italy

3 × USA

`Collaborated with:`

∅ T.C.Son K.Kanchanasut C.Aravindan D.D.Hanh P.M.Thang R.A.Kowalski F.Toni A.C.Kakas P.Mancarella

`Talks about:`

program (8) logic (7) semant (4) reason (3) argument (2) approach (2) default (2) complet (2) specif (2) negat (2)

## Person: Phan Minh Dung

### DBLP: Dung:Phan_Minh

### Contributed to:

### Wrote 12 papers:

- ICLP-2009-DungHT #information management #multi #query
- Stabilization of Information Sharing for Queries Answering in Multiagent Systems (PMD, DDH, PMT), pp. 84–98.
- CL-2000-DungS #reasoning
- Default Reasoning with Specificity (PMD, TCS), pp. 792–806.
- KR-1996-DungS #approach #reasoning
- An Argumentation-theoretic Approach to Reasoning with Specificity (PMD, TCS), pp. 506–517.
- LOPSTR-1996-DungKT #proving #reasoning #synthesis
- Synthesis of Proof Procedures for Default Reasoning (PMD, RAK, FT), pp. 313–324.
- ICLP-1994-KakasMD #logic programming #semantics #source code
- The Acceptability Semantics for Logic Programs (ACK, PM, PMD), pp. 504–519.
- ICLP-1993-Dung #database #logic programming #representation
- Representing Actions in Logic Programming and Its Applications in Database Updates (PMD), pp. 222–238.
- ICLP-1993-Dung93a #logic programming #semantics
- An Argumentation Semantics for Logic Programming with Explicit Negation (PMD), pp. 616–630.
- ALP-1992-AravindanD #deduction #logic programming #semantics #source code
- Partial Deduction of Logic Programs wrt Well-Founded Semantics (CA, PMD), pp. 384–402.
- ICLP-1991-Dung #abduction #logic programming
- Negations as Hypotheses: An Abductive Foundation for Logic Programming (PMD), pp. 3–17.
- ALP-1990-Dung #logic programming #on the #source code
- On the strong completion of logic programs (PMD), pp. 158–172.
- NACLP-1989-DungK #on the #source code
- On the Generalized Predicate Completion of Non-Horn Programs (PMD, KK), pp. 587–603.
- NACLP-1989-DungK89a #approach #declarative #fixpoint #logic programming #semantics #source code
- A Fixpoint Approach to Declarative Semantics of Logic Programs (PMD, KK), pp. 604–625.