Logics for computer and data sciences, and artificial intelligence

DOI10.1007/978-3-030-91680-0MaRDI QIDQ2057567zbMATH OpenOpenAlexFDO

Authors Lech Polkowski

Publication date 6 December 2021

Published in Studies in Computational Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-91680-0

zbMATH Keywords

rough setsfirst-order logicmany-valued logicmodal logictemporal logicpropositional logic

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic in artificial intelligence (68T27) Logic in computer science (03B70) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Recommendations

• Logics for Computer Science
• scientific article; zbMATH DE number 5728686
• Logic(s), formal languages and complexity for computer science
• scientific article; zbMATH DE number 49445
• scientific article; zbMATH DE number 595198

Cited in

(3)

• A machine learning approach to enhance the SUPG stabilization method for advection-dominated differential problems
• Logic for informatics and artificial intelligence
• scientific article; zbMATH DE number 5728686 (Why is no real title available?)

This page was built for publication: Logics for computer and data sciences, and artificial intelligence

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