arXiv: Computation and Language Transactions of the Association for Computational Linguistics Computationa...
systems and automated reasoning; logical issues in knowledge representation, such as non-monotonic reasoning and systems of knowledge and belief; logics and semantics of programming; specification and verification of programs and systems; applications of logic in hardware and VLSI, natural language, conc...