Informational logic for automated reasoning

DOI10.1007/3-540-61630-6_25MaRDI QIDQ5236445zbMATHOpenAlexFDO

Authors Paola Forcheri, Paolo Gentilini, Maria Teresa Molfino

Publication date 8 October 2019

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61630-6_25

zbMATH Keywords

inductive inferenceautomated theorem provingpossibilistic logicinduction ruleinformational context

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Informational logic as a tool for automated reasoning
• scientific article; zbMATH DE number 1876860
• Logic for informatics and artificial intelligence
• scientific article; zbMATH DE number 1302505
• Information and evidence in logic systems
• scientific article; zbMATH DE number 92609
• Logic programming and reasoning with incomplete information
• scientific article; zbMATH DE number 5728686

Cites work

• scientific article; zbMATH DE number 3143967 (Why is no real title available?)
• scientific article; zbMATH DE number 4155899 (Why is no real title available?)
• scientific article; zbMATH DE number 35413 (Why is no real title available?)
• scientific article; zbMATH DE number 937385 (Why is no real title available?)
• scientific article; zbMATH DE number 3316587 (Why is no real title available?)
• A note on the number of zeros of polynomials and exponential polynomials
• Linear logic
• PROVABILITY LOGIC IN THE GENTZEN FORMULATION OF ARITHMETIC
• Proof theory. 2nd ed
• Proving Theorems about LISP Functions
• Some Results on the Length of Proofs
• The number of proof lines and the size of proofs in first order logic

Cited in

(4)

• A logic with imprecise probabilities and an application to automated reasoning using rewriting techniques
• scientific article; zbMATH DE number 937385 (Why is no real title available?)
• The interaction of representation and reasoning
• scientific article; zbMATH DE number 5060081 (Why is no real title available?)

This page was built for publication: Informational logic for automated reasoning

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