Justification logic and audited computation.

Francisco Bavera Eduardo Bonelli

Published in: J. Log. Comput. (2018)

Keyphrases

logic programming
knowledge representation
machine learning
artificial intelligence
automated reasoning
classical logic
proof theory