Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
Arizona State University
1
0
1
1
CaVE revolutionizes the handling of integrity constraints in stableKanren, enabling robust non-monotonic reasoning where none existed before.