Login / Signup
Dealing With Logical Omniscience: Expressiveness and Pragmatics
Joseph Y. Halpern
Riccardo Pucella
Published in:
CoRR (2007)
Keyphrases
</>
expressive power
natural language processing
artificial neural networks
multiresolution
formal semantics
database
machine learning
artificial intelligence
query language
logical representation
logical reasoning