scientific article; zbMATH DE number 140397

zbMATH Open0765.68189MaRDI QIDQ4028804FDOQ4028804

Authors: Joseph Y. Halpern, Moshe Y. Vardi 

Publication date: 28 March 1993

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

Recommendations

• scientific article; zbMATH DE number 88991
• scientific article; zbMATH DE number 1500666
• scientific article; zbMATH DE number 2112166
• Computer Aided Verification
• Model Checking Knowledge and Linear Time: PSPACE Cases

zbMATH Keywords

model checkingsemantic model

Mathematics Subject Classification ID

Knowledge representation (68T30)

Cited In (11)

• Undecidable cases of model checking probabilistic temporal-epistemic logic (extended abstract)
• John McCarthy's legacy
• Knowledge and communication: A first-order theory
• Off-line reasoning for on-line efficiency: knowledge bases
• Title not available (Why is that?)
• Reasoning with minimal models: efficient algorithms and applications
• Propositional default logics made easier: computational complexity of model checking.
• Preference reasoning with soft constraints in constraint-based recommender systems
• Using temporal logics to express search control knowledge for planning
• Title not available (Why is that?)
• A proof theory for model checking

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