Making Sense of Conflicting (Defeasible) Rules in the Controlled Natural Language ACE: Design of a System with Support for Existential Quantification Using Skolemization
Keyword(s):
2014 ◽
Vol 12
(2)
◽
pp. 115-129
◽
2021 ◽
Keyword(s):
2021 ◽
Keyword(s):
2015 ◽
pp. 173-183