|
СТ |
Synthesis of Proof Procedures for Default Reasoning |
1997 |
Dung P. M., Kowalski R. A., Toni F. |
|
|
|
Lecture Notes in Computer Science |
12.04.1997 |
|
СТ |
The Acceptability Semantics for Logic Programs |
1994 |
Kakas A. C., Mancarella P., Dung P. M. |
|
|
|
Logic Programming: Proc. of the Eleventh Intern. Conf. |
01.02.1996 |
|
СТ |
Nonmonotonic Inheritance, Argumentation and Logic Programming |
1995 |
Dung P. M., Son T. C. |
|
|
|
Lecture Notes in Artificial Intelligence |
07.07.1995 |
|
СТ |
Belief Dynamics, Abduction, and Databases |
1994 |
Aravindan C., Dung P. M. |
|
|
|
Lecture Notes in Artificial Intelligence |
28.10.1994 |
|
СТ |
Negations as Hypotheses: An Abductive Foundation for Logic Programming |
1991 |
Dung P. M. |
|
|
|
Logic Programming: Proc./Eighth Intern. Conf. |
19.09.1994 |
|
СТ |
Declarative Semantics of Hypothetical Logic Programming with Negation as Failure |
1992 |
Dung P. M. |
|
|
|
Lecture Notes in Artificial Intelligence |
06.04.1993 |
|
СТ |
On the Relations between Stable and Well-founded Semantics of Logic Programs |
1992 |
Dung P. M. |
|
|
|
Theoretical Computer Science |
17.11.1992 |
|
СТ |
An Algebra of Nondeterministic Computations and Its Powerdomain |
1991 |
Bachmann P., Dung P. M. |
|
|
|
Computers and Artificial Intelligence |
29.03.1992 |
