Algorithms in Philosophy, Informatics and Logic. A Position Manifesto 2017.

Dov M. Gabbay Jörg H. Siekmann

Published in: FLAP (2017)

Keyphrases

times faster
optimization problems
benchmark datasets
database
data structure
computational efficiency
orders of magnitude
modal logic
combinatorial optimization
computationally expensive
theoretical analysis
worst case
significant improvement
website
image processing
real world
neural network