Report on Logic in Computer Science (LICS'23).
Marco GaboardiIgor WalukiewiczPublished in: ACM SIGLOG News (2023)
Keyphrases
- computer science
- lecture notes
- artificial intelligence
- social sciences
- computer scientists
- computational properties
- researchers and practitioners
- electrical engineering
- logic programming
- classical logic
- multi valued
- neural network
- applied mathematics
- information science
- modal logic
- data mining
- databases
- graduate students
- computational linguistics
- computational intelligence
- real world
- computer science education
- computer science students