C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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