3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.DS2006★ 3 cited
Complexity of Monadic inf-datalog. Application to temporal logic
Eugénie Foustoucos, Irene Guessarian
In [11] we defined Inf-Datalog and characterized the fragments of Monadic inf-Datalog that have the same expressive power as Modal Logic (resp. , alternation-free Modal -ca…
cs.LO2005
On relating CTL to Datalog
Foto Afrati, Theodore Andronikos, Vassia Pavlaki +2
CTL is the dominant temporal specification language in practice mainly due to the fact that it admits model checking in linear time. Logic programming and the database query langua…