On the Expressiveness of Temporal Equilibrium Logic

Laura Bozzelli, David Pearce 0001. On the Expressiveness of Temporal Equilibrium Logic. In Loizos Michael, Antonis C. Kakas, editors, Logics in Artificial Intelligence - 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings. Volume 10021 of Lecture Notes in Computer Science, pages 159-173, 2016. [doi]

Authors

Laura Bozzelli

This author has not been identified. Look up 'Laura Bozzelli' in Google

David Pearce 0001

This author has not been identified. Look up 'David Pearce 0001' in Google