scientific article; zbMATH DE number 65758
From MaRDI portal
Publication:4010369
zbMATH Open0755.03012MaRDI QIDQ4010369FDOQ4010369
Authors: John Shepherdson 
Publication date: 27 September 1992
Title of this publication is not available (Why is that?)
Recommendations
Cited In (30)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- What is in a step: new perspectives on a classical question
- Title not available (Why is that?)
- A linear axiomatization of negation as failure
- Title not available (Why is that?)
- Negation as inconsistency. I
- Negation as failure in the head
- Title not available (Why is that?)
- Title not available (Why is that?)
- Success and failure for hereditary Harrop formulae
- Title not available (Why is that?)
- Title not available (Why is that?)
- Comments on “general failure of logic programs”
- Description logics of minimal knowledge and negation as failure
- Constructive semantics for instantaneous reactions
- Negation as failure. Completeness of the query evaluation process for Horn clause programs with recursive definitions
- A basis function approach to programming concurrent voting systems to perform selection tasks
- Title not available (Why is that?)
- Title not available (Why is that?)
- General failure of logic programs
- The consistency of negation as failure
- Negation as failure. II
- A sound and complete semantics for a version of negation as failure
- From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic
- What is negation as failure?
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4010369)
