SLDNF resolution with non-safe rule and fixpoint semantics for general logic programs

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.160, Iss.1, 1996-06, pp. : 283-303

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A semantics for modular general logic programs

By Etalle S.

Theoretical Computer Science, Vol. 206, Iss. 1, 1998-10 ,pp. : 51-80

Elsevier

Access to resources Recommend Favorite

Fixpoint semantics for logic programming a survey

By Fitting M.

Theoretical Computer Science, Vol. 278, Iss. 1, 2002-05 ,pp. : 25-51

Elsevier

Access to resources Recommend Favorite

A Fix-Point Semantics for Rule-Base Anomalies

International Journal of Cognitive Informatics and Natural Intelligence (IJCINI), Vol. 1, Iss. 4, 2007-10 ,pp. : 14-25

IGI Global_journal

Access to resources Recommend Favorite

Fixpoint semantics and simulation

By Hesselink W.H. Thijs A.

Theoretical Computer Science, Vol. 238, Iss. 1, 2000-05 ,pp. : 275-311

Elsevier

Access to resources Recommend Favorite

Contributions to the stable model semantics of logic programs with negation

By Costantini S.

Theoretical Computer Science, Vol. 149, Iss. 2, 1995-10 ,pp. : 231-255

Elsevier

Access to resources Recommend Favorite