Reasoning about Bounded Time Domain - An Alternative to NP-Complete Fragments of LTL

Norihiro Kamide. Reasoning about Bounded Time Domain - An Alternative to NP-Complete Fragments of LTL. In Joaquim Filipe, Ana L. N. Fred, Bernadette Sharp, editors, ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 1 - Artificial Intelligence, Valencia, Spain, January 22-24, 2010. pages 536-539, INSTICC Press, 2010.

Abstract

Abstract is missing.