Revision specifications by means of programs

DOI10.1007/BFB0021968MaRDI QIDQ4537433zbMATH OpenFDO

Authors Wiktor Marek, Mirosław Truszczyński

Publication date 30 June 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0021968

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
• Annotated revision programs
• 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
• A priori revision
• A method of similarity-driven knowledge revision for type specializations
• Annotated revision programs
• 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: Revision specifications by means of programs

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