Open AccessTractable Interval Temporal Propositional and Description Logics
Author(s) -
Alessandro Artale,
Roman Kontchakov,
Vladislav Ryzhikov,
Michael Zakharyaschev
Publication year - 2015
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - Uncategorized
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v29i1.9406
Subject(s) - interval temporal logic , temporal logic , linear temporal logic , interval (graph theory) , computation tree logic , computer science , fragment (logic) , horn clause , propositional variable , algorithm , theoretical computer science , mathematics , intermediate logic , description logic , combinatorics , logic programming