Login / Signup
On the unusual effectiveness of logic in computer science.
Joseph Y. Halpern
Robert Harper
Neil Immerman
Phokion G. Kolaitis
Moshe Y. Vardi
Victor Vianu
Published in:
Bull. Symb. Log. (2001)
Keyphrases
</>
computer science
defeasible logic
artificial intelligence
anomaly detection
lecture notes
researchers and practitioners
computer scientists
logical framework
data sets
neural network
machine learning
multi valued
set theory