Skip to content

A Combination of Clausal and Non Clausal Temporal Logic Programs.

Shinji Kono

VenueA*IJCAI
Year1993
ProceedingsExecutable Modal and Temporal Logics

Browse the full IJCAI paper archive.