| 2024 | LPNMR | A Simulation for Supply Chains Contract Execution. | Long Tran-Thanh, Tran Cao Son, Dylan Flynn, Marcello Balduccini |
| 2023 | PADL | Formalizing and Reasoning About Supply Chain Contracts Between Agents. | Dylan Flynn, Chasity Nadeau, Jeannine Shantz, Marcello Balduccini, Tran Cao Son, Edward R. Griffor |
| 2022 | LPNMR | xASP: An Explanation Generation System for Answer Set Programming. | Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini |
| 2022 | PADL | People, Ideas, and the Path Ahead. | Marcello Balduccini |
| 2021 | ICLP | exp(ASPc): Explaining ASP Programs with Choice Atoms and Constraint Rules. | Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini |
| 2020 | ICLP | Action Languages and COVID-19: Lessons Learned. | Marcello Balduccini, Michael Barborak, David A. Ferrucci |
| 2020 | KR | An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of Statements. | Marcello Balduccini, Michael Gelfond, Enrico Pontelli, Tran Cao Son |
| 2020 | PRIMA | Reasoning About Trustworthiness in Cyber-Physical Systems Using Ontology-Based Representation and ASP. | Thanh Hai Nguyen, Tran Cao Son, Matthew Bundas, Marcello Balduccini, Kathleen Campbell Garwood, Edward R. Griffor |
| 2019 | JELIA | Explaining Actual Causation via Reasoning About Actions and Change. | Emily C. LeBlanc, Marcello Balduccini, Joost Vennekens |
| 2018 | SmartComp | Reasoning about Smart City. | Martin Burns, Edward R. Griffor, Marcello Balduccini, Claire Vishik, Michael Huth, David A. Wollman |
| 2017 | ICLP | Understanding Restaurant Stories Using an ASP Theory of Intentions. | Daniela Inclezan, Qinglin Zhang, Marcello Balduccini, Ankush Israney |
| 2017 | LPNMR | CASP for Robot Control in Hybrid Domains. | Ryan Young, Marcello Balduccini, Ankush Israney |
| 2016 | ICLP | An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents. | Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini |
| 2016 | KR | Reasoning about Truthfulness of Agents Using Answer Set Programming. | Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini |
| 2015 | IJCAI | Military Ontologies for Information Dissemination at the Tactical Edge. | Emily Leblanc, Duc N. Nguyen, Marcello Balduccini, William C. Regli, Joseph B. Kopena, Thomas Wambold |
| 2015 | LPNMR | A Theory of Intentions for Intelligent Agents - (Extended Abstract). | Justin Blount, Michael Gelfond, Marcello Balduccini |
| 2015 | PADL | Ontology-Driven Data Semantics Discovery for Cyber-Security. | Marcello Balduccini, Sarah Kushner, Jacquelin Speck |
| 2013 | LPNMR | Some Recent Advances in Answer Set Programming (from the Perspective of NLP). | Marcello Balduccini |
| 2013 | LPNMR | Prolog and ASP Inference under One Roof. | Marcello Balduccini, Yuliya Lierler, Peter Schller |
| 2012 | ICLP | An Answer Set Solver for non-Herbrand Programs: Progress Report. | Marcello Balduccini |
| 2012 | PADL | Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools. | Marcello Balduccini, Yuliya Lierler |
| 2011 | LPNMR | Industrial-Size Scheduling with ASP+CP. | Marcello Balduccini |
| 2010 | ICLP | Learning Domain-Specific Heuristics for Answer Set Solvers. | Marcello Balduccini |
| 2010 | KR | Formalizing Psychological Knowledge in Answer Set Programming. | Marcello Balduccini, Sara Girotto |
| 2009 | LPNMR | How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP. | Marcello Balduccini |
| 2009 | LPNMR | Splitting a CR-Prolog Program. | Marcello Balduccini |
| 2009 | LPNMR | CR-Prolog as a Specification Language for Constraint Satisfaction Problems. | Marcello Balduccini |
| 2007 | LPNMR | cr-models: An Inference Engine for CR-Prolog. | Marcello Balduccini |
| 2004 | PADL | USA-Smart: Improving the Quality of Plans in Answer Set Planning. | Marcello Balduccini |
| 2003 | PADL | Non-monotonic Reasoning on Beowulf Platforms. | Enrico Pontelli, Marcello Balduccini, F. Bermudez |
| 2001 | LPNMR | The USA-Advisor: A Case Study in Answer Set Planning. | Marcello Balduccini, Michael Gelfond, Richard Watson, Monica L. Nogueira |
| 2001 | LPNMR | Diagnosing Physical Systems in A-Prolog. | Michael Gelfond, Marcello Balduccini, Joel Galloway |
| 2001 | PADL | An A-Prolog Decision Support System for the Space Shuttle. | Monica L. Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry |