| 2012 | Extending Unification in EL Towards General TBoxes. | Franz Baader, Stefan Borgwardt, Barbara Morawska |
| 2012 | Exchanging Description Logic Knowledge Bases. | Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov |
| 2012 | Horn Belief Contraction: Remainders, Envelopes and Complexity. | Kira V. Adaricheva, Robert H. Sloan, Balzs Szrnyi, Gyrgy Turn |
| 2012 | Business Processes Verification with Temporal Answer Set Programming. | Laura Giordano, Alberto Martelli, Matteo Spiotta, Daniele Theseider Dupr |
| 2010 | Forgetting Revisited. | Yan Zhang, Yi Zhou |
| 2010 | On the Progression Semantics and Boundedness of Answer Set Programs. | Yan Zhang, Yi Zhou |
| 2010 | Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers. | Guohui Xiao, Zuoquan Lin, Yue Ma, Guilin Qi |
| 2010 | Revising General Knowledge Bases in Description Logics. | Zhe Wang, Kewen Wang, Rodney W. Topor |
| 2010 | Towards Runtime Support for Norm-Governed Multi-Agent Systems. | Visara Urovi, Stefano Bromuri, Kostas Stathis, Alexander Artikis |
| 2010 | Integrating Action Calculi and AgentSpeak: Closing the Gap. | Michael Thielscher |
| 2010 | Diagnosis as Planning Revisited. | Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith |
| 2010 | New Advances in Sequential Diagnosis. | Sajjad Ahmed Siddiqi, Jinbo Huang |
| 2010 | Set-Oriented Logical Connectives: Syntax and Semantics. | Stuart C. Shapiro |
| 2010 | Efficient Dominance Testing for Unconditional Preferences. | Ganesh Ram Santhanam, Samik Basu, Vasant G. Honavar |
| 2010 | Improving Query Answering over DL-Lite Ontologies. | Riccardo Rosati, Alessandro Almatelli |
| 2010 | Preferential Semantics for Plausible Subsumption in Possibility Theory. | Guilin Qi, Zhizheng Zhang |
| 2010 | Reasoning with Logical Proportions. | Henri Prade, Gilles Richard |
| 2010 | Modelling Combinatorial Auctions in Linear Logic. | Daniele Porello, Ulle Endriss |
| 2010 | Towards a Logic of Feature-Based Semantic Science Theories. | David Poole |
| 2010 | Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough. | Reinhard Pichler, Stefan Rmmele, Stefan Szeider, Stefan Woltran |
| 2010 | On the Complexity of Axiom Pinpointing in the EL Family of Description Logics. | Rafael Pealoza, Baris Sertkaya |
| 2010 | The Modular Structure of an Ontology: An Empirical Study. | Bijan Parsia, Thomas Schneider |
| 2010 | Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2. | Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus |
| 2010 | Characterizing Strong Equivalence for Argumentation Frameworks. | Emilia Oikarinen, Stefan Woltran |
| 2010 | Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning. | Leonardo Mendona de Moura, Carsten Lutz, Monica M. C. Schraefel, Bernhard Nebel |