A BDD-Based Algorithm for Learning from Interpretation Transition

DOI10.1007/978-3-662-44923-3_4MaRDI QIDQ2943879zbMATH OpenOpenAlexFDO

Authors Tony Ribeiro, Katsumi Inoue, Chiaki Sakama

Publication date 7 September 2015

Published in Inductive Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-44923-3_4

Mathematics Subject Classification ID

Logic programming (68N17) Data structures (68P05) Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• Learning from interpretation transition using differentiable logic programming semantics
• Learning from interpretation transition
• Interpolant learning and reuse in SAT-based model checking
• An inductive approach for modal transition system refinement

Cited in

(3)

• Inductive learning from state transitions over continuous domains
• Learning from interpretation transition
• Learning dynamics with synchronous, asynchronous and general semantics

This page was built for publication: A BDD-Based Algorithm for Learning from Interpretation Transition

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