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) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Logic in artificial intelligence (68T27)

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

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)