scientific article; zbMATH DE number 219220

zbMath0774.68092MaRDI QIDQ4694703

Li Yan Yuan, Leigh Willard

Publication date: 29 June 1993

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

zbMATH Keywords

deductive database update semanticspartially closed theoriessemantics of updates on knowledge sets

Mathematics Subject Classification ID

Database theory (68P15) Knowledge representation (68T30) Logic programming (68N17) Other applications of logic (03B80)

Related Items (5)

A glance at revision and updating in knowledge bases ⋮ A survey of belief revision and updating in classical logic ⋮ Notes on change and nonmonotony ⋮ R-calculus for ELP: An operational approach to knowledge base maintenance ⋮ Regular database update logics

This page was built for publication: