Sciweavers

84
Voted
NGC
2007
Springer
171views Communications» more  NGC 2007»
14 years 8 months ago
Description Logics with Contraries, Contradictories, and Subcontraries
Several constructive description logics,12) in which classical negation was replaced by strong negation as a component to treat negative atomic information have been proposed as in...
Ken Kaneiwa
SLP
1994
89views more  SLP 1994»
14 years 10 months ago
Signed Logic Programs
In this paper we explore the notion of a \signing" of a logic program, in the framework of the answer set semantics. In particular, we generalize and extend the notion of a s...
Hudson Turner