scientific article; zbMATH DE number 1761414

MaRDI QIDQ4537434zbMATH OpenFDO

Authors Cees Witteveen, Wiebe van der Hoek, Hans de Nivelle

Publication date 30 June 2002

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• A unifying view for logic programming with non-monotonic reasoning
• Non-monotonic reasoning with logic programming
• Logic programming with non-monotonic semantics: representing knowledge and its computation
• An overview of nonmonotonic reasoning and logic programming
• Overview of an abstract fixed point theory for non-monotonic functions and its applications to logic programming
• scientific article; zbMATH DE number 4103050
• scientific article; zbMATH DE number 517025
• Modular nonmonotonic logic programming revisited

Cited in

(4)

• scientific article; zbMATH DE number 1487805 (Why is no real title available?)
• The discovery/justification context dichotomy within formal and computational models of scientific theories: a weakening of the distinction based on the perspective of non-monotonic logics
• Revision by communication
• Update-programms can update programs

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 Q4537434)