scientific article; zbMATH DE number 1761413

MaRDI QIDQ4537433zbMATH OpenFDO

Authors Wiktor Marek, Mirosław Truszczyński

Publication date 30 June 2002

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic programming (68N17) Knowledge representation (68T30)

Recommendations

• Revision programming
• Theoretical Aspects of Computing - ICTAC 2004
• scientific article; zbMATH DE number 1453055
• Annotated revision programs
• Embedding revision programs in logic programming situation calculus

Cited in

(21)

• Revision programming
• LUPS -- A language for updating logic programs
• Annotated revision programs
• Possible models computation and revision -- a practical approach
• Descriptor revision
• Natural dualities through product representations: bilattices and beyond
• Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints
• scientific article; zbMATH DE number 5726459 (Why is no real title available?)
• scientific article; zbMATH DE number 33190 (Why is no real title available?)
• Embedding revision programs in logic programming situation calculus
• scientific article; zbMATH DE number 2064303 (Why is no real title available?)
• Characterization of logic program revision as an extension of propositional revision
• scientific article; zbMATH DE number 1844491 (Why is no real title available?)
• scientific article; zbMATH DE number 1453039 (Why is no real title available?)
• scientific article; zbMATH DE number 1453055 (Why is no real title available?)
• Annotated revision specification programs
• Update by means of inference rules
• Revision by communication
• Computational Logic in Multi-Agent Systems
• Update-programms can update programs
• A brief history of updates of answer-set 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 Q4537433)