Temporal Equilibrium Logic: A First Approach - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pedro Cabalar, Gilberto Pérez Vega. Temporal Equilibrium Logic: A First Approach. In Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia, editors, Computer Aided Systems Theory - EUROCAST 2007, 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers. Volume 4739 of Lecture Notes in Computer Science, pages 241-248, Springer, 2007. [doi]

This author has not been identified. Look up 'Pedro Cabalar' in GoogleThis author has not been identified. Look up 'Gilberto Pérez Vega' in Google

runs on WebDSL