scientific article; zbMATH DE number 1931921

zbMath1013.68206MaRDI QIDQ4709309

Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki

Publication date: 20 June 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2005/20050470.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

stable modelannotated logicdefeasible deontic logicextended vector annotated logic program with strong negationnonmonotonic reasing

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (3)

The paraconsistent logic of quantum superpositions ⋮ Programming with Annotated Logics ⋮ Jair Minoro Abe on Paraconsistent Engineering

This page was built for publication: