Sciweavers

83
Voted
TOCL
2010
73views more  TOCL 2010»

FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols

15 years 25 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)