Skip to content

Efficient Reasoning Using the Local Closed-World Assumption.

Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas

Year2000
ProceedingsAIMSA

Browse the full AIMSA paper archive.