Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases.

Gerhard Lakemeyer

Browse the full KR paper archive.