Foundations of tree-like local model updates

DOI10.3233/978-1-60750-606-5-615MaRDI QIDQ2999196zbMATH OpenOpenAlexFDO

Authors

Publication date 11 May 2011

Full work available at URL https://dblp.uni-trier.de/db/conf/ecai/ecai2010.html#ZhangKZ10

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• CTL model update for system modifications
• AI 2005: Advances in Artificial Intelligence
• A method for CTL model update, representing Kripke structures as ``table systems
• A Logic Approach for LTL System Modification
• CTL update of Kripke models through protections

Cited in

(5)

• Efficient local updates for undirected graphical models
• A method for CTL model update, representing Kripke structures as ``table systems
• Efficient Computation of the Well-Founded Model Using Update Propagation
• CTL model update for system modifications
• AI 2005: Advances in Artificial Intelligence

This page was built for publication: Foundations of tree-like local model updates

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