A Deliberate BIAT Logic for Modeling Manipulations.

Christopher Leturc Grégory Bonnet

Published in: AAMAS (2020)

Keyphrases

logic programming
decision making
automated reasoning
neural network
information retrieval
artificial intelligence
multiscale
multi valued
natural deduction