Query processing in quantitative logic programming

This publication has 8 references indexed in Scilit:

• Towards a Theory of Declarative Knowledge
  Published by Elsevier ,1988
• Paraconsistent logic programming
  Published by Springer Nature ,1987
• Quantitative deduction and its fixpoint theory
  The Journal of Logic Programming, 1986
• Notes on the mathematical aspects of Kripke's theory of truth.
  Notre Dame Journal of Formal Logic, 1986
• A kripke-kleene semantics for logic programs*
  The Journal of Logic Programming, 1985
• Optimal fixedpoints of logic programs
  Theoretical Computer Science, 1985
• A semantical analysis of the calculi ${\bf C}_n$.
  Notre Dame Journal of Formal Logic, 1977
• On the theory of inconsistent formal systems.
  Notre Dame Journal of Formal Logic, 1974