Minimal Strong Admissibility: A Complexity Analysis.

Martin Caminada Paul E. Dunne

Published in: COMMA (2020)

Keyphrases

complexity analysis
theoretical analysis
lower bound
computational complexity
first order logic
real time
real world
cooperative
neural network
genetic algorithm
computer vision
website
face recognition
probabilistic model
logic programs