Login / Signup

Goal-conflict detection based on temporal satisfiability checking.

Renzo DegiovanniNicolás RicciDalal AlrajehPablo F. CastroNazareno Aguirre
Published in: ASE (2016)
Keyphrases
  • conflict detection
  • temporal information
  • spatio temporal
  • temporal data
  • temporal evolution
  • temporal constraints
  • data sets
  • spatial and temporal
  • temporal reasoning