BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Dung:Phan_Minh

Contributed to:

ICLP 20092009
CL 20002000
KR 19961996
LOPSTR 19961996
ICLP 19941994
ICLP 19931993
ALP 19921992
ICLP 19911991
ALP 19901990
NACLP 19891989

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.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.