| 2010 | Similarity-Based Inconsistency-Tolerant Logics. | Ofer Arieli, Anna Zamansky |
| 2008 | Rule Calculus: Semantics, Axioms and Applications. | Yi Zhou, Yan Zhang |
| 2008 | Meta Level Reasoning and Default Reasoning. | Yi Zhou, Yan Zhang |
| 2008 | Literal Projection for First-Order Logic. | Christoph Wernhard |
| 2008 | Improved Second-Order Quantifier Elimination in Modal Logic. | Renate A. Schmidt |
| 2008 | Cheap Boolean Role Constructors for Description Logics. | Sebastian Rudolph, Markus Krtzsch, Pascal Hitzler |
| 2008 | Combining Modes of Reasoning: An Application of Abstract Argumentation. | Henry Prakken |
| 2008 | How to Restore Compactness into Probabilistic Logics?. | Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic |
| 2008 | Extending Carinto the Description Logics of the Family. | Magdalena Ortiz |
| 2008 | A Proof-Theoretic Approach to Deciding Subsumption and Computing Least Common Subsumer in w.r.t. Hybrid TBoxes. | Novak Novakovic |
| 2008 | A Tableau for RoBCTL*. | John Christopher McCabe-Dansted |
| 2008 | A Game-Theoretic Measure of Argument Strength for Abstract Argumentation. | Paul-Amaury Matt, Francesca Toni |
| 2008 | Voting in Combinatorial Domains: What Logic and AI Have to Say. | Jrme Lang |
| 2008 | Confluence Operators. | Sbastien Konieczny, Ramn Pino Prez |
| 2008 | Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness. | Ekaterina Komendantskaya, John Power |
| 2008 | Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials. | Norihiro Kamide |
| 2008 | GOAL Agents Instantiate Intention Logic. | Koen V. Hindriks, Wiebe van der Hoek |
| 2008 | Uniform Interpolation by Resolution in Modal Logic. | Andreas Herzig, Jrme Mengin |
| 2008 | Counting Complexity of Minimal Cardinality and Minimal Weight Abduction. | Miki Hermann, Reinhard Pichler |
| 2008 | Reasoning about Typicality in Preferential Description Logics. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2008 | Accommodative Belief Revision. | Satu Eloranta, Raul Hakli, Olli Niinivaara, Matti Nyknen |
| 2008 | Query Answering in the Description Logic Horn-. | Thomas Eiter, Georg Gottlob, Magdalena Ortiz, Mantas Simkus |
| 2008 | Computational Complexity of Semi-stable Semantics in Abstract Argumentation Frameworks. | Paul E. Dunne, Martin Caminada |
| 2008 | A Fluent Calculus Semantics for ADL with Plan Constraints. | Conrad Drescher, Michael Thielscher |
| 2008 | On the Credal Structure of Consistent Probabilities. | Fabio Cuzzolin |