AMAI
2006
Springer
14 years 2 months ago
2006
Springer
We expand the applicability of the clausal resolution technique to the branching-time temporal logic ECTL
AI
2007
Springer
14 years 2 months ago
2007
Springer
Since belief revision deals with the interaction of belief and information over time, branching-time temporal logic seems a natural setting for a theory of belief change. We propo...
WOLLIC
2010
Springer
14 years 6 months ago
2010
Springer
sed Logic for Program Abstractions Martin Lange1 and Markus Latte2 1 Dept. of Computer Science, University of Kassel, Germany 2 Dept. of Computer Science, Ludwig-Maximilians-Univer...