Sciweavers

JELIA
1998
Springer
14 years 3 months ago
A Resolution Calculus for Dynamic Semantics
Appeared in: Dix, J., del Cerro, F. L., and Furbach, U., editors, Logics in Artificial Intelligence (JELIA'98), Lecture Notes in Artificial Intelligence 1489, Springer, pages...
Christof Monz, Maarten de Rijke