| 2012 | Knowledge-Based Programs as Plans - The Complexity of Plan Verification. | Jrme Lang, Bruno Zanuttini |
| 2012 | Efficient Reasoning in Multiagent Epistemic Logics. | Gerhard Lakemeyer, Yves Lesprance |
| 2012 | Fixed-Parameter Algorithms for Closed World Reasoning. | Martin Lackner, Andreas Pfandler |
| 2012 | Justifying Dominating Options when Preferential Information is Incomplete. | Christophe Labreuche, Nicolas Maudet, Wassila Ouerdane |
| 2012 | A System for Knowledge Discovery in Big Dynamical Text Collections. | Sergei O. Kuznetsov, Alexey A. Neznanov, Jonas Poelmans |
| 2012 | Evolutionary Clustering on CUDA. | Pavel Krmer, Jan Platos, Vclav Snsel |
| 2012 | Delegating Decisions in Strategic Settings. | Sarit Kraus, Michael J. Wooldridge |
| 2012 | Hybrid Regression-Classification Models for Algorithm Selection. | Lars Kotthoff |
| 2012 | Cooperatives for Demand Side Management. | Ramachandra Kota, Georgios Chalkiadakis, Valentin Robu, Alex Rogers, Nicholas R. Jennings |
| 2012 | Reconciling OWL and Non-monotonic Rules for the Semantic Web. | Matthias Knorr, Pascal Hitzler, Frederick Maier |
| 2012 | Overview of BPMN Model Equivalences. Towards normalization of BPMN diagrams. | Krzysztof Kluza, Krzysztof Kaczor |
| 2012 | A New Approach to the Snake-In-The-Box Problem. | David Kinny |
| 2012 | Designing KDD-Workflows via HTN-Planning. | Jrg-Uwe Kietz, Floarea Serban, Abraham Bernstein, Simon Fischer |
| 2012 | Lifted Probabilistic Inference. | Kristian Kersting |
| 2012 | A Ranking Semantics for First-Order Conditionals. | Gabriele Kern-Isberner, Matthias Thimm |
| 2012 | LSA for Mining Hidden Information in Action Game Semantics. | Katia Lida Kermanidis, Panagiotis Pandis, Costas Boletsis, Dimitra Chasanidou |
| 2012 | Critical evaluation of the XTT2 rule representation through comparison with CLIPS. | Krzysztof Kaczor, Grzegorz J. Nalepa |
| 2012 | Characterization of Positive and Negative Information in Comparative Preference Representation. | Souhila Kaci |
| 2012 | Large-scale Interactive Ontology Matching: Algorithms and Implementation. | Ernesto Jimnez-Ruiz, Bernardo Cuenca Grau, Yujiao Zhou, Ian Horrocks |
| 2012 | Concepts, Agents, and Coalitions in Alternating Time. | Wojciech Jamroga |
| 2012 | Symmetries in Itemset Mining. | Sad Jabbour, Lakhdar Sais, Yakoub Salhi, Karim Tabia |
| 2012 | Kleenks: Linked Data with Applications in Research and Ambient Assisted Living. | Andrei-Adnan Ismail, Razvan Dinu, Adina Magda Florea, Tiberiu Stratulat, Jacques Ferber |
| 2012 | Relational Concept Analysis: A Synthesis and Open Questions. | Marianne Huchard |
| 2012 | Implementation of Critical Path Heuristics for SAT. | Jinbo Huang |
| 2012 | SAT vs. Search for Qualitative Temporal Reasoning. | Jinbo Huang |