Marcello Balduccini

According to our database, Marcello Balduccini authored at least 80 papers between 2000 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework.

Thanh Hai Nguyen, Matthew Bundas, Tran Cao Son, Marcello Balduccini, Kathleen Campbell Garwood, Edward R. Griffor

Theory Pract. Log. Program., September, 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., April, 2023

Pushing the Limits of Clingo's Incremental Grounding and Solving Capabilities in Practical Applications.

Marcello Balduccini, Michael Barborak, David A. Ferrucci

Algorithms, March, 2023

Machines as Thought Partners: Reflections on 50 Years of Prolog.

Gregory Gelfond, Marcello Balduccini, David A. Ferrucci, Aditya Kalyanpur, Adam Lally

Proceedings of the Prolog: The Next 50 Years, 2023

Answer Set Planning: A Survey.

Tran Cao Son, Enrico Pontelli, Marcello Balduccini, Torsten Schaub

Theory Pract. Log. Program., 2023

Explanations for Answer Set Programming.

Mario Alviano, Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini

Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023

Formalizing and Reasoning About Supply Chain Contracts Between Agents.

Dylan Flynn, Chasity Nadeau, Jeannine Shantz, Marcello Balduccini, Tran Cao Son, Edward R. Griffor

Proceedings of the Practical Aspects of Declarative Languages, 2023

Advancements in xASP, an XAI System for Answer Set Programming.

Mario Alviano, Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini

Proceedings of the 38th Italian Conference on Computational Logic, 2023

2022

People, Ideas, and the Path Ahead.

Marcello Balduccini

Proceedings of the Practical Aspects of Declarative Languages, 2022

xASP: An Explanation Generation System for Answer Set Programming.

Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

2021

Preface.

Marcello Balduccini, Yuliya Lierler, Stefan Woltran

Theory Pract. Log. Program., 2021

exp(ASPc) : Explaining ASP Programs with Choice Atoms and Constraint Rules.

Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini

Proceedings of the Proceedings 37th International Conference on Logic Programming (Technical Communications), 2021

Generating explanations for answer set programming applications.

Ly Ly T. Trieu, Tran Cao Son, Enrico Pontelli, Marcello Balduccini

CoRR, 2021

Towards a Framework for Characterizing the Behavior of AI-Enabled Cyber-Physical and IoT Systems.

Matthew Bundas, Chasity Nadeau, Thanh Hai Nguyen, Jeannine Shantz, Marcello Balduccini, Tran Cao Son

Proceedings of the 7th IEEE World Forum on Internet of Things, 2021

2020

Action-Centered Information Retrieval.

Marcello Balduccini, Emily C. LeBlanc

Theory Pract. Log. Program., 2020

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

Proceedings of the PRIMA 2020: Principles and Practice of Multi-Agent Systems, 2020

An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of Statements.

Marcello Balduccini, Michael Gelfond, Enrico Pontelli, Tran Cao Son

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Action Languages and COVID-19: Lessons Learned.

Marcello Balduccini, Michael Barborak, David A. Ferrucci

Proceedings of the International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), 2020

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

Proceedings of the 15th International Joint Conference on Computer Vision, 2020

2019

Explaining Actual Causation via Reasoning About Actions and Change.

Emily C. LeBlanc, Marcello Balduccini, Joost Vennekens

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Decision Support for Smart Grid: Using Reasoning to Contextualize Complex Decision Making.

Marcello Balduccini, Edward R. Griffor, Michael Huth, Claire Vishik, David A. Wollman, Patrick Kamongi

Proceedings of the 7th Workshop on Modeling and Simulation of Cyber-Physical Energy Systems, 2019

2018

An ASP Methodology for Understanding Narratives about Stereotypical Activities.

Daniela Inclezan, Qinglin Zhang, Marcello Balduccini, Ankush Israney

Theory Pract. Log. Program., 2018

Answer Set Planning in Single- and Multi-agent Environments.

Tran Cao Son, Marcello Balduccini

Künstliche Intell., 2018

Ontology-Based Reasoning about the Trustworthiness of Cyber-Physical Systems.

Marcello Balduccini, Edward R. Griffor, Michael Huth, Claire Vishik, Martin Burns, David A. Wollman

