scientific article; zbMATH DE number 4174905

zbMATH Open0714.03029MaRDI QIDQ3199403FDOQ3199403

Authors: Luis de Ledesma, Luis M. Laita 

Publication date: 1989

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 3922020
• scientific article; zbMATH DE number 4201690
• scientific article; zbMATH DE number 4053069
• scientific article; zbMATH DE number 46019
• scientific article; zbMATH DE number 4057055

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
• On logic and generative AI
• Title not available (Why is that?)
• Comprehending software correctness implies comprehending an intelligence-related limitation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)