Sciweavers

Share
TOCL
2011
62views more  TOCL 2011»
8 years 3 months ago
MWeb: A principled framework for modular web rule bases and its semantics
Anastasia Analyti, Grigoris Antoniou, Carlos Viega...
TOCL
2011
87views more  TOCL 2011»
8 years 3 months ago
The tractability of model checking for LTL: The good, the bad, and the ugly fragments
In a seminal paper from 1985, Sistla and Clarke showed that the model-checking problem for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the s...
Michael Bauland, Martin Mundhenk, Thomas Schneider...
TOCL
2011
81views more  TOCL 2011»
8 years 3 months ago
Logic of infons: The propositional case
Yuri Gurevich, Itay Neeman
books