scientific article; zbMATH DE number 4174905

MaRDI QIDQ3199403zbMATH OpenFDO

Authors Luis de Ledesma, Luis M. Laita

Publication date 1989

zbMATH Keywords

Booleautomatic theorem provingNonclassical logicsLogic and Artificial IntelligenceLogic of programming

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35) Logic in computer science (03B70) General topics in artificial intelligence (68T01) Other applications of logic (03B80)

Cited in

(11)

• The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself
• Some perspectives on mathematical aspects of artificial intelligence: Logic versus approximation
• Introduction to logic-based artificial intelligence
• scientific article; zbMATH DE number 1322634 (Why is no real title available?)
• On logic and generative AI
• Comprehending software correctness implies comprehending an intelligence-related limitation
• scientific article; zbMATH DE number 3922020 (Why is no real title available?)
• scientific article; zbMATH DE number 1390350 (Why is no real title available?)
• scientific article; zbMATH DE number 440119 (Why is no real title available?)
• scientific article; zbMATH DE number 67851 (Why is no real title available?)
• scientific article; zbMATH DE number 2085259 (Why is no real title available?)

This page was built for publication:

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