Search alternatives:
"contradictions" » "contraction"
Cover Image
Read Now

1
by Alferes, Jose Julio, Moniz Pereira, Luis
Published 1996
Springer Berlin Heidelberg
Table of Contents: “..., and autoepistemic logics -- WFSX and default logic -- WFSX and hypotheses abduction -- Dealing with contradiction...”
Cover Image
Read Now

2
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... space search -- The extended stable models of contradiction removal semantics -- Modeling a rational...”