Foundations of tree-like local model updates

DOI10.3233/978-1-60750-606-5-615zbMATH Open1211.68417OpenAlexW1506189388MaRDI QIDQ2999196FDOQ2999196

Authors:

Publication date: 11 May 2011

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

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

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)

Cited In (5)

• 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
• 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)