Negation as instantiation

DOI10.1006/inco.1995.1113zbMath0835.68107OpenAlexW2086959410MaRDI QIDQ1898466

Catuscia Palamidessi, Alessandra Di Pierro, Maurizio Martelli

Publication date: 22 April 1996

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/1b6544ecc0be385ef3976dfa395e2c1e4653d9c1

zbMATH Keywords

SLD-resolutionnegation as instantiation

Mathematics Subject Classification ID

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

Related Items

Implementing constructive intensional negation ⋮ Autoepistemic logic programming