Extending Prolog with nonmonotonic reasoning
From MaRDI portal
Publication:3129501
DOI10.1016/0743-1066(95)00151-4zbMath0874.68053OpenAlexW2045235537MaRDI QIDQ3129501
Publication date: 10 November 1997
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0743-1066(95)00151-4
This page was built for publication: Extending Prolog with nonmonotonic reasoning