Custom Search
We show that our semantics is well-behaved when the logic program is properly stratified. We also show that according to this semantics, the usual implementation of the negation-as-failure operator using cut is provably correct.
In recent years, a new approach to representing such systems, grounded in mathematical logic, has been developed within the AI knowledge-representation community.
Go to main academic English page