| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Nguyen Duy Hung, Phan Minh Thang, Phan Minh Dung |
Modiso: a Tool for Building Contract Dispute Resolution Systems.  |
International Journal on Artificial Intelligence Tools  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Do Duc Hanh, Phan Minh Dung, Nguyen Duy Hung, Phan Minh Thang |
Inductive Defense for Sceptical Semantics of Extended Argumentation. |
J. Log. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan Minh Dung, Giovanni Sartor |
The modular logic of private international law. |
Artif. Intell. Law |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan Minh Dung, Phan Minh Thang |
Closure and Consistency Rationalities in Logic-Based Argumentation. |
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan Minh Dung, Giovanni Sartor |
A Logical Model of Private International Law. |
DEON |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan Minh Dung, Phan Minh Thang |
Towards (Probabilistic) Argumentation for Jury-based Dispute Resolution. |
COMMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan Minh Dung, Francesca Toni, Paolo Mancarella |
Some design guidelines for practical argumentation systems. |
COMMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan Minh Thang, Phan Minh Dung, Nguyen Duy Hung |
Towards a Common Framework for Dialectical Proof Procedures in Abstract Argumentation. |
J. Log. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan Minh Dung, Phan Minh Thang |
Modular argumentation for modelling legal doctrines in common law of contract. |
Artif. Intell. Law |
2009 |
DBLP DOI BibTeX RDF |
Legal doctrines, Argumentation in law, Modular argumentation, Argumentation |
| 1 | Phan Minh Dung, Phan Minh Thang |
A Unified Framework for Representation and Development of Dialectical Proof Procedures in Argumentation. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Phan Minh Dung, Do Duc Hanh, Phan Minh Thang |
Stabilization of Information Sharing for Queries Answering in Multiagent Systems. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Abductive Logic Programs, Stabilization, Information Sharing, Cooperative Multiagent Systems |
| 1 | Phan Minh Dung, Phan Minh Thang, Nguyen Duy Hung |
Modular argumentation for modelling legal doctrines of performance relief. |
ICAIL |
2009 |
DBLP DOI BibTeX RDF |
legal doctrines, argumentation, frustration, impossibility |
| 1 | Phan Minh Dung, Phan Minh Thang, Nguyen Duy Hung |
Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant. |
CLIMA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan Minh Dung, Phan Minh Thang |
Modular Argumentation For Modelling Legal Doctrines in Common Law of Contract. |
JURIX |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan Minh Dung, Phan Minh Thang, Francesca Toni |
Towards argumentation-based contract negotiation. |
COMMA |
2008 |
DBLP BibTeX RDF |
|
| 1 | Phan Minh Dung, Paolo Mancarella, Francesca Toni |
Computing ideal sceptical argumentation. |
Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Md. Ahsan Habib, Phan Minh Dung |
Effective event description using trend template language and efficient intrusion detection. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan Minh Dung, Robert A. Kowalski, Francesca Toni |
Dialectic proof procedures for assumption-based, admissible argumentation. |
Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan Minh Dung, Do Duc Hanh, Phan Minh Thang |
Stabilization of cooperative information agents in unpredictable environment: a logic programming approach. |
TPLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan Minh Dung, Paolo Mancarella, Francesca Toni |
A dialectic procedure for sceptical, assumption-based argumentation. |
COMMA |
2006 |
DBLP BibTeX RDF |
|
| 1 | Phan Minh Dung, Do Duc Hanh, Phan Minh Thang |
Stabilization of Cooperative Information Agents in Unpredictable Environment: A Logic Programming Approach |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Phan Minh Dung, Phan Minh Thang |
Trust Negotiation with Nonmonotonic Access Policies. |
INTELLCOMM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan Minh Dung, Phan Minh Thang |
Stepwise development of security protocols: a speech act-oriented approach. |
FMSE |
2004 |
DBLP DOI BibTeX RDF |
security protocols, cryptographic protocols |
| 1 | Phan Minh Dung, Do Duc Hanh, Phan Minh Thang |
Stabilization of cooperative information agents in unpredictable environment: a logic programming approach. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
cooperative information agents, logic programming, stabilization, multiagent systems |
| 1 | Phan Minh Dung, Paolo Mancarella |
Production Systems with Negation as Failure. |
IEEE Trans. Knowl. Data Eng. |
2002 |
DBLP DOI BibTeX RDF |
knowledge representation, knowledge-based systems, expert systems, rule-based systems, rule-based processing |
| 1 | Phan Minh Dung, Paolo Mancarella, Francesca Toni |
Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning. |
Computational Logic: Logic Programming and Beyond |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan Minh Dung, Tran Cao Son |
An argument-based approach to reasoning with specificity. |
Artif. Intell. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan Minh Dung, Tran Cao Son |
Default Reasoning with Specificity. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan Minh Dung |
A Formal Methodology for Verifying Situated Agents. |
AAAI/IAAI |
1998 |
DBLP BibTeX RDF |
|
| 1 | Andrei Bondarenko, Phan Minh Dung, Robert A. Kowalski, Francesca Toni |
An Abstract, Argumentation-Theoretic Approach to Default Reasoning. |
Artif. Intell. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan Minh Dung, Tran Cao Son |
An Argumentation-theoretic Approach to Reasoning with Specificity. |
KR |
1996 |
DBLP BibTeX RDF |
|
| 1 | Phan Minh Dung, Robert A. Kowalski, Francesca Toni |
Synthesis of Proof Procedures for Default Reasoning. |
LOPSTR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan Minh Dung |
Integrating Data from Possibly Inconsistent Databases. |
CoopIS |
1996 |
DBLP BibTeX RDF |
|
| 1 | Phan Minh Dung, Paolo Mancarella |
Production Systems Need Negation as Failure. |
AAAI/IAAI, Vol. 2 |
1996 |
DBLP BibTeX RDF |
|
| 1 | Chandrabose Aravindan, Phan Minh Dung |
On the Correctness of Unfold/Fold Transformation of Normal and Extended Logic Programs. |
J. Log. Program. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan Minh Dung |
An Argumentation-Theoretic Foundations for Logic Programming. |
J. Log. Program. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan Minh Dung, Chandrabose Aravindan |
Knowledge base dynamics, Abduction and Databases updates. |
Journal of Applied Non-Classical Logics |
1995 |
DBLP BibTeX RDF |
|
| 1 | Phan Minh Dung |
On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games. |
Artif. Intell. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan Minh Dung, Tran Cao Son |
Nonmonotonic Inheritance, Argumentation and Logic Programming. |
LPNMR |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Chandrabose Aravindan, Phan Minh Dung |
Partial Deduction of Logic Programs wrt Well-Founded Semantics. |
New Generation Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan Minh Dung, Ngo Huu Liem |
Negation as Failure for Disjunctive Logic Programming. |
Ann. Math. Artif. Intell. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonis C. Kakas, Paolo Mancarella, Phan Minh Dung |
The Acceptability Semantics for Logic Programs. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
| 1 | Chandrabose Aravindan, Phan Minh Dung |
Belief Dynamics, Abduction, and Database. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
belief dynamics, rationality postulates, databases, abduction, epistemology, view updates |
| 1 | Phan Minh Dung |
On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning and Logic Programming. |
IJCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Phan Minh Dung |
An Argumentation Semantics for Logic Programming with Explicit Negation. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
| 1 | Phan Minh Dung |
Representing Actions in Logic Programming and Its Applications in Database Updates. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
| 1 | José Júlio Alferes, Phan Minh Dung, Luís Moniz Pereira |
Scenario Semantics of Extended Logic Programs. |
LPNMR |
1993 |
DBLP BibTeX RDF |
|
| 1 | Phan Minh Dung |
On the Relations between Stable and Well-Founded Semantics of Logic Programs. |
Theor. Comput. Sci. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Rizaldo B. Caringal, Phan Minh Dung |
A FORTRAN IV to QuickBASIC translator. |
SIGPLAN Notices |
1992 |
DBLP DOI BibTeX RDF |
QuickBASIC, FORTRAN |
| 1 | Chandrabose Aravindan, Phan Minh Dung |
Partial Deduction of Logic Programs wrt Well-Founded Semantics. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
well-founded negation, program transformation, Partial deduction |
| 1 | Phan Minh Dung |
Acyclic Disjunctive Logic Programs with Abductive Procedures as Proof Procedure. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Phan Minh Dung |
Declarative Semantics of Hypothetical Logic Programming with Negation as Failure. |
ELP |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan Minh Dung |
Negations as Hypotheses: An Abductive Foundation for Logic Programming. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Phan Minh Dung, Phaiboon Ruamviboonsuk |
Well-Founded Reasoning with Classical Negation. |
LPNMR |
1991 |
DBLP BibTeX RDF |
|
| 1 | Phan Minh Dung |
Strong Circumscription Specifies Stable Semantics of Normal Logic Programs. |
ECAI |
1990 |
DBLP BibTeX RDF |
|
| 1 | Phan Minh Dung |
On the strong completion of logic programs. |
ALP |
1990 |
DBLP DOI BibTeX RDF |
predicate completion, two-valued logic, Logic programming, negation, three-valued logic, stable models, circumscription, well-founded models |
| 1 | Phan Minh Dung, Kanchana Kanchanasut |
A Fixpoint Approach to Declarative Semantics of Logic Programs. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
| 1 | Phan Minh Dung, Kanchana Kanchanasut |
On the Generalized Predicate Completion of Non-Horn Programs. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
| 1 | Phan Minh Dung, Kanchana Kanchanasut |
A Natural Semantics for Logic Programs with Negation. |
FSTTCS |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Bachmann, Phan Minh Dung |
Nondeterministic Computations - Structure and Axioms. |
Elektronische Informationsverarbeitung und Kybernetik |
1986 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")