Dealing with logical omniscience: Expressiveness and pragmatics.

Joseph Y. Halpern Riccardo Pucella

Published in: Artif. Intell. (2011)

Keyphrases

expressive power
logical properties
artificial intelligence
natural language processing
formal semantics
multimedia
information technology
predicate calculus
social networks
data structure
logical structure
logical rules