A Language for Implementing Arbitrary Logics.

Mark Tarver

Browse the full IJCAI paper archive.