System Description: E- KRHyper

DOI10.1007/978-3-540-73595-3_37MaRDI QIDQ3608796zbMATH OpenOpenAlexFDO

Authors Björn Pelzer, Christoph Wernhard

Publication date 6 March 2009

Published in Automated Deduction – CADE-21 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73595-3_37

Mathematics Subject Classification ID

Recommendations

• System description: E 1.8
• Automated Reasoning
• System description: E.T. 0.1
• Automated Deduction – CADE-20
• System description: E-KRhyper 1.4. Extensions for unique names and description logic
• scientific article; zbMATH DE number 1890626
• scientific article; zbMATH DE number 1614703
• scientific article; zbMATH DE number 1951574
• Krein systems

Cited in

(11)

• Craig interpolation with clausal first-order tableaux
• System description: E-KRhyper 1.4. Extensions for unique names and description logic
• Deontic logic for human reasoning
• scientific article; zbMATH DE number 1765711 (Why is no real title available?)
• Model evolution with equality -- revised and implemented
• E-KRHyper
• LogAnswer - A Deduction-Based Question Answering System (System Description)
• Possible models computation and revision -- a practical approach
• Blocking and other enhancements for bottom-up model generation methods
• Automated Deduction – CADE-20
• Learning from Łukasiewicz and Meredith: investigations into proof structures

Describes a project that uses

Uses Software

• SATCHMO

This page was built for publication: System Description: E- KRHyper

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3608796)