scientific article; zbMATH DE number 140397

MaRDI QIDQ4028804zbMATHFDO

Authors Joseph Y. Halpern, Moshe Y. Vardi

Publication date 28 March 1993

zbMATH Keywords

model checkingsemantic model

Mathematics Subject Classification ID

Knowledge representation (68T30)

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

Cited in

(11)

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

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)