| 2 | -- | 3 | Ulrich Furbach. Representation and Reasoning [Guest editor's introduction] |
| 4 | -- | 10 | Peter Baumgartner. Model Evolution-Based Theorem Proving |
| 12 | -- | 19 | Markus Krötzsch, Frantisek Simancik, Ian Horrocks. Description Logics |
| 20 | -- | 29 | Bernhard Beckert, Reiner Hähnle. Reasoning and Verification: State of the Art and Current Trends |
| 30 | -- | 38 | Gerhard Brewka, Sylwia Polberg, Stefan Woltran. Generalizations of Dung Frameworks and Their Role in Formal Argumentation |
| 40 | -- | 46 | Dong-Xu Li, Rui Xu. Optimal Design and Control of Smart Space Structures: A Memetic Evolution Approach |
| 48 | -- | 55 | David R. Thompson, Sarah Burke-Spolaor, Adam Deller, Walid A. Majid, Divya Palaniswamy, Steven J. Tingay, Kiri L. Wagstaff, Randall B. Wayth. Real-Time Adaptive Event Detection in Astronomical Data Streams |
| 56 | -- | 65 | Luís Gomes, Pedro Faria, Hugo Morais, Zita Vale, Carlos Ramos. Distributed, Agent-Based Intelligent System for Demand Response Program Simulation in Smart Grids |
| 66 | -- | 69 | Dong-Hoon Shin, Shibo He, Junshan Zhang. Robust, Secure, and Cost-Effective Design for Cyber-Physical Systems |
| 70 | -- | 74 | John Domingue, Mathieu d'Aquin, Elena Simperl, Alexander Mikroyannidis. The Web of Data: Bridging the Skills Gap |
| 76 | -- | 80 | Francisco C. Pereira, Ana L. C. Bazzan, Moshe E. Ben-Akiva. The Role of Context in Transport Prediction |