A Framework for Interleaving Planning-while-Learning and Execution. - Marcello Balduccini (MICAI, 2000)

Experiments in Answer Sets Planning. - Marcello Balduccini; Gianpaolo Brignoli; Gaetano Aurelio Lanzarone; F. Magni; Alessandro Provetti (MICAI, 2000)

An A Prolog decision support system for the Space Shuttle. - Monica L. Nogueira; Marcello Balduccini; Michael Gelfond; Richard Watson 003; Matthew Barry (Answer Set Programming, 2001)

The USA-Advisor: A Case Study in Answer Set Planning. - Marcello Balduccini; Michael Gelfond; Richard Watson 003; Monica L. Nogueira (LPNMR, 2001)

Diagnosing Physical Systems in A-Prolog. - Michael Gelfond; Marcello Balduccini; Joel Galloway (LPNMR, 2001)

CR-Prolog with Ordered Disjunction. - Marcello Balduccini; Veena S. Mellarkod (Answer Set Programming, 2003)

Non-monotonic Reasoning on Beowulf Platforms. - Enrico Pontelli; Marcello Balduccini; F. Bermudez (PADL, 2003)

Diagnostic reasoning with A-Prolog. - Marcello Balduccini; Michael Gelfond (Theory Pract. Log. Program., 2003)

USA-Smart: Improving the Quality of Plans in Answer Set Planning. - Marcello Balduccini (PADL, 2004)

Issues in parallel execution of non-monotonic reasoning systems. - Marcello Balduccini; Enrico Pontelli; Omar El-Khatib; Hung Le (Parallel Comput., 2005)

Answer set based design of highly autonomous, rational agents. - Marcello Balduccini (2005)

Answer set based design of knowledge systems. - Marcello Balduccini; Michael Gelfond; Monica L. Nogueira (Ann. Math. Artif. Intell., 2006)

Learning Action Descriptions with A-Prolog: Action Language C. - Marcello Balduccini (AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, 2007)

cr-models: An Inference Engine for CR-Prolog. - Marcello Balduccini (LPNMR, 2007)

Organizing Committee. - Marcello Balduccini; Chitta Baral (AAAI Spring Symposium: Emotion, Personality, and Social Behavior, 2008)

The AAA Architecture: An Overview. - Marcello Balduccini; Michael Gelfond (AAAI Spring Symposium: Emotion, Personality, and Social Behavior, 2008)

AAAI 2008 Spring Symposia Reports. - Marcello Balduccini; Chitta Baral; Boyan Brodaric; Simon Colton; Peter Fox 001; David Gutelius; Knut Hinkelmann; Ian Horswill; Bernardo A. Huberman; Eva Hudlicka; Kristina Lerman; Christine L. Lisetti; et al. (AI Mag., 2008)

Knowledge Representation and Question Answering. - Marcello Balduccini; Chitta Baral; Yuliya Lierler (Handbook of Knowledge Representation, 2008)

How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP. - Marcello Balduccini (LPNMR, 2009)

Splitting a CR-Prolog Program. - Marcello Balduccini (LPNMR, 2009)

CR-Prolog as a Specification Language for Constraint Satisfaction Problems. - Marcello Balduccini (LPNMR, 2009)

Learning Domain-Specific Heuristics for Answer Set Solvers. - Marcello Balduccini (ICLP (Technical Communications), 2010)

Formalizing Psychological Knowledge in Answer Set Programming. - Marcello Balduccini; Sara Girotto (KR, 2010)

Formalization of psychological knowledge in answer set programming and its application. - Marcello Balduccini; Sara Girotto (Theory Pract. Log. Program., 2010)

ASP as a Cognitive Modeling Tool: Short-Term Memory and Long-Term Memory. - Marcello Balduccini; Sara Girotto (Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011)

Industrial-Size Scheduling with ASP+CP. - Marcello Balduccini (LPNMR, 2011)

Learning and using domain-specific heuristics in ASP solvers. - Marcello Balduccini (AI Commun., 2011)

Special issue on answer set programming. - Marcello Balduccini; Stefan Woltran (AI Commun., 2011)

Improving DPLL Solver Performance with Domain-Specific Heuristics: the ASP Case - Marcello Balduccini (CoRR, 2011)

A "Conservative" Approach to Extending Answer Set Programming with Non-Herbrand Functions. - Marcello Balduccini (Correct Reasoning, 2012)

An Answer Set Solver for non-Herbrand Programs: Progress Report. - Marcello Balduccini (ICLP (Technical Communications), 2012)

Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools. - Marcello Balduccini; Yuliya Lierler (PADL, 2012)

