Tractable Interval Temporal Propositional and Description Logics.
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
Browse the full AAAI paper archive.
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
Browse the full AAAI paper archive.