A Tractable Knowledge Representation Service with Full Introspection.

Gerhard Lakemeyer, Hector J. Levesque

Browse the full TARK paper archive.