scientific article; zbMATH DE number 1149450

MaRDI QIDQ4386973zbMATH OpenFDO

Authors Joost Engelfriet

Publication date 13 May 1998

zbMATH Keywords

theorem provers

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) General logic (03B99)

Recommendations

• Only persistence makes nonmonotonicity monotonous (extended abstract)
• Nonmonotonic reasoning, preferential models and cumulative logics
• Preference logics: Towards a unified approach to nonmonotonicity in deductive reasoning
• Non-monotonic logic: preferential versus algebraic semantics
• Preferential reasoning for modal logics

Cited in

(3)

• Knowledge updates: Semantics and complexity issues
• scientific article; zbMATH DE number 2015293 (Why is no real title available?)
• Only persistence makes nonmonotonicity monotonous (extended abstract)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4386973)