Logic against ghosts: comparison of two proof approaches for a list module.

Allan Blanchard Nikolai Kosmatov Frédéric Loulergue

Published in: SAC (2019)

Keyphrases

expert systems
optimal solution
evolutionary algorithm
modal logic
real time
information retrieval
artificial intelligence
strengths and weaknesses
proof theory