Strong Admissibility, a Tractable Algorithmic Approach (proofs).

Martin Caminada Sri Harikrishnan

Published in: CoRR (2022)

Keyphrases

information retrieval
theorem proving
computational complexity
computer vision
knowledge base
metadata
web services
natural language
np complete
version spaces
mathematical proofs