@TECHREPORT\{IMM2006-04648, author = "J. R. Frisvad and P. Falster and G. L. M{\o}ller and N. J. Christensen", title = "Abductive Inference using Array-Based Logic", year = "2006", number = "", series = "IMM-Technical report-2006-06", institution = "Informatics and Mathematical Modelling, Technical University of Denmark, {DTU}", address = "Richard Petersens Plads, Building 321, {DK-}2800 Kgs. Lyngby", type = "", url = "http://www2.compute.dtu.dk/pubdb/pubs/4648-full.html", abstract = "The notion of abduction has found its usage within a wide variety of {AI} fields. Computing abductive solutions has, however, shown to be highly intractable in logic programming. To avoid this intractability we present a new approach to logicbased abduction; through the geometrical view of data employed in array-based logic we embrace abduction in a simple structural operation. We argue that a theory of abduction on this form allows for an implementation which, at runtime, can perform abductive inference quite efficiently on arbitrary rules of logic representing knowledge of finite domains." }