What Is Negation as Failure?

DOI10.1007/978-3-642-29414-3_5zbMATH Open1356.68031OpenAlexW57027510MaRDI QIDQ2900470FDOQ2900470

Dov Gabbay

Publication date: 23 July 2012

Published in: Logic Programs, Norms and Action (Search for Journal in Brave)

Full work available at URL: http://orbilu.uni.lu/handle/10993/26111

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Cited In (1)

• What is failure? An approach to constructive negation

This page was built for publication: What Is Negation as Failure?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2900470)