scientific article

From MaRDI portal

Publication:3988856

Jump to:navigation, search

zbMath0737.68072MaRDI QIDQ3988856

Yue J. Jiang

Publication date: 28 June 1992

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

zbMATH Keywords

nonmonotonic reasoning closed world assumption negation as failure semantics of logic programming stable model semantics autoepistemic predicate logic complete database non-standard logic programming nonstandard logic resolution

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

A sequent calculus for skeptical Default Logic ⋮ Sequent calculi for default and autoepistemic logics

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3988856&oldid=12052387"