Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction
Journal of Automated Reasoning1994Vol. 13(2), pp. 189–210
Citations Over TimeTop 10% of 1994 papers
Related Papers
- → Using Prolog’s Inference Engine(1989)3 cited
- An expert system for screening enhanced oil recovery methods(1990)
- → Backward Chaining Ontology Reasoning Systems with Custom Rules(2016)1 cited
- → Constructing and consulting the knowledge base of an expert systems shell(1993)13 cited