ECAI 2016
Efficient Semantic Tableau Generation for Abduction in Propositional Logic
Abstract
No abstract is available in the live database for this paper.
Authors
Keywords
No keywords are indexed for this paper.
Context
- Venue
- European Conference on Artificial Intelligence
- Archive span
- 1982-2025
- Indexed papers
- 5223
- Paper id
- 1021521820307100737