32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, February 19-23, 2024, Naples, Italy
Published in: CSL (2024)
Keyphrases
- annual conference
- selected papers
- computer science
- lecture notes
- international workshop
- invited talk
- artificial intelligence
- logic programming
- social sciences
- modal logic
- classical logic
- researchers and practitioners
- computer scientists
- automated reasoning
- information science
- data mining
- nonmonotonic logics
- predicate logic
- defeasible logic
- computational linguistics
- genetic algorithm
- computational properties
- neural network
- deontic logic