System Description: E-KRHyper 1.4

DOI10.1007/978-3-642-38574-2_8zbMath1381.68258OpenAlexW203486424MaRDI QIDQ4928433

Claudia Schon, Markus Bender, Björn Pelzer

Publication date: 14 June 2013

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

Full work available at URL: https://doi.org/10.1007/978-3-642-38574-2_8

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items

Semantically-guided goal-sensitive reasoning: model representation ⋮ Craig interpolation with clausal first-order tableaux ⋮ On First-Order Model-Based Reasoning ⋮ Semantically-guided goal-sensitive reasoning: inference system and completeness ⋮ Deontic Logic for Human Reasoning ⋮ Names are not just sound and smoke: word embeddings for axiom selection ⋮ E-KRHyper

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