first-order logic

3 papers

• Discovering Symbolic Partial Differential Equation by Abductive Learning
• MuSLR: Multimodal Symbolic Logical Reasoning
• Sound Logical Explanations for Mean Aggregation Graph Neural Networks