Sciweavers

TOCL
2010

FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols

13 years 1 months ago
FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols
Thomas Eiter, Mantas Simkus
Added 31 Jan 2011
Updated 31 Jan 2011
Type Journal
Year 2010
Where TOCL
Authors Thomas Eiter, Mantas Simkus
Comments (0)