What Is Negation as Failure?

DOI10.1007/978-3-642-29414-3_5zbMath1356.68031OpenAlexW57027510MaRDI QIDQ2900470

Dov M. 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

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

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