Awareness, Negation and Logical Omniscience.

Zhisheng Huang Karen L. Kwast

Published in: JELIA (1990)

Keyphrases

truth values
logic programs
logical operations
hidden markov models
probabilistic logic
predicate logic
logical representation
logical reasoning
real world
artificial intelligence
social networks
search algorithm
artificial neural networks
logic programming
expressive power
predicate calculus