Logic programming with default, weak and strict negations

DOI10.1017/S1471068406002791zbMath1108.68030OpenAlexW2041513842MaRDI QIDQ3422418

Susumu Yamasaki

Publication date: 13 February 2007

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1471068406002791

zbMATH Keywords

three-valued logicnegation in logic programming

Mathematics Subject Classification ID

Logic programming (68N17) Many-valued logic (03B50)

Related Items (2)

A three-valued approach to default logic ⋮ Defeasible logic versus Logic Programming without Negation as Failure

This page was built for publication: Logic programming with default, weak and strict negations