Some Recent Advances in Answer Set Programming (from the Perspective of NLP). - Marcello Balduccini (NLPAR@LPNMR, 2013)

Prolog and ASP Inference under One Roof. - Marcello Balduccini; Yuliya Lierler; Peter Schüller (LPNMR, 2013)

Hybrid Automated Reasoning Tools: from Black-box to Clear-box Integration. - Marcello Balduccini; Yuliya Lierler (CoRR, 2013)

Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules - Marcello Balduccini; Michael Gelfond (CoRR, 2013)

ASP with non-herbrand partial functions: a language and system for practical use. - Marcello Balduccini (Theory Pract. Log. Program., 2013)

Integration Schemas for Constraint Answer Set Programming: a Case Study. - Marcello Balduccini; Yuliya Lierler (Theory Pract. Log. Program., 2013)

Towards a Theory of Intentional Agents. - Justin Lane Blount; Michael Gelfond; Marcello Balduccini (AAAI Spring Symposia, 2014)

Coordinating UAVs in Dynamic Environments by Network-Aware Mission Planning. - Marcello Balduccini; Duc N. Nguyen; William C. Regli (MILCOM, 2014)

An ASP-Based Architecture for Autonomous UAVs in Dynamic Environments: Progress Report. - Marcello Balduccini; William C. Regli; Duc N. Nguyen (CoRR, 2014)

Towards an ASP-Based Architecture for Autonomous UAVs in Dynamic Environments (Extended Abstract). - Marcello Balduccini; William C. Regli; Duc N. Nguyen (CoRR, 2014)

Reasoning about Truthfulness of Agents Using Answer Set Programming. - Tran Cao Son; Enrico Pontelli; Marcello Balduccini (AAAI Fall Symposia, 2015)

Military Ontologies for Information Dissemination at the Tactical Edge. - Emily Leblanc; Duc N. Nguyen; Marcello Balduccini; William C. Regli; Joseph B. Kopena; Thomas Wambold (JOWO@IJCAI, 2015)

Making Sense of Future Cybersecurity Technologies: Using Ontologies for Multidisciplinary Domain Analysis. - Claire Vishik; Marcello Balduccini (ISSE, 2015)

A Theory of Intentions for Intelligent Agents - (Extended Abstract). - Justin Blount; Michael Gelfond; Marcello Balduccini (LPNMR, 2015)

Ontology-Driven Data Semantics Discovery for Cyber-Security. - Marcello Balduccini; Sarah Kushner; Jacquelin Speck (PADL, 2015)

An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents. - Tran Cao Son; Enrico Pontelli; Michael Gelfond; Marcello Balduccini (ICLP (Technical Communications), 2016)

Reasoning about Truthfulness of Agents Using Answer Set Programming. - Tran Cao Son; Enrico Pontelli; Michael Gelfond; Marcello Balduccini (KR, 2016)

PDDL+ Planning via Constraint Answer Set Programming. - Marcello Balduccini; Daniele Magazzeni; Marco Maratea (CoRR, 2016)

Understanding Restaurant Stories Using an ASP Theory of Intentions. - Daniela Inclezan; Qinglin Zhang; Marcello Balduccini; Ankush Israney (ICLP (Technical Communications), 2017)

CASP for Robot Control in Hybrid Domains. - Ryan Young; Marcello Balduccini; Ankush Israney (ASPOCP@LPNMR, 2017)

Constraint answer set solver EZCSP and why integration schemas matter. - Marcello Balduccini; Yuliya Lierler (Theory Pract. Log. Program., 2017)

CASP solutions for planning in hybrid domains. - Marcello Balduccini; Daniele Magazzeni; Marco Maratea; Emily Leblanc (Theory Pract. Log. Program., 2017)

Building Blocks in Standards: Improving Consistency in Standardization with Ontology and Reasoning. - Marcello Balduccini; Claire Vishik (SSR, 2018)

Reasoning about Smart City. - Martin Burns; Edward R. Griffor; Marcello Balduccini; Claire Vishik; Michael Huth 001; David A. Wollman (SMARTCOMP, 2018)

Ontology-Based Reasoning about the Trustworthiness of Cyber-Physical Systems. - Marcello Balduccini; Edward R. Griffor; Michael Huth 001; Claire Vishik; Martin Burns; David A. Wollman (CoRR, 2018)

Answer Set Planning in Single- and Multi-agent Environments. - Tran Cao Son; Marcello Balduccini (Künstliche Intell., 2018)

An ASP Methodology for Understanding Narratives about Stereotypical Activities. - Daniela Inclezan; Qinglin Zhang; Marcello Balduccini; Ankush Israney (Theory Pract. Log. Program., 2018)

