A tour of Franz Baader's contributions to knowledge representation and automated deduction

DOI10.1007/978-3-030-22102-7_1MaRDI QIDQ2185456zbMATH OpenOpenAlexFDO

Authors Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, F. Wolter

Publication date 4 June 2020

Full work available at URL https://doi.org/10.1007/978-3-030-22102-7_1

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) History of computer science (68-03) Knowledge representation (68T30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Models: concepts, theory, logic, reasoning and semantics. Essays dedicated to Klaus-Dieter Schewe on the occasion of his 60th birthday
• Argumentation-based proofs of endearment. Essays in honor of Guillermo R. Simari on the occasion of his 70th birthday
• John McCarthy's legacy
• The legacy of a great researcher
• Larry Wos: visions of automated reasoning

This page was built for publication: A tour of Franz Baader's contributions to knowledge representation and automated deduction

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