Volume 23, Number 1, 2010
: F: Conceptual language-based configuration.
: The CADE-22 automated theorem proving system competition - CASC-22.
: Engineering portfolios of Machine Learning algorithms to solve complex tasks in Robotics and Automated Reasoning.
: Simplifying Semantic Web application development and semantic data usage.
Volume 23, Numbers 2-3, 2010
: Restricting backtracking in connection calculi.
Volume 23, Number 4, 2010