Among the topics covered are AI applications that use logic programming, natural language processing, knowledge representation, nonmonotic reasoning, databases, implementations and architectures and constraint logic programming.
A journal of theoretical computer science which focuses on the application of ideas from the structural side of mathematics and mathematical logic to computer science.
An international journal devoted to reliable mathematical computations based on finite representations and guaranteed accuracy. Tables of contents. Full text to subscribers.