Automated Reasoning in Temporal DL-Lite (Extended Abstract)⋆

by Tahrat, Sabiha, Braun, German, Artale, Alessandro, Gario, Marco and Ozaki, Ana
Reference:
Automated Reasoning in Temporal DL-Lite (Extended Abstract)⋆ (Tahrat, Sabiha, Braun, German, Artale, Alessandro, Gario, Marco and Ozaki, Ana), In .
Bibtex Entry:
@Article{Tahrat,
  author = {Tahrat, Sabiha and Braun, German and Artale, Alessandro and Gario, Marco and Ozaki, Ana},
  title  = {Automated Reasoning in Temporal DL-Lite (Extended Abstract)⋆},
}

Posted in