System Description: E- KRHyper

DOI10.1007/978-3-540-73595-3_37zbMATH Open1213.68574OpenAlexW2117935620MaRDI QIDQ3608796FDOQ3608796

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

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

Mathematics Subject Classification ID

Cited In (11)

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

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)