Logic program proportions

DOI10.1007/S10472-023-09904-8MaRDI QIDQ6953240zbMATH OpenFDO

Authors Christian Antić

Publication date 24 July 2025

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S10472-023-09904-8

zbMATH Keywords

analogical reasoningautomatic programmingcomputational creativitylearningprogram synthesis

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17) Logic in artificial intelligence (68T27)

Cites work

• Analogical proportions
• Analogy and Formal Languages
• Analogy between concepts
• Automated programming, symbolic computation, machine learning: my personal view
• Deep learning
• Extensions of unification modulo ACUI
• Handling Analogical Proportions in Classical Logic and Fuzzy Logics Settings
• Heuristic-driven theory projection: an overview
• HiLog: A foundation for higher-order logic programming
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 1142320 (Why is no real title available?)
• scientific article; zbMATH DE number 1503606 (Why is no real title available?)
• scientific article; zbMATH DE number 3349328 (Why is no real title available?)
• scientific article; zbMATH DE number 3349329 (Why is no real title available?)
• Inductive logic programming
• Programming with higher-order logic.
• The relation between logic programming and logic specification
• The structure-mapping engine: Algorithm and examples
• Unification in commutative idempotent monoids

Cited in

(1)

• Generalization-based similarity

This page was built for publication: Logic program proportions

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