EXPTIME tableaux for ALC Export

@article{citeulike:1247453, abstract = {The last years have seen two major advances in Knowledge Representation and Reasoning area. First, many interesting problems (ranging from Semi-structured Data to Hybrid Logics for Linguistics) are expressible in logics whose main deductive problems were proved EXPtime-complete. Second, a number of recent experiments in automated reasoning have substantially broadened the meaning of \"practical tractability\". Instances of realistic size for problems which are Pspace-complete in the worst case...}, author = {Donini, Francesco M. and Massacci, Fabio}, citeulike-article-id = {1247453}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.4597}, journal = {Artificial Intelligence}, keywords = {description-logic, reasoning, tableaux}, number = {1}, pages = {87--138}, posted-at = {2007-04-24 11:04:53}, priority = {3}, title = {EXPTIME tableaux for {ALC}}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.4597}, volume = {124}, year = {2000} }

TY - JOUR ID - citeulike:1247453 L3 - citeulike-article-id:1247453 N2 - The last years have seen two major advances in Knowledge Representation and Reasoning area. First, many interesting problems (ranging from Semi-structured Data to Hybrid Logics for Linguistics) are expressible in logics whose main deductive problems were proved EXPtime-complete. Second, a number of recent experiments in automated reasoning have substantially broadened the meaning of "practical tractability". Instances of realistic size for problems which are Pspace-complete in the worst case... IS - 1 JF - Artificial Intelligence EP - 138 TI - EXPTIME tableaux for {ALC} VL - 124 SP - 87 KW - description-logic KW - reasoning KW - tableaux AU - Donini, Francesco AU - Massacci, Fabio PY - 2000/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.4597 ER -