Controlling recursive inference
References (29)
The epistemology of a rule-based expert system
Artificial Intelligence
(1983)Meta-rules: reasoning about control
Artificial Intelligence
(1980)- et al.
On recursive axioms in deductive databases
Information Systems
(1983) A deductive question-answering system
On evaluation of queries containing derived relations in a relational database
A model for deliberation, action, and introspection
Assigning meaning to programs
Realization of a geometry-theorem proving machine
The use of design descriptions in automated diagnosis
Artificial Intelligence
(1985)- et al.
Procedural hints in the control of reasoning
Computation and deduction
Compiling queries in recursive first order databases
J. ACM
(1984)
Cycles of unifiability and decidability by resolution
Cited by (35)
Application of distributed graph transformations to automated generation of control patterns for intelligent lighting systems
2017, Journal of Computational ScienceCitation Excerpt :Actual graph transformations which provide means for dynamic intelligent control are split into the following stages: Splitting the control process into stages prevents recursive inference [31]. That makes it suitable for implementation of the inference engine and transformations directly in a resource-constrained street light controller.
Loop checks for logic programs with functions
2001, Theoretical Computer ScienceOracle semantics for prolog
1995, Information and ComputationRedundancy elimination and loop checks for logic programs
1995, Information and ComputationTermination of logic programs: the never-ending story
1994, The Journal of Logic ProgrammingSatisfiability of the smallest binary program
1993, Information Processing Letters
Copyright © 1986 Published by Elsevier B.V.