scientific article; zbMATH DE number 1946871

MaRDI QIDQ4411160zbMATH OpenFDO

Authors Peter F. Patel-Schneider, Roberto Sebastiani

Publication date 7 July 2003

zbMATH Keywords

modal decision procedures

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• scientific article; zbMATH DE number 1765693
• SAT-based decision procedures for classical modal logics
• An analysis of empirical testing for modal decision procedures
• Evaluating optimized decision procedures for propositional modal K(m) satisfiability
• Evaluating optimised decision procedures for propositional modal \({\mathbf K}_{({\mathbf m})}\) satisfiability

Cited in

(8)

• Efficient SAT-based minimal model generation methods for modal logic S5
• \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments
• \({\mathrm{K}{_ \mathrm{S}} \mathrm{P}}\): a resolution-based prover for multimodal K
• An analysis of empirical testing for modal decision procedures
• scientific article; zbMATH DE number 1765693 (Why is no real title available?)
• Random generation of capacities and its application in comprehensive decision aiding
• Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)
• Symmetric blocking

Describes a project that uses

Uses Software

• ModLeanTAP

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