Communication dans un congrès, Informatique, Intelligence artificielle

Computational complexity of propositional linear temporal logics based on qualitative spatial or temporal reasoning

Philippe Balbiani, Jean-François Condotta. Computational complexity of propositional linear temporal logics based on qualitative spatial or temporal reasoning. 4th International Workshop on Frontiers of Combining Systems (FroCoS 2002), 2002, Santa Margherita Ligure, Italy. pp.162-176, ⟨10.1007/3-540-45988-X_13⟩. ⟨hal-03300320⟩

Publié le