scientific article; zbMATH DE number 1761412
From MaRDI portal
Publication:4537432
zbMath0988.68615MaRDI QIDQ4537432
José Júlio Alferes, Luíz Moniz Pereira
Publication date: 30 June 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55) Logic programming (68N17)
Related Items (6)
A logic programming system for nonmonotonic reasoning ⋮ A unifying view for logic programming with non-monotonic reasoning ⋮ Combining explicit negation and negation by failure via Belnap's logic ⋮ Recovery of (non)monotonic theories ⋮ Logic programming and knowledge representation---The A-Prolog perspective ⋮ LUPS -- A language for updating logic programs
This page was built for publication:
