scientific article; zbMATH DE number 1453073
From MaRDI portal
Publication:4955346
zbMath0946.03030MaRDI QIDQ4955346
Guido Governatori, Michael J. Maher, David Billington, Grigoris Antoniou
Publication date: 25 October 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
nonmonotonic logicnonmonotonic reasoningdefeasible logicLogic Programming without Negation as Failurelogic programming-based default reasoning
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Logic in computer science (03B70) Logic programming (68N17)