Evidence algorithm and inference search in first-order logics
From MaRDI portal
Publication:286802
DOI10.1007/S10817-015-9346-0zbMATH Open1356.03055OpenAlexW2172979345MaRDI QIDQ286802FDOQ286802
Publication date: 26 May 2016
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-015-9346-0
first-order logicintuitionistic logicmodal logicsequent calculusautomated theorem provingclash-resolution methodclassical logicevidence algorithminference searchMaslov's inverse method
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Untersuchungen über das logische Schliessen. I
- A Machine-Oriented Logic Based on the Resolution Principle
- Combining formal derivation search procedures and natural theorem proving techniques in an automated theorem proving system
- A variant of Herbrand's theorem for formulas in prenex form
- Automated Reasoning with Analytic Tableaux and Related Methods
- Mathematical Knowledge Management
- Evidential paradigm: the logical aspect
- Some problems in the theories of automata and artificial intelligence
- What is the inverse method?
Cited In (4)
Uses Software
This page was built for publication: Evidence algorithm and inference search in first-order logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q286802)
