A sound and complete semantics for a version of negation as failure

A sound and complete procedure for a general logic program in non- floundering derivations with respect to the 3-valued stable model semantics

Theoretical Computer Science

An automated reasoning for diagnostic knowledge in a distributed environment

ISICT '03 Proceedings of the 1st international symposium on Information and communication technologies

Logic programming with default, weak and strict negations

Theory and Practice of Logic Programming

What is negation as failure?

Logic Programs, Norms and Action