Foundation of logic programming based on inductive definition
- 1 March 1984
- journal article
- Published by Springer Nature in New Generation Computing
- Vol. 2 (1), 59-77
- https://doi.org/10.1007/bf03037052
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- Algorithm classification through synthesisThe Computer Journal, 1980
- Transforming matings into natural deduction proofsPublished by Springer Nature ,1980
- Negation as FailurePublished by Springer Nature ,1978
- A syntactic connection between proof procedures and refutation proceduresPublished by Springer Nature ,1977