Logics in Artificial Intelligence

DOI10.1007/B100483zbMath1111.68383OpenAlexW335252711MaRDI QIDQ5394131

Susana Muñoz-Hernandez, Juan José Moreno-Navarro

Publication date: 25 October 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b100483

zbMATH Keywords

Constructive NegationLP and nonmonotonic reasoningNegation in Prolog

Mathematics Subject Classification ID

Logic programming (68N17)

This page was built for publication: Logics in Artificial Intelligence