Rewrites as Terms through Justification Logic.

Pablo Barenbaum Eduardo Bonelli

Published in: PPDP (2020)

Keyphrases

case study
relational databases
logic programming
neural network
information retrieval
knowledge representation
web search engines
classical logic
digital circuits