The extended stable models of contradiction removal semantics
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 105-119
- https://doi.org/10.1007/3-540-54535-2_28
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- The extended stable models of contradiction removal semanticsPublished by Springer Nature ,1991
- Every logic program has a natural stratification and an iterated least fixed point modelPublished by Association for Computing Machinery (ACM) ,1989