scientific article; zbMATH DE number 1761413

zbMATH Open0988.68626MaRDI QIDQ4537433FDOQ4537433

Authors: Wiktor Marek, Mirosław Truszczyński 

Publication date: 30 June 2002

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (17)

• Revision by communication
• Title not available (Why is that?)
• Annotated revision programs
• LUPS -- A language for updating logic programs
• Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints
• Title not available (Why is that?)
• Computational Logic in Multi-Agent Systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)