A Metalogic Programming Approach to Reasoning about Time in Knowledge Bases.

Suryanarayana M. Sripada

Browse the full IJCAI paper archive.