scientific article
From MaRDI portal
Publication:2721185
zbMath0963.68522MaRDI QIDQ2721185
Renate A. Schmidt, Ullrich Hustadt
Publication date: 1 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (15)
Simulation and Synthesis of Deduction Calculi ⋮ Extensional higher-order paramodulation in Leo-III ⋮ Solving modal logic problems by translation to higher-order logic ⋮ Capturing equilibrium models in modal logic ⋮ Reasoning about plan revision in BDI agent programs ⋮ Optimizing terminological reasoning for expressive description logics ⋮ Inst-Gen – A Modular Approach to Instantiation-Based Automated Reasoning ⋮ First-Order Resolution Methods for Modal Logics ⋮ A general tableau method for propositional interval temporal logics: theory and implementation ⋮ A Foundational View on Integration Problems ⋮ Solving the \$100 modal logic challenge ⋮ Blocking and other enhancements for bottom-up model generation methods ⋮ \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments ⋮ The Tableau Workbench ⋮ A new methodology for developing deduction methods
Uses Software
This page was built for publication:
