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

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

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

(17)

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

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)