In order to respond to one of the main challenges of Artificial Intelligence (AI), that is, the effective integration of learning and reasoning, both symbolic inference and statistical learning need ...

Modern logic is undergoing a cognitive turn, side-stepping Frege's 'antipsychologism'. Collaborations between logicians and colleagues in more empirical fields are growing, especially in research on ...

Dynamic logic offers a formal framework to reason about actions, transitions and the evolution of systems over time. It extends classical modal logic by incorporating operators that capture state ...

Abstract: In this sequel to our previous article (Cordero et al., 2020) on general inference systems for reasoning with if–then dependencies, we study transformations of if–then rules to semantically ...

Key idea: utilizes external, structured knowledge graphs to perform explainable inferences. Framework: Given the question-answer pairs, they use two kinds of inputs to the GCN-LSTM-HPA network. (1) ...

Large Language Models (LLMs) have made significant strides in various Natural Language Processing tasks, yet they still struggle with mathematics and complex logical reasoning. Chain-of-Thought (CoT) ...