Marcello Balduccini

97 papers A* 3B 17C 7Journal 36Unranked 29

Year	Rank	Type	Title / Venue / Authors
2024	B	`conf`	A Simulation for Supply Chains Contract Execution. LPNMR Long Tran-Thanh, Tran Cao Son, Dylan Flynn, Marcello Balduccini
2024	—	`conf`	Communication with Individuals with Disabilities and the Role of LLMs: Progress Report. KoDis+CAKR+SYNERGY@KR May Lutzen, Marcello Balduccini
2024	—	`ed.`	Joint Proceedings of the Joint Workshop on Knowledge Diversity and Cognitive Aspects of KR and the Workshop on Symbolic and Neuro-Symbolic Architectures for Intelligent Robotics Technology (KoDis-CAKR-SYNERGY 2024) co-located with the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), Hanoi, Vietnam, November 2-8, 2024. KoDis+CAKR+SYNERGY@KR Lucía Gómez Álvarez, Jonas Haldimann, Jesse Heyninck, Srdjan Vesic, Francesco Fabiano, Marcello Balduccini
2024	J	`jnl`	The XAI system for answer set programming xASP2. J. Log. Comput. Mario Alviano, Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini
2023	—	`conf`	Advancements in xASP, an XAI System for Answer Set Programming. CILC Mario Alviano, Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini
2023	J	`jnl`	Answer Set Planning: A Survey. Theory Pract. Log. Program. Tran Cao Son, Enrico Pontelli, Marcello Balduccini, Torsten Schaub
2023	J	`jnl`	Applying AI for social good: Aligning academic journal ratings with the United Nations Sustainable Development Goals (SDGs). AI Soc. David Steingard, Marcello Balduccini, Akanksha Sinha
2023	B	`conf`	Explanations for Answer Set Programming. ICLP Mario Alviano, Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini
2023	C	`conf`	Formalizing and Reasoning About Supply Chain Contracts Between Agents. PADL Dylan Flynn, Chasity Nadeau, Jeannine Shantz, Marcello Balduccini, Tran Cao Son, Edward R. Griffor
2023	—	`ch.`	Machines as Thought Partners: Reflections on 50 Years of Prolog. Prolog: The Next 50 Years Gregory Gelfond, Marcello Balduccini, David A. Ferrucci, Aditya Kalyanpur, Adam Lally
2023	J	`jnl`	Pushing the Limits of Clingo's Incremental Grounding and Solving Capabilities in Practical Applications. Algorithms Marcello Balduccini, Michael Barborak, David A. Ferrucci
2023	J	`jnl`	Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework. Theory Pract. Log. Program. Thanh Hai Nguyen, Matthew Bundas, Tran Cao Son, Marcello Balduccini, Kathleen Campbell Garwood, Edward R. Griffor
2022	J	`jnl`	Answer Set Planning: A Survey. CoRR Tran Cao Son, Enrico Pontelli, Marcello Balduccini, Torsten Schaub
2022	C	`conf`	People, Ideas, and the Path Ahead. PADL Marcello Balduccini
2022	J	`jnl`	Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework. CoRR Thanh Hai Nguyen, Matthew Bundas, Tran Cao Son, Marcello Balduccini, Kathleen Campbell Garwood, Edward R. Griffor
2022	B	`conf`	xASP: An Explanation Generation System for Answer Set Programming. LPNMR Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini
2021	J	`jnl`	Generating explanations for answer set programming applications. CoRR Ly Ly T. Trieu, Tran Cao Son, Enrico Pontelli, Marcello Balduccini
2021	J	`jnl`	Preface. Theory Pract. Log. Program. Marcello Balduccini, Yuliya Lierler, Stefan Woltran
2021	—	`conf`	Towards a Framework for Characterizing the Behavior of AI-Enabled Cyber-Physical and IoT Systems. WF-IoT Matthew Bundas, Chasity Nadeau, Thanh Hai Nguyen, Jeannine Shantz, Marcello Balduccini, Tran Cao Son
2021	—	`conf`	exp(ASPc) : Explaining ASP Programs with Choice Atoms and Constraint Rules. ICLP Technical Communications Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini
2021	—	`conf`	exp(ASPc): Explaining ASP Programs with Choice Atoms and Constraint Rules. ICLP Workshops Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini
2020	—	`conf`	Action Languages and COVID-19: Lessons Learned. ICLP Workshops Marcello Balduccini, Michael Barborak, David A. Ferrucci
2020	J	`jnl`	Action-Centered Information Retrieval. Theory Pract. Log. Program. Marcello Balduccini, Emily C. LeBlanc
2020	A*	`conf`	An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of Statements. KR Marcello Balduccini, Michael Gelfond, Enrico Pontelli, Tran Cao Son
2020	—	`conf`	Dynamic Collaborative Visualization of the United Nations Sustainable Development Goals (SDGs): Creating an SDG Dashboard for Reporting and Best Practice Sharing. VISIGRAPP (3: IVAPP) Kathleen Campbell Garwood, David Steingard, Marcello Balduccini
2020	B	`conf`	Reasoning About Trustworthiness in Cyber-Physical Systems Using Ontology-Based Representation and ASP. PRIMA Thanh Hai Nguyen, Tran Cao Son, Matthew Bundas, Marcello Balduccini, Kathleen Campbell Garwood, Edward R. Griffor
2019	J	`jnl`	Action-Centered Information Retrieval. CoRR Marcello Balduccini, Emily Leblanc
2019	—	`conf`	Decision Support for Smart Grid: Using Reasoning to Contextualize Complex Decision Making. MSCPES@CPSIoTWeek Marcello Balduccini, Edward R. Griffor, Michael Huth, Claire Vishik, David A. Wollman, Patrick Kamongi
2019	B	`conf`	Explaining Actual Causation via Reasoning About Actions and Change. JELIA Emily C. LeBlanc, Marcello Balduccini, Joost Vennekens
2019	B	`ed.`	Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings LPNMR Marcello Balduccini, Yuliya Lierler, Stefan Woltran
2018	J	`jnl`	An ASP Methodology for Understanding Narratives about Stereotypical Activities. CoRR Daniela Inclezan, Qinglin Zhang, Marcello Balduccini, Ankush Israney
2018	J	`jnl`	An ASP Methodology for Understanding Narratives about Stereotypical Activities. Theory Pract. Log. Program. Daniela Inclezan, Qinglin Zhang, Marcello Balduccini, Ankush Israney
2018	J	`jnl`	Answer Set Planning in Single- and Multi-agent Environments. Künstliche Intell. Tran Cao Son, Marcello Balduccini
2018	—	`conf`	Building Blocks in Standards: Improving Consistency in Standardization with Ontology and Reasoning. SSR Marcello Balduccini, Claire Vishik
2018	J	`jnl`	Ontology-Based Reasoning about the Trustworthiness of Cyber-Physical Systems. CoRR Marcello Balduccini, Edward R. Griffor, Michael Huth, Claire Vishik, Martin Burns, David A. Wollman
2018	B	`conf`	Reasoning about Smart City. SMARTCOMP Martin Burns, Edward R. Griffor, Marcello Balduccini, Claire Vishik, Michael Huth, David A. Wollman
2017	J	`jnl`	CASP Solutions for Planning in Hybrid Domains. CoRR Marcello Balduccini, Daniele Magazzeni, Marco Maratea, Emily Leblanc
2017	—	`conf`	CASP for Robot Control in Hybrid Domains. ASPOCP@LPNMR Ryan Young, Marcello Balduccini, Ankush Israney
2017	J	`jnl`	CASP solutions for planning in hybrid domains. Theory Pract. Log. Program. Marcello Balduccini, Daniele Magazzeni, Marco Maratea, Emily Leblanc
2017	J	`jnl`	Constraint Answer Set Solver EZCSP and Why Integration Schemas Matter. CoRR Marcello Balduccini, Yuliya Lierler
2017	J	`jnl`	Constraint answer set solver EZCSP and why integration schemas matter. Theory Pract. Log. Program. Marcello Balduccini, Yuliya Lierler
2017	B	`ed.`	Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings LPNMR Marcello Balduccini, Tomi Janhunen
2017	—	`conf`	Understanding Restaurant Stories Using an ASP Theory of Intentions. ICLP (Technical Communications) Daniela Inclezan, Qinglin Zhang, Marcello Balduccini, Ankush Israney
2016	—	`conf`	An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents. ICLP (Technical Communications) Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini
2016	J	`jnl`	PDDL+ Planning via Constraint Answer Set Programming. CoRR Marcello Balduccini, Daniele Magazzeni, Marco Maratea
2016	A*	`conf`	Reasoning about Truthfulness of Agents Using Answer Set Programming. KR Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini
2015	B	`conf`	A Theory of Intentions for Intelligent Agents - (Extended Abstract). LPNMR Justin Blount, Michael Gelfond, Marcello Balduccini
2015	—	`conf`	Making Sense of Future Cybersecurity Technologies: Using Ontologies for Multidisciplinary Domain Analysis. ISSE Claire Vishik, Marcello Balduccini
2015	—	`conf`	Military Ontologies for Information Dissemination at the Tactical Edge. JOWO@IJCAI Emily Leblanc, Duc N. Nguyen, Marcello Balduccini, William C. Regli, Joseph B. Kopena, Thomas Wambold
2015	C	`conf`	Ontology-Driven Data Semantics Discovery for Cyber-Security. PADL Marcello Balduccini, Sarah Kushner, Jacquelin Speck
2015	—	`conf`	Reasoning about Truthfulness of Agents Using Answer Set Programming. AAAI Fall Symposia Tran Cao Son, Enrico Pontelli, Marcello Balduccini
2014	J	`jnl`	An ASP-Based Architecture for Autonomous UAVs in Dynamic Environments: Progress Report. CoRR Marcello Balduccini, William C. Regli, Duc N. Nguyen
2014	—	`conf`	Coordinating UAVs in Dynamic Environments by Network-Aware Mission Planning. MILCOM Marcello Balduccini, Duc N. Nguyen, William C. Regli
2014	—	`conf`	Towards a Theory of Intentional Agents. AAAI Spring Symposia Justin Lane Blount, Michael Gelfond, Marcello Balduccini
2014	J	`jnl`	Towards an ASP-Based Architecture for Autonomous UAVs in Dynamic Environments (Extended Abstract). CoRR Marcello Balduccini, William C. Regli, Duc N. Nguyen
2013	J	`jnl`	ASP with non-herbrand partial functions: a language and system for practical use. Theory Pract. Log. Program. Marcello Balduccini
2013	J	`jnl`	Hybrid Automated Reasoning Tools: from Black-box to Clear-box Integration. CoRR Marcello Balduccini, Yuliya Lierler
2013	J	`jnl`	Integration Schemas for Constraint Answer Set Programming: a Case Study. Theory Pract. Log. Program. Marcello Balduccini, Yuliya Lierler
2013	J	`jnl`	Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules CoRR Marcello Balduccini, Michael Gelfond
2013	B	`conf`	Prolog and ASP Inference under One Roof. LPNMR Marcello Balduccini, Yuliya Lierler, Peter Schüller
2013	—	`conf`	Some Recent Advances in Answer Set Programming (from the Perspective of NLP). NLPAR@LPNMR Marcello Balduccini
2012	—	`conf`	A "Conservative" Approach to Extending Answer Set Programming with Non-Herbrand Functions. Correct Reasoning Marcello Balduccini
2012	—	`conf`	An Answer Set Solver for non-Herbrand Programs: Progress Report. ICLP (Technical Communications) Marcello Balduccini
2012	C	`conf`	Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools. PADL Marcello Balduccini, Yuliya Lierler
2011	—	`conf`	ASP as a Cognitive Modeling Tool: Short-Term Memory and Long-Term Memory. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Marcello Balduccini, Sara Girotto
2011	J	`jnl`	Improving DPLL Solver Performance with Domain-Specific Heuristics: the ASP Case CoRR Marcello Balduccini
2011	B	`conf`	Industrial-Size Scheduling with ASP+CP. LPNMR Marcello Balduccini
2011	J	`jnl`	Learning and using domain-specific heuristics in ASP solvers. AI Commun. Marcello Balduccini
2011	—	`ed.`	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Marcello Balduccini, Tran Cao Son
2011	J	`jnl`	Special issue on answer set programming. AI Commun. Marcello Balduccini, Stefan Woltran
2010	J	`jnl`	Formalization of Psychological Knowledge in Answer Set Programming and its Application CoRR Marcello Balduccini, Sara Girotto
2010	J	`jnl`	Formalization of psychological knowledge in answer set programming and its application. Theory Pract. Log. Program. Marcello Balduccini, Sara Girotto
2010	A*	`conf`	Formalizing Psychological Knowledge in Answer Set Programming. KR Marcello Balduccini, Sara Girotto
2010	—	`conf`	Learning Domain-Specific Heuristics for Answer Set Solvers. ICLP (Technical Communications) Marcello Balduccini
2009	B	`conf`	CR-Prolog as a Specification Language for Constraint Satisfaction Problems. LPNMR Marcello Balduccini
2009	B	`conf`	How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP. LPNMR Marcello Balduccini
2009	B	`conf`	Splitting a CR-Prolog Program. LPNMR Marcello Balduccini
2008	J	`jnl`	AAAI 2008 Spring Symposia Reports. AI Mag. 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
2008	—	`ch.`	Knowledge Representation and Question Answering. Handbook of Knowledge Representation Marcello Balduccini, Chitta Baral, Yuliya Lierler
2008	—	`conf`	Organizing Committee. AAAI Spring Symposium: Emotion, Personality, and Social Behavior Marcello Balduccini, Chitta Baral
2008	—	`conf`	The AAA Architecture: An Overview. AAAI Spring Symposium: Emotion, Personality, and Social Behavior Marcello Balduccini, Michael Gelfond
2007	—	`conf`	Learning Action Descriptions with A-Prolog: Action Language C. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning Marcello Balduccini
2007	B	`conf`	cr-models: An Inference Engine for CR-Prolog. LPNMR Marcello Balduccini
2006	J	`jnl`	Answer set based design of knowledge systems. Ann. Math. Artif. Intell. Marcello Balduccini, Michael Gelfond, Monica L. Nogueira
2005	—	`—`	Answer set based design of highly autonomous, rational agents. Marcello Balduccini
2005	J	`jnl`	Issues in parallel execution of non-monotonic reasoning systems. Parallel Comput. Marcello Balduccini, Enrico Pontelli, Omar El-Khatib, Hung Le
2004	C	`conf`	USA-Smart: Improving the Quality of Plans in Answer Set Planning. PADL Marcello Balduccini
2003	—	`conf`	CR-Prolog with Ordered Disjunction. Answer Set Programming Marcello Balduccini, Veena S. Mellarkod
2003	J	`jnl`	Diagnostic reasoning with A-Prolog CoRR Marcello Balduccini, Michael Gelfond
2003	J	`jnl`	Diagnostic reasoning with A-Prolog. Theory Pract. Log. Program. Marcello Balduccini, Michael Gelfond
2003	C	`conf`	Non-monotonic Reasoning on Beowulf Platforms. PADL Enrico Pontelli, Marcello Balduccini, F. Bermudez
2001	—	`conf`	An A Prolog decision support system for the Space Shuttle. Answer Set Programming Monica L. Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry
2001	C	`conf`	An A-Prolog Decision Support System for the Space Shuttle. PADL Monica L. Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry
2001	B	`conf`	Diagnosing Physical Systems in A-Prolog. LPNMR Michael Gelfond, Marcello Balduccini, Joel Galloway
2001	B	`conf`	The USA-Advisor: A Case Study in Answer Set Planning. LPNMR Marcello Balduccini, Michael Gelfond, Richard Watson, Monica L. Nogueira
2000	—	`conf`	A Framework for Interleaving Planning-while-Learning and Execution. MICAI Marcello Balduccini
2000	—	`conf`	Experiments in Answer Sets Planning. MICAI Marcello Balduccini, Gianpaolo Brignoli, Gaetano Aurelio Lanzarone, F. Magni, Alessandro Provetti