Machine learning and logic: a new frontier in artificial intelligence

DOI10.1007/S10703-023-00430-1MaRDI QIDQ6056641zbMATH OpenFDO

Authors Vijay Ganesh, Sanjit A. Seshia, Somesh Jha

Publication date 30 October 2023

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S10703-023-00430-1

zbMATH Keywords

combinations of learning and reasoninglearning for solverslearning for verification and synthesissolver layers in deep neural networks

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

• From statistical relational to neurosymbolic artificial intelligence: a survey
• scientific article; zbMATH DE number 2086328
• Synergies between machine learning and reasoning -- an introduction by the Kay R. Amel group
• Introduction to the special issue on probability, logic and learning
• Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT

Cites work

• ``Neural computation of decisions in optimization problems
• A Deductive Approach to Program Synthesis
• A machine program for theorem-proving
• A theory of formal synthesis via inductive learning
• Bounded model checking using satisfiability solving
• Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution
• Counterexample guided inductive synthesis modulo theories
• Counterexample-guided abstraction refinement for symbolic model checking
• Deep learning
• Handbook of constraint programming.
• Handbook of knowledge representation.
• scientific article; zbMATH DE number 1670775 (Why is no real title available?)
• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 1179314 (Why is no real title available?)
• scientific article; zbMATH DE number 1956581 (Why is no real title available?)
• scientific article; zbMATH DE number 1903358 (Why is no real title available?)
• scientific article; zbMATH DE number 783783 (Why is no real title available?)
• scientific article; zbMATH DE number 5493266 (Why is no real title available?)
• Inductive logic programming at 30
• Learning rate based branching heuristic for SAT solvers
• Learning to select branching rules in the DPLL procedure for satisfiability
• Logical and Relational Learning
• Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT
• Machine learning-based restart policy for CDCL SAT solvers
• MedleySolver: online SMT algorithm selection
• Modeling for Verification
• Neuro-symbolic artificial intelligence
• On the effect of learned clauses on stochastic local search
• On the power of clause-learning SAT solvers as resolution engines
• Queries and concept learning
• SAT competition 2020
• Satisfiability and synthesis modulo oracles
• SATzilla: portfolio-based algorithm selection for SAT
• The complexity of theorem-proving procedures
• Theory and Applications of Satisfiability Testing
• Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 -- April 1,

Cited in

(2)

• From statistical relational to neurosymbolic artificial intelligence: a survey
• Theoretical background of numerical-based input data extension and reliability analysis for machine learning

This page was built for publication: Machine learning and logic: a new frontier in artificial intelligence

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