DL-Lite and Interval Temporal Logics: a Marriage Proposal

  • A. Artale
  • D Bresolin
  • A Montanari
  • G Sciavicco
  • V Ryzhikov
Research areas:
Year:
2014
Type of Publication:
In Proceedings
Keywords:
Description logics; interval temporal logics
Book title:
21st European Conferenceon Artificial Intelligence (ECAI), Prague, Czech Republic, August 2014, Proceedings
Pages:
957-958
Hits: 460