Theory reasoning in connection calculi

DOI10.1007/b71631zbMath0917.03009OpenAlexW1563969441MaRDI QIDQ1276499

Peter Baumgartner

Publication date: 28 January 1999

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b71631

zbMATH Keywords

theorem provingmodel eliminationconnection calculihybrid reasoningreasoning system for first-order logictheory reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Mechanization of proofs and logical operations (03B35) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Other applications of logic (03B80)

Related Items (2)

Effective charging energy of the single-electron box ⋮ Canonical Ground Horn Theories

Uses Software

• TPTP
• PROTEIN

This page was built for publication: Theory reasoning in connection calculi