Logic for informatics and artificial intelligence

MaRDI QIDQ3070800zbMATH OpenFDO

Authors Ricardo Caferra

Publication date 27 January 2011

zbMATH Keywords

first-order logicfuzzy logiclogic programmingmodal logicpropositional logicresolutiontableau proofstemporal logic

Mathematics Subject Classification ID

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

Recommendations

• Logics for computer and data sciences, and artificial intelligence
• Introduction to formal logics. (Introduzione alla logica formale)
• Logic for computer scientists
• scientific article; zbMATH DE number 3938516
• scientific article; zbMATH DE number 193735

Cited in

(12)

• Advances in weighted logics for artificial intelligence
• scientific article; zbMATH DE number 1615755 (Why is no real title available?)
• Introduction to logic-based artificial intelligence
• Mathematical Logic for Computer Science
• Introduction to formal logics. (Introduzione alla logica formale)
• scientific article; zbMATH DE number 5728686 (Why is no real title available?)
• scientific article; zbMATH DE number 193735 (Why is no real title available?)
• scientific article; zbMATH DE number 194631 (Why is no real title available?)
• scientific article; zbMATH DE number 814830 (Why is no real title available?)
• scientific article; zbMATH DE number 837700 (Why is no real title available?)
• Informational logic for automated reasoning
• scientific article; zbMATH DE number 962824 (Why is no real title available?)

This page was built for publication: Logic for informatics and artificial intelligence

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