Temporal Equilibrium Logic

Pedro Cabalar. Temporal Equilibrium Logic. In Alessandra Mileo, Michael Fink, editors, Proceedings of the 2nd Workshop on Logic-based Interpretation of Context: Modelling and Applications, Vancouver, Canada, May 16, 2011. Volume 738 of CEUR Workshop Proceedings, pages 3, CEUR-WS.org, 2011. [doi]

Abstract

Abstract is missing.