Open AccessA Tableau Calculus for Temporal Description Logic: The Constant Domain Case.
Author(s) -
Carsten Lutz,
Holger Sturm,
Frank Wolter,
Michael Zakharyaschev
Publication year - 2001
Language(s) - English
Resource type - Reports
DOI - 10.25368/2022.111
Subject(s) - decidability , satisfiability , temporal logic , constant (computer programming) , linear temporal logic , interval temporal logic , computer science , computation tree logic , description logic , domain (mathematical analysis) , boolean satisfiability problem , algorithm , propositional calculus , fragment (logic) , calculus (dental) , mathematics , theoretical computer science , programming language , medicine , mathematical analysis , dentistry
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom