A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf
.
EXPtime tableaux for ALC
2000
Artificial Intelligence
The last years have seen two major advances in Knowledge Representation and Reasoning. First, many interesting problems (ranging from Semi-structured Data to Linguistics) were shown to be expressible in logics whose main deductive problems are EXPTIME-complete. Second, experiments in automated reasoning have substantially broadened the meaning of "practical tractability". Instances of realistic size for PSPACE-complete problems are now within reach for implemented systems. Still, there is a gap
doi:10.1016/s0004-3702(00)00070-9
fatcat:5bil6begnjerbjh5v6h5amfkq4