Reformation: A generic algorithm for repairing faulty logical theories (2017)
Attributed to:
The Integration and Interaction of Multiple Mathematical Reasoning Processes
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Other
Volume: 10383 LNAI
Parent Publication: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN: 16113349 03029743