circ2dlp

circ2dlp - translating circumscription into disjunctive logic programming.

References in zbMATH (referenced in 2 articles )

Showing results 1 to 2 of 2.
Sorted by year (citations)

  1. Oikarinen, Emilia; Janhunen, Tomi: Implementing prioritized circumscription by computing disjunctive stable models (2008)
  2. Oikarinen, Emilia; Janhunen, Tomi: \textbfcirc2dlp -- translating circumscription into disjunctive logic programming (2005) ioport