Search papers, labs, and topics across Lattice.
1
0
3
11
Unlock rapid prototyping of temporal reasoning systems: this meta-programming framework lets you implement and experiment with different temporal logics within Answer Set Programming without wrestling with the rigidity of optimized ASP systems.