RACE is a first-order reasoner with equality for Attempto Controlled English (ACE) that can show the consistency of a set of ACE axioms and deduce ACE theorems and ACE queries from ACE axioms. This paper presents various forms of non-monotonic reasoning.
CITATION STYLE
Fuchs, N. E. (2016). Reasoning in attempto controlled english: Non-monotonicity. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9767, pp. 13–24). Springer Verlag. https://doi.org/10.1007/978-3-319-41498-0_2
Mendeley helps you to discover research relevant for your work.