Automated reasoning in the wild

DOI10.1007/978-3-319-21401-6_3MaRDI QIDQ3454081zbMATH OpenOpenAlexFDO

Authors Björn Pelzer, C. Schön, 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) Natural language processing (68T50) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Cognitive psychology (91E10)

Recommendations

• An application of automated reasoning in natural language question answering
• LogAnswer - A Deduction-Based Question Answering System (System Description)
• scientific article; zbMATH DE number 4104410
• scientific article; zbMATH DE number 41806
• The interaction of representation and reasoning

Cites work

• An application of automated reasoning in natural language question answering
• Automated reasoning, fast and slow
• Computational logic and human thinking. How to be artificially intelligent
• Deontic logic for human reasoning
• scientific article; zbMATH DE number 4104410 (Why is no real title available?)
• Hyper Tableaux with Equality
• Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)
• MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance
• Sine qua non for large theory reasoning
• Snowball Sampling
• System Description: Spass Version 3.0
• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0

Cited in

(7)

• Reasoning about truth in first-order logic
• Question answering by humans and machines: a complexity-theoretic view
• LogAnswer - A Deduction-Based Question Answering System (System Description)
• MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance
• An application of automated reasoning in natural language question answering
• Automated reasoning, fast and slow
• Faithful Logic Embeddings in HOL — Deep and Shallow (Isabelle/HOL dataset)

Describes a project that uses

Uses Software

• SPASS
• Flyspeck
• MaLARea
• OTTER
• TPTP

This page was built for publication: Automated reasoning in the wild

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