A modular construction of type theories.

Frédéric Blanqui Gilles Dowek Émilie Grienenberger Gabriel Hondet François Thiré

Published in: Log. Methods Comput. Sci. (2023)

Keyphrases

knowledge base
logic programs
theoretical framework
neural network
machine learning
image processing
artificial neural networks
domain knowledge
computational model
legal knowledge