Well-Founded Reasoning with Classical Negation.

GULP-PRODE (1),1994, 引用: 0

,1993, 引用: 16

GULP-PRODE,1995, 引用: 0

Lecture Notes in Computer Science,2004, 引用: 6

International Conference Logic at Work on Knowledge Representation and Reasoning Under Uncertainty, Logic at Work,1992, 引用: 3

Journal of Automated Reasoning,1998, 引用: 39

international conference on logic programming,2006, 引用: 0

Future Generation Computer Systems,1992, 引用: 24

JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence,1994, 引用: 1

XII Congreso Argentino de Ciencias de la Computación,2006, 引用: 0