Adapting Approximation Fixpoint Theory to Nondeterministic Hybrid Reasoning.

Spencer Killen, Jia-Huai You

Browse the full ICLP paper archive.