Skip to content

A Backward Chaining Resolution Process Involving Non-Monotonic Operators.

D. Ferney, Alain Quilliot

VenueCIPMU
Year1992
ProceedingsIPMU

Browse the full IPMU paper archive.