TPTP and Beyond: Representation of Quantified Non-Classical Logics.

Max Wisniewski Alexander Steen Christoph Benzmüller

Published in: ARQNL@IJCAR (2016)

Keyphrases

artificial intelligence
image representation
feature representation
graph representation
representation language
genetic algorithm
multiscale
search algorithm
expert systems
hidden markov models
spatial relations
automated theorem proving