Marcello Balduccini

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 39

Top Topics

Causal Theories

Answer Set Programming

Dynamic Environments

Top Venues

Theory Pract. Log. Program.

ICLP (Technical Communications)

Publications

Mario Alviano, Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini
Explanations for Answer Set Programming. CoRR (2023)
David Steingard, Marcello Balduccini, Akanksha Sinha
Applying AI for social good: Aligning academic journal ratings with the United Nations Sustainable Development Goals (SDGs). AI Soc. 38 (2) (2023)
Thanh Hai Nguyen, Matthew Bundas, Tran Cao Son, Marcello Balduccini, Kathleen Campbell Garwood, Edward R. Griffor
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework. Theory Pract. Log. Program. 23 (5) (2023)
Marcello Balduccini, Michael Barborak, David A. Ferrucci
Pushing the Limits of Clingo's Incremental Grounding and Solving Capabilities in Practical Applications. Algorithms 16 (3) (2023)
Mario Alviano, Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini
Advancements in xASP, an XAI System for Answer Set Programming. CILC (2023)
Tran Cao Son, Enrico Pontelli, Marcello Balduccini, Torsten Schaub
Answer Set Planning: A Survey. Theory Pract. Log. Program. 23 (1) (2023)
Dylan Flynn, Chasity Nadeau, Jeannine Shantz, Marcello Balduccini, Tran Cao Son, Edward R. Griffor
Formalizing and Reasoning About Supply Chain Contracts Between Agents. PADL (2023)
Thanh Hai Nguyen, Matthew Bundas, Tran Cao Son, Marcello Balduccini, Kathleen Campbell Garwood, Edward R. Griffor
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework. CoRR (2022)
Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini
xASP: An Explanation Generation System for Answer Set Programming. LPNMR (2022)
Tran Cao Son, Enrico Pontelli, Marcello Balduccini, Torsten Schaub
Answer Set Planning: A Survey. CoRR (2022)
Marcello Balduccini
People, Ideas, and the Path Ahead. PADL (2022)
Ly Ly T. Trieu, Tran Cao Son, Enrico Pontelli, Marcello Balduccini
Generating explanations for answer set programming applications. CoRR (2021)
Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini
exp(ASPc) : Explaining ASP Programs with Choice Atoms and Constraint Rules. ICLP Technical Communications (2021)
Marcello Balduccini, Yuliya Lierler, Stefan Woltran
Preface. Theory Pract. Log. Program. 21 (3) (2021)
Matthew Bundas, Chasity Nadeau, Thanh Hai Nguyen, Jeannine Shantz, Marcello Balduccini, Tran Cao Son
Towards a Framework for Characterizing the Behavior of AI-Enabled Cyber-Physical and IoT Systems. WF-IoT (2021)
Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini
exp(ASPc): Explaining ASP Programs with Choice Atoms and Constraint Rules. ICLP Workshops (2021)
Kathleen Campbell Garwood, David Steingard, Marcello Balduccini
Dynamic Collaborative Visualization of the United Nations Sustainable Development Goals (SDGs): Creating an SDG Dashboard for Reporting and Best Practice Sharing. VISIGRAPP (3: IVAPP) (2020)
Marcello Balduccini, Emily C. LeBlanc
Action-Centered Information Retrieval. Theory Pract. Log. Program. 20 (2) (2020)
Marcello Balduccini, Michael Gelfond, Enrico Pontelli, Tran Cao Son
An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of Statements. KR (2020)
Marcello Balduccini, Michael Barborak, David A. Ferrucci
Action Languages and COVID-19: Lessons Learned. ICLP Workshops (2020)
Thanh Hai Nguyen, Tran Cao Son, Matthew Bundas, Marcello Balduccini, Kathleen Campbell Garwood, Edward R. Griffor
Reasoning About Trustworthiness in Cyber-Physical Systems Using Ontology-Based Representation and ASP. PRIMA (2020)
Marcello Balduccini, Edward R. Griffor, Michael Huth, Claire Vishik, David A. Wollman, Patrick Kamongi
Decision Support for Smart Grid: Using Reasoning to Contextualize Complex Decision Making. MSCPES@CPSIoTWeek (2019)
Marcello Balduccini, Emily Leblanc
Action-Centered Information Retrieval. CoRR (2019)
Emily C. LeBlanc, Marcello Balduccini, Joost Vennekens
Explaining Actual Causation via Reasoning About Actions and Change. JELIA (2019)
Daniela Inclezan, Qinglin Zhang, Marcello Balduccini, Ankush Israney
An ASP Methodology for Understanding Narratives about Stereotypical Activities. CoRR (2018)
Daniela Inclezan, Qinglin Zhang, Marcello Balduccini, Ankush Israney
An ASP Methodology for Understanding Narratives about Stereotypical Activities. Theory Pract. Log. Program. 18 (3-4) (2018)
Marcello Balduccini, Edward R. Griffor, Michael Huth, Claire Vishik, Martin Burns, David A. Wollman
Ontology-Based Reasoning about the Trustworthiness of Cyber-Physical Systems. CoRR (2018)
Marcello Balduccini, Claire Vishik
Building Blocks in Standards: Improving Consistency in Standardization with Ontology and Reasoning. SSR (2018)
Martin Burns, Edward R. Griffor, Marcello Balduccini, Claire Vishik, Michael Huth, David A. Wollman
Reasoning about Smart City. SMARTCOMP (2018)
Tran Cao Son, Marcello Balduccini
Answer Set Planning in Single- and Multi-agent Environments. Künstliche Intell. 32 (2-3) (2018)
Marcello Balduccini, Yuliya Lierler
Constraint answer set solver EZCSP and why integration schemas matter. Theory Pract. Log. Program. 17 (4) (2017)
Marcello Balduccini, Yuliya Lierler
Constraint Answer Set Solver EZCSP and Why Integration Schemas Matter. CoRR (2017)
Daniela Inclezan, Qinglin Zhang, Marcello Balduccini, Ankush Israney
Understanding Restaurant Stories Using an ASP Theory of Intentions. ICLP (Technical Communications) (2017)
Ryan Young, Marcello Balduccini, Ankush Israney
CASP for Robot Control in Hybrid Domains. ASPOCP@LPNMR (2017)
Marcello Balduccini, Daniele Magazzeni, Marco Maratea, Emily Leblanc
CASP Solutions for Planning in Hybrid Domains. CoRR (2017)
Marcello Balduccini, Daniele Magazzeni, Marco Maratea, Emily Leblanc
CASP solutions for planning in hybrid domains. Theory Pract. Log. Program. 17 (4) (2017)
Marcello Balduccini, Daniele Magazzeni, Marco Maratea
PDDL+ Planning via Constraint Answer Set Programming. CoRR (2016)
Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini
Reasoning about Truthfulness of Agents Using Answer Set Programming. KR (2016)
Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini
An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents. ICLP (Technical Communications) (2016)
Marcello Balduccini, Sarah Kushner, Jacquelin Speck
Ontology-Driven Data Semantics Discovery for Cyber-Security. PADL (2015)
Claire Vishik, Marcello Balduccini
Making Sense of Future Cybersecurity Technologies: Using Ontologies for Multidisciplinary Domain Analysis. ISSE (2015)
Tran Cao Son, Enrico Pontelli, Marcello Balduccini
Reasoning about Truthfulness of Agents Using Answer Set Programming. AAAI Fall Symposia (2015)
Justin Blount, Michael Gelfond, Marcello Balduccini
A Theory of Intentions for Intelligent Agents - (Extended Abstract). LPNMR (2015)
Emily Leblanc, Duc N. Nguyen, Marcello Balduccini, William C. Regli, Joseph B. Kopena, Thomas Wambold
Military Ontologies for Information Dissemination at the Tactical Edge. JOWO@IJCAI (2015)
Justin Lane Blount, Michael Gelfond, Marcello Balduccini
Towards a Theory of Intentional Agents. AAAI Spring Symposia (2014)
Marcello Balduccini, Duc N. Nguyen, William C. Regli
Coordinating UAVs in Dynamic Environments by Network-Aware Mission Planning. MILCOM (2014)
Marcello Balduccini, William C. Regli, Duc N. Nguyen
Towards an ASP-Based Architecture for Autonomous UAVs in Dynamic Environments (Extended Abstract). CoRR (2014)
Marcello Balduccini, William C. Regli, Duc N. Nguyen
An ASP-Based Architecture for Autonomous UAVs in Dynamic Environments: Progress Report. CoRR (2014)
Marcello Balduccini, Yuliya Lierler
Integration Schemas for Constraint Answer Set Programming: a Case Study. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Marcello Balduccini
ASP with non-herbrand partial functions: a language and system for practical use. Theory Pract. Log. Program. 13 (4-5) (2013)
Marcello Balduccini, Yuliya Lierler, Peter Schüller
Prolog and ASP Inference under One Roof. LPNMR (2013)
Marcello Balduccini, Michael Gelfond
Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules CoRR (2013)
Marcello Balduccini
Some Recent Advances in Answer Set Programming (from the Perspective of NLP). NLPAR@LPNMR (2013)
Marcello Balduccini, Yuliya Lierler
Hybrid Automated Reasoning Tools: from Black-box to Clear-box Integration. CoRR (2013)
Marcello Balduccini, Yuliya Lierler
Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools. PADL (2012)
Marcello Balduccini
A "Conservative" Approach to Extending Answer Set Programming with Non-Herbrand Functions. Correct Reasoning (2012)
Marcello Balduccini
An Answer Set Solver for non-Herbrand Programs: Progress Report. ICLP (Technical Communications) (2012)
Marcello Balduccini
Industrial-Size Scheduling with ASP+CP. LPNMR (2011)
Marcello Balduccini, Sara Girotto
ASP as a Cognitive Modeling Tool: Short-Term Memory and Long-Term Memory. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Marcello Balduccini
Learning and using domain-specific heuristics in ASP solvers. AI Commun. 24 (2) (2011)
Marcello Balduccini
Improving DPLL Solver Performance with Domain-Specific Heuristics: the ASP Case CoRR (2011)
Marcello Balduccini, Stefan Woltran
Special issue on answer set programming. AI Commun. 24 (2) (2011)
Marcello Balduccini, Sara Girotto
Formalizing Psychological Knowledge in Answer Set Programming. KR (2010)
Marcello Balduccini, Sara Girotto
Formalization of psychological knowledge in answer set programming and its application. Theory Pract. Log. Program. 10 (4-6) (2010)
Marcello Balduccini, Sara Girotto
Formalization of Psychological Knowledge in Answer Set Programming and its Application CoRR (2010)
Marcello Balduccini
Learning Domain-Specific Heuristics for Answer Set Solvers. ICLP (Technical Communications) (2010)
Marcello Balduccini
Splitting a CR-Prolog Program. LPNMR (2009)
Marcello Balduccini
How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP. LPNMR (2009)
Marcello Balduccini
CR-Prolog as a Specification Language for Constraint Satisfaction Problems. LPNMR (2009)
Marcello Balduccini, Chitta Baral
Organizing Committee. AAAI Spring Symposium: Emotion, Personality, and Social Behavior (2008)
Marcello Balduccini, Michael Gelfond
The AAA Architecture: An Overview. AAAI Spring Symposium: Emotion, Personality, and Social Behavior (2008)
Marcello Balduccini, Chitta Baral, Boyan Brodaric, Simon Colton, Peter Fox, David Gutelius, Knut Hinkelmann, Ian Horswill, Bernardo A. Huberman, Eva Hudlicka, Kristina Lerman, Christine L. Lisetti, Deborah L. McGuinness, Mary Lou Maher, Mark A. Musen, Mehran Sahami, Derek H. Sleeman, Barbara Thönssen, Juan D. Velásquez, Dan Ventura
AAAI 2008 Spring Symposia Reports. AI Mag. 29 (3) (2008)
Marcello Balduccini
cr-models: An Inference Engine for CR-Prolog. LPNMR (2007)
Marcello Balduccini
Learning Action Descriptions with A-Prolog: Action Language C. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2007)
Marcello Balduccini, Michael Gelfond, Monica L. Nogueira
Answer set based design of knowledge systems. Ann. Math. Artif. Intell. 47 (1-2) (2006)
Marcello Balduccini, Enrico Pontelli, Omar El-Khatib, Hung Le
Issues in parallel execution of non-monotonic reasoning systems. Parallel Comput. 31 (6) (2005)
Marcello Balduccini
USA-Smart: Improving the Quality of Plans in Answer Set Planning. PADL (2004)
Marcello Balduccini, Michael Gelfond
Diagnostic reasoning with A-Prolog CoRR (2003)
Marcello Balduccini, Veena S. Mellarkod
CR-Prolog with Ordered Disjunction. Answer Set Programming (2003)
Enrico Pontelli, Marcello Balduccini, F. Bermudez
Non-monotonic Reasoning on Beowulf Platforms. PADL (2003)
Marcello Balduccini, Michael Gelfond
Diagnostic reasoning with A-Prolog. Theory Pract. Log. Program. 3 (4-5) (2003)
Michael Gelfond, Marcello Balduccini, Joel Galloway
Diagnosing Physical Systems in A-Prolog. LPNMR (2001)
Monica L. Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry
An A-Prolog Decision Support System for the Space Shuttle. PADL (2001)
Monica L. Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry
An A Prolog decision support system for the Space Shuttle. Answer Set Programming (2001)
Marcello Balduccini, Michael Gelfond, Richard Watson, Monica L. Nogueira
The USA-Advisor: A Case Study in Answer Set Planning. LPNMR (2001)
Marcello Balduccini
A Framework for Interleaving Planning-while-Learning and Execution. MICAI (2000)
Marcello Balduccini, Gianpaolo Brignoli, Gaetano Aurelio Lanzarone, F. Magni, Alessandro Provetti
Experiments in Answer Sets Planning. MICAI (2000)