PSpace Reasoning with the Description Logic ALCF(D)

@article{Lutz2002PSpaceRW,
  title={PSpace Reasoning with the Description Logic ALCF(D)},
  author={Carsten Lutz},
  journal={Logic Journal of the IGPL},
  year={2002},
  volume={10},
  pages={535-568}
}

From This Paper

Topics from this paper.
11 Citations
0 References
Similar Papers

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…