Vol-4269⫷ Vol-4270 ⫸Vol-4271
urn:nbn:de:0074-4270-0


Vol-4270/short4⫷Vol-4270/short5⫸Vol-4270/short6
Gianluca CimaMarco ConsoleLaura Papi

A New Framework for Formal Reasoning over Symbolic and Sub-Symbolic Knowledge