Вы здесь

Toni F.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Synthesis of Proof Procedures for Default Reasoning 1997 Dung P. M., Kowalski R. A., Toni F. Lecture Notes in Computer Science 12.04.1997
СТ Reduction of Abductive Logic Programs to Normal Logic Programs 1995 Toni F., Kowalski R. A. Logic Programming: Proc. of the Twelfth Intern. Conf. 08.05.1996
СТ An Argumentation-Theoretic Approach to Logic Program Transformation 1996 Toni F., Kowalski R. A. Lecture Notes in Computer Science 30.03.1996
СТ Computing the Acceptability Semantics 1995 Toni F., Kakas A. C. Lecture Notes in Artificial Intelligence 07.07.1995