The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories.

Igor Carboni Oliveira Walter Alexandre Carnielli

Published in: Log. J. IGPL (2008)

Keyphrases

fading channels
theory revision
first order logic
logical theories
multipath
knowledge base
feature vectors
background knowledge
simulation model
wireless communication