Equilibrium logic is a formal system of nonmonotonic reasoning proposed by D. Pearce [6,7] that generalises the stable model and answer set semantics for logic programs [1]. The program tabeql included several systems that are related to equilibrium logic and are based on tableau methodology: an equilibrium model generator [8], a checker for strong equivalence between theories [4] and a checker for uniform equivalence [9].
CITATION STYLE
Valverde, A. (2004). Tabeql: A tableau based suite for equilibrium logic. In Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) (Vol. 3229, pp. 734–737). Springer Verlag. https://doi.org/10.1007/978-3-540-30227-8_69
Mendeley helps you to discover research relevant for your work.