Synthesizing axiomatizations using logic learning

Keyphrases

• Axiomatization 100%
• Logic Learning 100%
• Synthesis Methods 33%
• First-order Logic 33%
• Language Model 33%
• Modal Logic 33%
• Classes of Structures 33%
• Inference Rules 33%
• Deductive System 33%
• Regular Operation 33%

Computer Science

• Axiomatization 100%
• Language Modeling 33%
• Inference Rule 33%
• Synthesis Technique 33%
• Deductive System 33%