Decision Support for Smart Grid: Using Reasoning to Contextualize Complex Decision Making. - Marcello Balduccini; Edward R. Griffor; Michael Huth 001; Claire Vishik; David A. Wollman; Patrick Kamongi (MSCPES@CPSIoTWeek, 2019)

Explaining Actual Causation via Reasoning About Actions and Change. - Emily C. LeBlanc; Marcello Balduccini; Joost Vennekens (JELIA, 2019)

Dynamic Collaborative Visualization of the United Nations Sustainable Development Goals (SDGs): Creating an SDG Dashboard for Reporting and Best Practice Sharing. - Kathleen Campbell Garwood; David Steingard; Marcello Balduccini (VISIGRAPP (3: IVAPP), 2020)

Action Languages and COVID-19: Lessons Learned. - Marcello Balduccini; Michael Barborak; David A. Ferrucci (ICLP Workshops, 2020)

An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of Statements. - Marcello Balduccini; Michael Gelfond; Enrico Pontelli; Tran Cao Son (KR, 2020)

Reasoning About Trustworthiness in Cyber-Physical Systems Using Ontology-Based Representation and ASP. - Thanh Hai Nguyen 002; Tran Cao Son; Matthew Bundas; Marcello Balduccini; Kathleen Campbell Garwood; Edward R. Griffor (PRIMA, 2020)

Action-Centered Information Retrieval. - Marcello Balduccini; Emily C. LeBlanc (Theory Pract. Log. Program., 2020)

Towards a Framework for Characterizing the Behavior of AI-Enabled Cyber-Physical and IoT Systems. - Matthew Bundas; Chasity Nadeau; Thanh Hai Nguyen 002; Jeannine Shantz; Marcello Balduccini; Tran Cao Son (WF-IoT, 2021)

Generating explanations for answer set programming applications. - Ly Ly T. Trieu; Tran Cao Son; Enrico Pontelli; Marcello Balduccini (CoRR, 2021)

exp(ASPc) : Explaining ASP Programs with Choice Atoms and Constraint Rules. - Ly Ly T. Trieu; Tran Cao Son; Marcello Balduccini (ICLP Technical Communications, 2021)

Preface. - Marcello Balduccini; Yuliya Lierler; Stefan Woltran (Theory Pract. Log. Program., 2021)

xASP: An Explanation Generation System for Answer Set Programming. - Ly Ly T. Trieu; Tran Cao Son; Marcello Balduccini (LPNMR, 2022)

People, Ideas, and the Path Ahead. - Marcello Balduccini (PADL, 2022)

Advancements in xASP, an XAI System for Answer Set Programming. - Mario Alviano; Ly Ly T. Trieu; Tran Cao Son; Marcello Balduccini (CILC, 2023)

Formalizing and Reasoning About Supply Chain Contracts Between Agents. - Dylan Flynn; Chasity Nadeau; Jeannine Shantz; Marcello Balduccini; Tran Cao Son; Edward R. Griffor (PADL, 2023)

Explanations for Answer Set Programming. - Mario Alviano; Ly Ly T. Trieu; Tran Cao Son; Marcello Balduccini (ICLP, 2023)

Answer Set Planning: A Survey. - Tran Cao Son; Enrico Pontelli; Marcello Balduccini; Torsten Schaub (Theory Pract. Log. Program., 2023)

Machines as Thought Partners: Reflections on 50 Years of Prolog. - Gregory Gelfond; Marcello Balduccini; David A. Ferrucci; Aditya Kalyanpur; Adam Lally (Prolog: The Next 50 Years, 2023)

Pushing the Limits of Clingo's Incremental Grounding and Solving Capabilities in Practical Applications. - Marcello Balduccini; Michael Barborak; David A. Ferrucci (Algorithms, 2023)

Applying AI for social good: Aligning academic journal ratings with the United Nations Sustainable Development Goals (SDGs). - David Steingard; Marcello Balduccini; Akanksha Sinha (AI Soc., 2023)

Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework. - Thanh Hai Nguyen 002; Matthew Bundas; Tran Cao Son; Marcello Balduccini; Kathleen Campbell Garwood; Edward R. Griffor (Theory Pract. Log. Program., 2023)

Communication with Individuals with Disabilities and the Role of LLMs: Progress Report. - May Lutzen; Marcello Balduccini (KoDis+CAKR+SYNERGY@KR, 2024)

A Simulation for Supply Chains Contract Execution. - Long Tran-Thanh; Tran Cao Son; Dylan Flynn; Marcello Balduccini (LPNMR, 2024)

The XAI system for answer set programming xASP2. - Mario Alviano; Ly Ly T. Trieu; Tran Cao Son; Marcello Balduccini (J. Log. Comput., 2024)