CoRR, 2018

Reasoning about Smart City.

Martin Burns, Edward R. Griffor, Marcello Balduccini, Claire Vishik, Michael Huth, David A. Wollman

Proceedings of the 2018 IEEE International Conference on Smart Computing, 2018

Building Blocks in Standards: Improving Consistency in Standardization with Ontology and Reasoning.

Marcello Balduccini, Claire Vishik

Proceedings of the Security Standardisation Research - 4th International Conference, 2018

2017

CASP solutions for planning in hybrid domains.

Marcello Balduccini, Daniele Magazzeni, Marco Maratea, Emily Leblanc

Theory Pract. Log. Program., 2017

Constraint answer set solver EZCSP and why integration schemas matter.

Marcello Balduccini, Yuliya Lierler

Theory Pract. Log. Program., 2017

CASP for Robot Control in Hybrid Domains.

Ryan Young, Marcello Balduccini, Ankush Israney

Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, 2017

Understanding Restaurant Stories Using an ASP Theory of Intentions.

Daniela Inclezan, Qinglin Zhang, Marcello Balduccini, Ankush Israney

Proceedings of the Technical Communications of the 33rd International Conference on Logic Programming, 2017

2016

PDDL+ Planning via Constraint Answer Set Programming.

Marcello Balduccini, Daniele Magazzeni, Marco Maratea

CoRR, 2016

Reasoning about Truthfulness of Agents Using Answer Set Programming.

Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents.

Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

2015

Ontology-Driven Data Semantics Discovery for Cyber-Security.

Marcello Balduccini, Sarah Kushner, Jacquelin Speck

Proceedings of the Practical Aspects of Declarative Languages, 2015

A Theory of Intentions for Intelligent Agents - (Extended Abstract).

Justin Blount, Michael Gelfond, Marcello Balduccini

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Making Sense of Future Cybersecurity Technologies: Using Ontologies for Multidisciplinary Domain Analysis.

Claire Vishik, Marcello Balduccini

Proceedings of the ISSE 2015, 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

Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015

Reasoning about Truthfulness of Agents Using Answer Set Programming.

Tran Cao Son, Enrico Pontelli, Marcello Balduccini

Proceedings of the 2015 AAAI Fall Symposia, Arlington, Virginia, USA, November 12-14, 2015, 2015

2014

Towards an ASP-Based Architecture for Autonomous UAVs in Dynamic Environments (Extended Abstract).

Marcello Balduccini, William C. Regli, Duc N. Nguyen

CoRR, 2014

An ASP-Based Architecture for Autonomous UAVs in Dynamic Environments: Progress Report.

Marcello Balduccini, William C. Regli, Duc N. Nguyen

CoRR, 2014

Coordinating UAVs in Dynamic Environments by Network-Aware Mission Planning.

Marcello Balduccini, Duc N. Nguyen, William C. Regli

Proceedings of the 2014 IEEE Military Communications Conference, 2014

Towards a Theory of Intentional Agents.

Justin Lane Blount, Michael Gelfond, Marcello Balduccini

Proceedings of the 2014 AAAI Spring Symposia, 2014

2013

Integration Schemas for Constraint Answer Set Programming: a Case Study.

Marcello Balduccini, Yuliya Lierler

Theory Pract. Log. Program., 2013

ASP with non-herbrand partial functions: a language and system for practical use.

Marcello Balduccini

Theory Pract. Log. Program., 2013

Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules

Marcello Balduccini, Michael Gelfond

CoRR, 2013

Hybrid Automated Reasoning Tools: from Black-box to Clear-box Integration.

Marcello Balduccini, Yuliya Lierler

CoRR, 2013

Prolog and ASP Inference under One Roof.

Marcello Balduccini, Yuliya Lierler, Peter Schüller

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Some Recent Advances in Answer Set Programming (from the Perspective of NLP).

Marcello Balduccini

Proceedings of the 1st Workshop on Natural Language Processing and Automated Reasoning co-located with 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), 2013

2012

Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools.

Marcello Balduccini, Yuliya Lierler

Proceedings of the Practical Aspects of Declarative Languages, 2012

