A mechanical solution of Schubert's steamroller by many-sorted resolution
From MaRDI portal
Publication:1060859
DOI10.1016/0004-3702(85)90029-3zbMath0569.68076WikidataQ56092433 ScholiaQ56092433MaRDI QIDQ1060859
Publication date: 1985
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(85)90029-3
Related Items
An Oxford survey of order sorted algebra, The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning, A semantic backward chaining proof system, An order-sorted logic for knowledge representation systems, Completing sort hierarchies, Reduction and unification in lambda calculi with a general notion of subtype, An order-sorted resolution in theory and practice, A typed resolution principle for deduction with conditional typing theory, Resolution for label-based formulas in hierarchical representation, CoLab: A hybrid knowledge representation and compilation laboratory