Confidences for commonsense reasoning

DOI10.1007/978-3-030-79876-5_29OpenAlexW3179475888MaRDI QIDQ2055883

Dirk Draheim, Tanel Tammet, Priit Järv

Publication date: 1 December 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-79876-5_29

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

GK: implementing full first order default logic for commonsense reasoning (system description)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic for default reasoning
• The CADE-14 ATP system competition
• Keep changing your beliefs, aiming for the truth
• Names are not just sound and smoke: word embeddings for axiom selection
• GKC: a reasoning system for large knowledge bases
• Markov logic networks
• Inference and learning in probabilistic logic programs using weighted Boolean formulas
• Generalized Jeffrey Conditionalization
• Unifying Logical and Statistical AI
• Completeness of Resolution for Definite Answers
• Markov Logic
• Fuzzy algorithms

This page was built for publication: Confidences for commonsense reasoning