An Answer Set Solver for non-Herbrand Programs: Progress Report.

Marcello Balduccini

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

A "Conservative" Approach to Extending Answer Set Programming with Non-Herbrand Functions.

Marcello Balduccini

Proceedings of the Correct Reasoning, 2012

2011

Improving DPLL Solver Performance with Domain-Specific Heuristics: the ASP Case

Marcello Balduccini

CoRR, 2011

Special issue on answer set programming.

Marcello Balduccini, Stefan Woltran

AI Commun., 2011

Learning and using domain-specific heuristics in ASP solvers.

Marcello Balduccini

AI Commun., 2011

Industrial-Size Scheduling with ASP+CP.

Marcello Balduccini

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

ASP as a Cognitive Modeling Tool: Short-Term Memory and Long-Term Memory.

Marcello Balduccini, Sara Girotto

Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2010

Formalization of psychological knowledge in answer set programming and its application.

Marcello Balduccini, Sara Girotto

Theory Pract. Log. Program., 2010

Formalizing Psychological Knowledge in Answer Set Programming.

Marcello Balduccini, Sara Girotto

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Learning Domain-Specific Heuristics for Answer Set Solvers.

Marcello Balduccini

Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

2009

CR-Prolog as a Specification Language for Constraint Satisfaction Problems.

Marcello Balduccini

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Splitting a CR-Prolog Program.

Marcello Balduccini

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP.

Marcello Balduccini

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

2008

Knowledge Representation and Question Answering.

Marcello Balduccini, Chitta Baral, Yuliya Lierler

Proceedings of the Handbook of Knowledge Representation, 2008

AAAI 2008 Spring Symposia Reports.

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

AI Mag., 2008

The AAA Architecture: An Overview.

Marcello Balduccini, Michael Gelfond

Proceedings of the Architectures for Intelligent Theory-Based Agents, 2008

Organizing Committee.

Marcello Balduccini, Chitta Baral

Proceedings of the Architectures for Intelligent Theory-Based Agents, 2008

2007

cr-models: An Inference Engine for CR-Prolog.

Marcello Balduccini

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

Learning Action Descriptions with A-Prolog: Action Language C.

Marcello Balduccini

Proceedings of the Logical Formalizations of Commonsense Reasoning, 2007

2006

Answer set based design of knowledge systems.

Marcello Balduccini, Michael Gelfond, Monica L. Nogueira

Ann. Math. Artif. Intell., 2006

2005

Answer set based design of highly autonomous, rational agents.

Marcello Balduccini

PhD thesis, 2005

Issues in parallel execution of non-monotonic reasoning systems.

Marcello Balduccini, Enrico Pontelli, Omar El-Khatib, Hung Le

Parallel Comput., 2005

2004

USA-Smart: Improving the Quality of Plans in Answer Set Planning.

Marcello Balduccini

Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

2003

Diagnostic reasoning with A-Prolog.

Marcello Balduccini, Michael Gelfond

Theory Pract. Log. Program., 2003

Non-monotonic Reasoning on Beowulf Platforms.

Enrico Pontelli, Marcello Balduccini, F. Bermudez

Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003

CR-Prolog with Ordered Disjunction.

Marcello Balduccini, Veena S. Mellarkod

Proceedings of the Answer Set Programming, 2003

2001

An A-Prolog Decision Support System for the Space Shuttle.

Monica L. Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry

Proceedings of the Practical Aspects of Declarative Languages, 2001

Diagnosing Physical Systems in A-Prolog.

Michael Gelfond, Marcello Balduccini, Joel Galloway

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

The USA-Advisor: A Case Study in Answer Set Planning.

Marcello Balduccini, Michael Gelfond, Richard Watson, Monica L. Nogueira

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

2000

Experiments in Answer Sets Planning.

Marcello Balduccini, Gianpaolo Brignoli, Gaetano Aurelio Lanzarone, F. Magni, Alessandro Provetti

Proceedings of the MICAI 2000: Advances in Artificial Intelligence, 2000

A Framework for Interleaving Planning-while-Learning and Execution.

Marcello Balduccini

Proceedings of the MICAI 2000: Advances in Artificial Intelligence, 2000