default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarcello Balduccini
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c53]Long Tran-Thanh, Tran Cao Son, Dylan Flynn, Marcello Balduccini:
A Simulation for Supply Chains Contract Execution. LPNMR 2024: 331-344- 2023
- [j19]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): 613-629 (2023) - [j18]Marcello Balduccini, Michael Barborak, David A. Ferrucci:
Pushing the Limits of Clingo's Incremental Grounding and Solving Capabilities in Practical Applications. Algorithms 16(3): 169 (2023) - [j17]Tran Cao Son
, Enrico Pontelli, Marcello Balduccini, Torsten Schaub:
Answer Set Planning: A Survey. Theory Pract. Log. Program. 23(1): 226-298 (2023) - [j16]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): 1029-1069 (2023) - [c52]Mario Alviano, Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini:
Advancements in xASP, an XAI System for Answer Set Programming. CILC 2023 - [c51]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: 144-160 - [c50]Mario Alviano, Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini:
Explanations for Answer Set Programming. ICLP 2023: 27-40 - [p1]Gregory Gelfond, Marcello Balduccini, David A. Ferrucci, Aditya Kalyanpur, Adam Lally:
Machines as Thought Partners: Reflections on 50 Years of Prolog. Prolog: The Next 50 Years 2023: 386-392 - 2022
- [c49]Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini:
xASP: An Explanation Generation System for Answer Set Programming. LPNMR 2022: 363-369 - [c48]Marcello Balduccini:
People, Ideas, and the Path Ahead. PADL 2022: 3-12 - [i16]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 abs/2201.05710 (2022) - [i15]Tran Cao Son, Enrico Pontelli, Marcello Balduccini, Torsten Schaub:
Answer Set Planning: A Survey. CoRR abs/2202.05793 (2022) - 2021
- [j15]Marcello Balduccini, Yuliya Lierler, Stefan Woltran:
Preface. Theory Pract. Log. Program. 21(3): 293-295 (2021) - [c47]Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini:
exp(ASPc): Explaining ASP Programs with Choice Atoms and Constraint Rules. ICLP Workshops 2021 - [c46]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: 551-556 - [c45]Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini:
exp(ASPc) : Explaining ASP Programs with Choice Atoms and Constraint Rules. ICLP Technical Communications 2021: 155-161 - [i14]Ly Ly T. Trieu, Tran Cao Son, Enrico Pontelli, Marcello Balduccini:
Generating explanations for answer set programming applications. CoRR abs/2104.08963 (2021) - 2020
- [j14]Marcello Balduccini, Emily C. LeBlanc:
Action-Centered Information Retrieval. Theory Pract. Log. Program. 20(2): 249-272 (2020) - [c44]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: 294-300 - [c43]Marcello Balduccini, Michael Barborak, David A. Ferrucci:
Action Languages and COVID-19: Lessons Learned. ICLP Workshops 2020 - [c42]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: 69-78 - [c41]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: 51-67
2010 – 2019
- 2019
- [c40]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: 1-6 - [c39]Emily C. LeBlanc, Marcello Balduccini, Joost Vennekens:
Explaining Actual Causation via Reasoning About Actions and Change. JELIA 2019: 231-246 - [e3]Marcello Balduccini, Yuliya Lierler, Stefan Woltran:
Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings. Lecture Notes in Computer Science 11481, Springer 2019, ISBN 978-3-030-20527-0 [contents] - [i13]Marcello Balduccini, Emily Leblanc:
Action-Centered Information Retrieval. CoRR abs/1903.09850 (2019) - 2018
- [j13]Tran Cao Son, Marcello Balduccini:
Answer Set Planning in Single- and Multi-agent Environments. Künstliche Intell. 32(2-3): 133-141 (2018) - [j12]Daniela Inclezan, Qinglin Zhang, Marcello Balduccini, Ankush Israney:
An ASP Methodology for Understanding Narratives about Stereotypical Activities. Theory Pract. Log. Program. 18(3-4): 535-552 (2018) - [c38]Marcello Balduccini, Claire Vishik:
Building Blocks in Standards: Improving Consistency in Standardization with Ontology and Reasoning. SSR 2018: 76-94 - [c37]Martin Burns, Edward R. Griffor, Marcello Balduccini, Claire Vishik, Michael Huth, David A. Wollman:
Reasoning about Smart City. SMARTCOMP 2018: 381-386 - [i12]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 abs/1803.07438 (2018) - [i11]Daniela Inclezan, Qinglin Zhang, Marcello Balduccini, Ankush Israney:
An ASP Methodology for Understanding Narratives about Stereotypical Activities. CoRR abs/1804.09855 (2018) - 2017
- [j11]Marcello Balduccini, Yuliya Lierler:
Constraint answer set solver EZCSP and why integration schemas matter. Theory Pract. Log. Program. 17(4): 462-515 (2017) - [j10]Marcello Balduccini, Daniele Magazzeni, Marco Maratea, Emily Leblanc:
CASP solutions for planning in hybrid domains. Theory Pract. Log. Program. 17(4): 591-633 (2017) - [c36]Daniela Inclezan, Qinglin Zhang, Marcello Balduccini, Ankush Israney:
Understanding Restaurant Stories Using an ASP Theory of Intentions. ICLP (Technical Communications) 2017: 7:1-7:4 - [c35]Ryan Young, Marcello Balduccini, Ankush Israney:
CASP for Robot Control in Hybrid Domains. ASPOCP@LPNMR 2017 - [e2]Marcello Balduccini, Tomi Janhunen:
Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings. Lecture Notes in Computer Science 10377, Springer 2017, ISBN 978-3-319-61659-9 [contents] - [i10]Marcello Balduccini, Yuliya Lierler:
Constraint Answer Set Solver EZCSP and Why Integration Schemas Matter. CoRR abs/1702.04047 (2017) - [i9]Marcello Balduccini, Daniele Magazzeni, Marco Maratea, Emily Leblanc:
CASP Solutions for Planning in Hybrid Domains. CoRR abs/1704.03574 (2017) - 2016
- [c34]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: 8:1-8:4 - [c33]Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini:
Reasoning about Truthfulness of Agents Using Answer Set Programming. KR 2016: 605-608 - [i8]Marcello Balduccini, Daniele Magazzeni, Marco Maratea:
PDDL+ Planning via Constraint Answer Set Programming. CoRR abs/1609.00030 (2016) - 2015
- [c32]Tran Cao Son, Enrico Pontelli, Marcello Balduccini:
Reasoning about Truthfulness of Agents Using Answer Set Programming. AAAI Fall Symposia 2015: 47-50 - [c31]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 - [c30]Claire Vishik, Marcello Balduccini:
Making Sense of Future Cybersecurity Technologies: Using Ontologies for Multidisciplinary Domain Analysis. ISSE 2015: 135-145 - [c29]Justin Blount, Michael Gelfond, Marcello Balduccini:
A Theory of Intentions for Intelligent Agents - (Extended Abstract). LPNMR 2015: 134-142 - [c28]Marcello Balduccini, Sarah Kushner, Jacquelin Speck:
Ontology-Driven Data Semantics Discovery for Cyber-Security. PADL 2015: 1-16 - 2014
- [c27]Justin Lane Blount, Michael Gelfond, Marcello Balduccini:
Towards a Theory of Intentional Agents. AAAI Spring Symposia 2014 - [c26]Marcello Balduccini, Duc N. Nguyen, William C. Regli:
Coordinating UAVs in Dynamic Environments by Network-Aware Mission Planning. MILCOM 2014: 983-988 - [i7]Marcello Balduccini, William C. Regli, Duc N. Nguyen:
An ASP-Based Architecture for Autonomous UAVs in Dynamic Environments: Progress Report. CoRR abs/1405.1124 (2014) - [i6]Marcello Balduccini, William C. Regli, Duc N. Nguyen:
Towards an ASP-Based Architecture for Autonomous UAVs in Dynamic Environments (Extended Abstract). CoRR abs/1405.5443 (2014) - 2013
- [j9]Marcello Balduccini:
ASP with non-herbrand partial functions: a language and system for practical use. Theory Pract. Log. Program. 13(4-5): 547-561 (2013) - [j8]Marcello Balduccini, Yuliya Lierler:
Integration Schemas for Constraint Answer Set Programming: a Case Study. Theory Pract. Log. Program. 13(4-5-Online-Supplement) (2013) - [c25]Marcello Balduccini:
Some Recent Advances in Answer Set Programming (from the Perspective of NLP). NLPAR@LPNMR 2013: 1-6 - [c24]Marcello Balduccini, Yuliya Lierler, Peter Schüller:
Prolog and ASP Inference under One Roof. LPNMR 2013: 148-160 - [i5]Marcello Balduccini, Michael Gelfond:
Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules. CoRR abs/1301.1387 (2013) - [i4]Marcello Balduccini, Yuliya Lierler:
Hybrid Automated Reasoning Tools: from Black-box to Clear-box Integration. CoRR abs/1312.6105 (2013) - 2012
- [c23]Marcello Balduccini:
A "Conservative" Approach to Extending Answer Set Programming with Non-Herbrand Functions. Correct Reasoning 2012: 24-39 - [c22]Marcello Balduccini:
An Answer Set Solver for non-Herbrand Programs: Progress Report. ICLP (Technical Communications) 2012: 49-60 - [c21]Marcello Balduccini, Yuliya Lierler:
Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools. PADL 2012: 78-92 - 2011
- [j7]Marcello Balduccini, Stefan Woltran:
Special issue on answer set programming. AI Commun. 24(2): 105-106 (2011) - [j6]Marcello Balduccini:
Learning and using domain-specific heuristics in ASP solvers. AI Commun. 24(2): 147-164 (2011) - [c20]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: 377-397 - [c19]Marcello Balduccini:
Industrial-Size Scheduling with ASP+CP. LPNMR 2011: 284-296 - [e1]Marcello Balduccini, Tran Cao Son:
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 6565, Springer 2011, ISBN 978-3-642-20831-7 [contents] - [i3]Marcello Balduccini:
Improving DPLL Solver Performance with Domain-Specific Heuristics: the ASP Case. CoRR abs/1102.2125 (2011) - 2010
- [j5]Marcello Balduccini, Sara Girotto:
Formalization of psychological knowledge in answer set programming and its application. Theory Pract. Log. Program. 10(4-6): 725-740 (2010) - [c18]Marcello Balduccini:
Learning Domain-Specific Heuristics for Answer Set Solvers. ICLP (Technical Communications) 2010: 14-23 - [c17]Marcello Balduccini, Sara Girotto:
Formalizing Psychological Knowledge in Answer Set Programming. KR 2010 - [i2]Marcello Balduccini, Sara Girotto:
Formalization of Psychological Knowledge in Answer Set Programming and its Application. CoRR abs/1007.4767 (2010)
2000 – 2009
- 2009
- [c16]Marcello Balduccini:
How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP. LPNMR 2009: 4-16 - [c15]Marcello Balduccini:
Splitting a CR-Prolog Program. LPNMR 2009: 17-29 - [c14]Marcello Balduccini:
CR-Prolog as a Specification Language for Constraint Satisfaction Problems. LPNMR 2009: 402-408 - 2008
- [j4]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): 107-115 (2008) - [c13]Marcello Balduccini, Chitta Baral:
Organizing Committee. AAAI Spring Symposium: Emotion, Personality, and Social Behavior 2008 - [c12]Marcello Balduccini, Michael Gelfond:
The AAA Architecture: An Overview. AAAI Spring Symposium: Emotion, Personality, and Social Behavior 2008: 1-6 - [r1]Marcello Balduccini, Chitta Baral, Yuliya Lierler:
Knowledge Representation and Question Answering. Handbook of Knowledge Representation 2008: 779-819 - 2007
- [c11]Marcello Balduccini:
Learning Action Descriptions with A-Prolog: Action Language C. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2007: 13-18 - [c10]Marcello Balduccini:
cr-models: An Inference Engine for CR-Prolog. LPNMR 2007: 18-30 - 2006
- [j3]Marcello Balduccini, Michael Gelfond, Monica L. Nogueira:
Answer set based design of knowledge systems. Ann. Math. Artif. Intell. 47(1-2): 183-219 (2006) - 2005
- [b1]Marcello Balduccini:
Answer set based design of highly autonomous, rational agents. Texas Tech University, Lubbock, USA, 2005 - [j2]Marcello Balduccini, Enrico Pontelli, Omar El-Khatib, Hung Le:
Issues in parallel execution of non-monotonic reasoning systems. Parallel Comput. 31(6): 608-647 (2005) - 2004
- [c9]Marcello Balduccini:
USA-Smart: Improving the Quality of Plans in Answer Set Planning. PADL 2004: 135-147 - 2003
- [j1]Marcello Balduccini, Michael Gelfond:
Diagnostic reasoning with A-Prolog. Theory Pract. Log. Program. 3(4-5): 425-461 (2003) - [c8]Marcello Balduccini, Veena S. Mellarkod:
CR-Prolog with Ordered Disjunction. Answer Set Programming 2003 - [c7]Enrico Pontelli, Marcello Balduccini, F. Bermudez:
Non-monotonic Reasoning on Beowulf Platforms. PADL 2003: 37-57 - [i1]Marcello Balduccini, Michael Gelfond:
Diagnostic reasoning with A-Prolog. CoRR cs.AI/0312040 (2003) - 2001
- [c6]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 - [c5]Michael Gelfond, Marcello Balduccini, Joel Galloway:
Diagnosing Physical Systems in A-Prolog. LPNMR 2001: 213-225 - [c4]Marcello Balduccini, Michael Gelfond, Richard Watson, Monica L. Nogueira:
The USA-Advisor: A Case Study in Answer Set Planning. LPNMR 2001: 439-442 - [c3]Monica L. Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry:
An A-Prolog Decision Support System for the Space Shuttle. PADL 2001: 169-183 - 2000
- [c2]Marcello Balduccini, Gianpaolo Brignoli, Gaetano Aurelio Lanzarone, F. Magni, Alessandro Provetti:
Experiments in Answer Sets Planning. MICAI 2000: 95-107 - [c1]Marcello Balduccini:
A Framework for Interleaving Planning-while-Learning and Execution. MICAI 2000: 247-259
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-04 21:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
