Search Results for author:
Found 1 papers, 0 papers with code
Automated Reasoning in Temporal DL-Lite
This paper investigates the feasibility of automated reasoning over temporal DL-Lite (TDL-Lite) knowledge bases (KBs).
Cannot find the paper you are looking for? You can
Submit a new open access paper.
