Modeling Variations of First-Order Horn Abduction in Answer Set Programming

30 December 2015

Papers citing "Modeling Variations of First-Order Horn Abduction in Answer Set Programming"

1 / 1 papers shown

Title
ASPeRiX, a First Order Forward Chaining Approach for Answer Set Computing Claire Lefèvre Christopher Béatrix I. Stéphan Laurent Garcia LRM 49 57 0 26 Mar 2015