Arieli, Ofer

1. Non-Deterministic Approximation Fixpoint Theory and Its Application in Disjunctive Logic Programming
   2022/11/30 by Jesse Heyninck, Heyninck, Jesse, Ofer Arieli +3 · 2 citations
   Computer Science · #Advanced Algebra and Logic #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic, Reasoning, and Knowledge