Informational logic for automated reasoning
From MaRDI portal
Publication:5236445
DOI10.1007/3-540-61630-6_25zbMATH Open1427.68291OpenAlexW1608609041MaRDI QIDQ5236445FDOQ5236445
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
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
Knowledge representation (68T30) Logic in artificial intelligence (68T27) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Linear logic
- Proof theory. 2nd ed
- The number of proof lines and the size of proofs in first order logic
- Some Results on the Length of Proofs
- Proving Theorems about LISP Functions
- A note on the number of zeros of polynomials and exponential polynomials
- PROVABILITY LOGIC IN THE GENTZEN FORMULATION OF ARITHMETIC
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (4)
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)
