| 2022 | ICCCI | Querying and Reasoning in Paraconsistent Rule-Object Languages with Inheritance Expressions. | Andrzej Szalas |
| 2022 | KES | Inheriting and Fusing Beliefs of Logically Heterogeneous Objects. | Andrzej Szalas |
| 2021 | KES | Optimization Models for Medical Procedures Relocation. | Linh Anh Nguyen, Andrzej Szalas |
| 2020 | KES | A Framework for Organization-Centered Doxastic Reasoning. | Barbara Dunin-Keplicz, Andrzej Szalas |
| 2020 | KES | Revisiting Object-Rule Fusion in Query Languages. | Andrzej Szalas |
| 2019 | PRIMA | Doxastic Group Reasoning via Multiple Belief Shadowing. | Barbara Dunin-Keplicz, Inga Rb, Andrzej Szalas |
| 2018 | EMAS | Belief Shadowing. | Lukasz Bialek, Barbara Dunin-Keplicz, Andrzej Szalas |
| 2017 | IDC | Towards a Paraconsistent Approach to Actions in Distributed Information-Rich Environments. | Lukasz Bialek, Barbara Dunin-Keplicz, Andrzej Szalas |
| 2017 | ISMIS | Rule-Based Reasoning with Belief Structures. | Lukasz Bialek, Barbara Dunin-Keplicz, Andrzej Szalas |
| 2016 | JELIA | Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs - (Extended Abstract). | Patrick Doherty, Jonas Kvarnstrm, Andrzej Szalas |
| 2013 | ICCCI | Horn-TeamLog: A Horn Fragment of TeamLog with PTime Data Complexity. | Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas |
| 2012 | IDC | Distributed Paraconsistent Belief Fusion. | Barbara Dunin-Keplicz, Andrzej Szalas |
| 2012 | KR | Temporal Composite Actions with Constraints. | Patrick Doherty, Jonas Kvarnstrm, Andrzej Szalas |
| 2011 | ICCCI | On the Web Ontology Rule Language OWL 2 RL. | Son Thanh Cao, Linh Anh Nguyen, Andrzej Szalas |
| 2009 | CADE | A Tableau Calculus for Regular Grammar Logics with Converse. | Linh Anh Nguyen, Andrzej Szalas |
| 2009 | ICCCI | ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic | Linh Anh Nguyen, Andrzej Szalas |
| 2009 | IDC | Fusing Approximate Knowledge from Distributed Sources. | Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas |
| 2008 | KR | Reasoning with Qualitative Preferences and Cardinalities using Generalized Circumscription. | Patrick Doherty, Andrzej Szalas |
| 2004 | ECAI | Towards a Logical Analysis of Biochemical Reactions. | Patrick Doherty, Steve Kertes, Martin Magnusson, Andrzej Szalas |
| 2004 | JELIA | Towards a Logical Analysis of Biochemical Pathways. | Patrick Doherty, Steve Kertes, Martin Magnusson, Andrzej Szalas |
| 2004 | KR | Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities. | Patrick Doherty, Andrzej Szalas, Witold Lukaszewicz |
| 2003 | FCT | On a Logical Approach to Estimating Computational Complexity of Potentially Intractable Problems. | Andrzej Szalas |
| 2003 | KI | Tolerance Spaces and Approximative Representational Structures. | Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas |
| 2002 | ECAI | CAKE: A Computer-Aided Knowledge Engineering Technique. | Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas |
| 2002 | JELIA | Second-Order Quantifier Elimination in Modal Contexts. | Andrzej Szalas |
| 2001 | IJCAI | Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas. | Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas |
| 2000 | AIMSA | Efficient Reasoning Using the Local Closed-World Assumption. | Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas |
| 1996 | ISMIS | Explaining Explanation Closure. | Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas |
| 1995 | IJCAI | Computing Circumscription Revisited: Preliminary Report. | Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas |