AAAI 1990
Computing the Extensions of Autoepistemic and Default Logics with a Truth Maintenance System
Abstract
No abstract is available in the live database for this paper.
Authors
Keywords
No keywords are indexed for this paper.
Context
- Venue
- AAAI Conference on Artificial Intelligence
- Archive span
- 1980-2026
- Indexed papers
- 28718
- Paper id
- 506329321843957476