For the purpose of propositional logic, propositions are (almost) atomic black-boxes: They have names and definitions, but their names are just atomic symbols in the logic syntax, and their ...

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 ...