Publications

2 results at AAAI 1992

Algorithms and complexity for reasoning about time
- - Martin C. Golumbic
  - Ron Shamir
- 1992
- AAAI 1992
Non-well-founded approach to terminological cycles
- - Robert Dionne
  - Eric Mays
  - et al.
- 1992
- AAAI 1992