|
СТ |
The Semantics of Negation in Logic Programming |
1991 |
Schaerf M. |
|
|
|
Programming 91: Proc. 16th Intern. Summer School |
15.08.1991 |
|
СТ |
Reasoning About Reasoning in a Meta-Level Architecture |
1991 |
Aiello L., Nardi D., Schaerf M. |
|
|
|
Applied Intelligence |
06.09.1991 |
|
СТ |
On Compact Representations of Propositional Circumscription |
1995 |
Cadoli M., Donini F. M., Schaerf M. |
|
|
|
Lecture Notes in Computer Science |
25.03.1995 |
|
СТ |
Arbitration (or How to Merge Knowledge Bases) |
1998 |
Liberatore P., Schaerf M. |
|
|
|
IEEE Trans. on Knowledge and Data Engineering |
11.06.1998 |
