Sciweavers

9 search results - page 1 / 2
» tocl 2010
Sort
View
53
Voted
TOCL
2010
73views more  TOCL 2010»
14 years 8 months ago
FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols
Thomas Eiter, Mantas Simkus
60
Voted
TOCL
2010
57views more  TOCL 2010»
14 years 8 months ago
A fast algorithm and datalog inexpressibility for temporal reasoning
Manuel Bodirsky, Jan Kára
61
Voted
TOCL
2010
48views more  TOCL 2010»
14 years 8 months ago
Deciding strategy properties of contract-signing protocols
Detlef Kähler, Ralf Küsters, Thomas Wilk...
59
Voted
TOCL
2010
56views more  TOCL 2010»
14 years 8 months ago
On the completeness of compositional reasoning methods
Kedar S. Namjoshi, Richard J. Trefler