Sciweavers

TOCL
2010

FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols

15 years 11 days 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)