3028 search results - page 22 / 606 » Integrating Temporal Logics |
CADE
2002
Springer
14 years 10 months ago
2002
Springer
Abstract. We investigate the combination of propositional SAT checkers with domain-specific theorem provers as a foundation for bounded model checking over infinite domains. Given ...
LOGCOM
2006
13 years 9 months ago
2006
Seeing To It That (STIT) logic is a logic of agency, proposed in the 1990s in the domain of philosophy of action. It is the logic of constructions of the form `agent a sees to it ...
ICLP
2001
Springer
14 years 2 months ago
2001
Springer
LICS
1997
IEEE
14 years 2 months ago
1997
IEEE
CORR
2006
Springer
13 years 10 months ago
2006
Springer
