Our method combines symbolic methods, in particular knowledge representation using symbolic logic and automated reasoning, with neural networks to generate ...
確定! 回上一頁