СТ |
Fixed-Parameter Complexity of Semantics for Logic Programs |
2001 |
Lone Z., Truszczynski M. |
|
|
|
Lecture Notes in Computer Science |
08.11.2001 |
СТ |
Revision Programming = Logic Programming + Integrity Constraints |
1999 |
Marek V., Pivkina I., Truszczynski M. |
|
|
|
Lecture Notes in Computer Science |
25.05.1999 |
СТ |
Skeptical Rational Extensions |
1995 |
Mikitiuk A., Truszczynski M. |
|
|
|
Lecture Notes in Artificial Intelligence |
07.07.1995 |
СТ |
Revision Programming, Database Updates and Integrity Constraints |
1995 |
Marek V. W., Truszczynski M. |
|
|
|
Lecture Notes in Computer Science |
21.02.1995 |
СТ |
Revision Specifications by Means of Program |
1994 |
Marek V. W., Truszczynski M. |
|
|
|
Lecture Notes in Artificial Intelligence |
28.10.1994 |
СТ |
Modal Nonmonotonic Logics: Ranges, Characterization, Computation |
1993 |
Marek V. W., Schwarz G. F., Truszczynski M. |
|
|
|
J. of the ACM |
25.11.1993 |
СТ |
Nonmonotonic Reasoning Is Sometimes Simpler |
1993 |
Schwarz G., Truszczynski M. |
|
|
|
Lecture Notes in Computer Science |
21.09.1993 |