Skip to content

Formalizing Non-Monotonic Truth Maintenance Systems.

Andrzej Urbanski

Year1988
ProceedingsAIMSA

Browse the full AIMSA paper archive.