Automated Reasoning in the Wild

DOI10.1007/978-3-319-21401-6_3zbMath1465.68274OpenAlexW1443822303MaRDI QIDQ3454081

Claudia Schon, Björn Pelzer, Ulrich Furbach

Publication date: 2 December 2015

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

Full work available at URL: https://doi.org/10.1007/978-3-319-21401-6_3

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Cognitive psychology (91E10) Natural language processing (68T50) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Uses Software

• OTTER
• SPASS
• TPTP
• Flyspeck
• MaLARea

Cites Work

• Unnamed Item
• Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)
• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
• Snowball Sampling
• MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance
• An application of automated reasoning in natural language question answering
• Hyper Tableaux with Equality
• System Description: Spass Version 3.0
• Automated Reasoning, Fast and Slow
• Deontic Logic for Human Reasoning
• Computational Logic and Human Thinking
• Sine Qua Non for Large Theory Reasoning

This page was built for publication: Automated Reasoning in the Wild