Marcello Balduccini - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Marcello Balduccini' as author, editor, or advisor:

cr-models: An Inference Engine for CR-PrologMarcello Balduccini. lpnmr 2007: 18-30 [doi]
Understanding Restaurant Stories Using an ASP Theory of IntentionsDaniela Inclezan, Qinglin Zhang, Marcello Balduccini, Ankush Israney. ICLP 2018: [doi]
Reasoning about Truthfulness of Agents Using Answer Set ProgrammingTran Cao Son, Enrico Pontelli, Marcello Balduccini. aaaifs 2015: 47-50 [doi]
Specifying and Reasoning about CPS through the Lens of the NIST CPS FrameworkThanh Hai Nguyen 0002, Matthew Bundas, Tran Cao Son, Marcello Balduccini, Kathleen Campbell Garwood, Edward R. Griffor. tplp, 23(5):1029-1069, September 2023. [doi]
Formalization of psychological knowledge in answer set programming and its applicationMarcello Balduccini, Sara Girotto. tplp, 10(4-6):725-740, 2010. [doi]
A "Conservative" Approach to Extending Answer Set Programming with Non-Herbrand FunctionsMarcello Balduccini. BIRTHDAY 2012: 24-39 [doi]
Prolog and ASP Inference under One RoofMarcello Balduccini, Yuliya Lierler, Peter Schüller. lpnmr 2013: 148-160 [doi]
Diagnostic reasoning with A-PrologMarcello Balduccini, Michael Gelfond. tplp, 3(4-5):425-461, 2003.
An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by AgentsTran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini. ICLP 2016: [doi]
Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, ProceedingsMarcello Balduccini, Yuliya Lierler, Stefan Woltran, editors, Volume 11481 of Lecture Notes in Computer Science, Springer, 2019. [doi]
Learning Domain-Specific Heuristics for Answer Set SolversMarcello Balduccini. ICLP 2010: 14-23 [doi]
Special issue on answer set programmingMarcello Balduccini, Stefan Woltran. aicom, 24(2):105-106, 2011. [doi]
Coordinating UAVs in Dynamic Environments by Network-Aware Mission PlanningMarcello Balduccini, Duc N. Nguyen, William C. Regli. milcom 2014: 983-988 [doi]
Experiments in Answer Sets PlanningMarcello Balduccini, G. Brignoli, Gaetano Aurelio Lanzarone, F. Magni, Alessandro Provetti. micai 2000: 95-107
Industrial-Size Scheduling with ASP+CPMarcello Balduccini. lpnmr 2011: 284-296 [doi]
A Theory of Intentions for Intelligent Agents - (Extended Abstract)Justin Blount, Michael Gelfond, Marcello Balduccini. lpnmr 2015: 134-142 [doi]
Reasoning About Trustworthiness in Cyber-Physical Systems Using Ontology-Based Representation and ASPThanh Hai Nguyen, Tran Cao Son, Matthew Bundas, Marcello Balduccini, Kathleen Campbell Garwood, Edward Griffor. prima 2021: 51-67 [doi]
Applying AI for social good: Aligning academic journal ratings with the United Nations Sustainable Development Goals (SDGs)David Steingard, Marcello Balduccini, Akanksha Sinha. ais, 38(2):613-629, April 2023. [doi]
Integration Schemas for Constraint Answer Set Programming: a Case StudyMarcello Balduccini, Yuliya Lierler. tplp, 13(4-5-Online-Supplement), 2013. [doi]
Towards a Framework for Characterizing the Behavior of AI-Enabled Cyber-Physical and IoT SystemsMatthew Bundas, Chasity Nadeau, Thanh Hai Nguyen 0002, Jeannine Shantz, Marcello Balduccini, Tran Cao Son. wf-iot 2021: 551-556 [doi]
PrefaceMarcello Balduccini, Yuliya Lierler, Stefan Woltran. tplp, 21(3):293-295, 2021. [doi]
Issues in parallel execution of non-monotonic reasoning systemsMarcello Balduccini, Enrico Pontelli, Omar El-Khatib, Hung Le. pc, 31(6):608-647, 2005. [doi]
Reasoning about Smart CityMartin Burns, Edward Griffor, Marcello Balduccini, Claire Vishik, Michael Huth, David A. Wollman. smartcomp 2018: 381-386 [doi]
Ontology-Driven Data Semantics Discovery for Cyber-SecurityMarcello Balduccini, Sarah Kushner, Jacquelin Speck. PADL 2015: 1-16 [doi]
The AAA Architecture: An OverviewMarcello Balduccini, Michael Gelfond. aaaiss 2008: 1-6 [doi]
CASP for Robot Control in Hybrid DomainsRyan Young, Marcello Balduccini, Ankush Israney. lpnmr 2017: [doi]
How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASPMarcello Balduccini. lpnmr 2009: 4-16 [doi]
Action Languages and COVID-19: Lessons LearnedMarcello Balduccini, Michael Barborak, David A. Ferrucci. ICLP 2020: [doi]
Diagnosing Physical Systems in A-PrologMichael Gelfond, Marcello Balduccini, Joel Galloway. lpnmr 2001: 213-225 [doi]
Explaining Actual Causation via Reasoning About Actions and ChangeEmily C. LeBlanc, Marcello Balduccini, Joost Vennekens. jelia 2019: 231-246 [doi]
USA-Smart: Improving the Quality of Plans in Answer Set PlanningMarcello Balduccini. PADL 2004: 135-147 [doi]
Formalizing Psychological Knowledge in Answer Set ProgrammingMarcello Balduccini, Sara Girotto. kr 2010: [doi]
Answer Set Planning: A SurveyTran Cao Son, Enrico Pontelli, Marcello Balduccini, Torsten Schaub. tplp, 23(1):226-298, 2023. [doi]
An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of StatementsMarcello Balduccini, Michael Gelfond, Enrico Pontelli, Tran Cao Son. kr 2020: 69-78 [doi]
An A Prolog decision support system for the Space ShuttleMonica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry. asp 2001: [doi]
An A-Prolog Decision Support System for the Space ShuttleMonica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry. PADL 2001: 169-183 [doi]
AAAI 2008 Spring Symposia ReportsMarcello 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. aim, 29(3):107-115, 2008. [doi]
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th BirthdayMarcello Balduccini, Tran Cao Son, editors, Volume 6565 of Lecture Notes in Computer Science, Springer, 2011. [doi]
An ASP Methodology for Understanding Narratives about Stereotypical ActivitiesDaniela Inclezan, Qinglin Zhang, Marcello Balduccini, Ankush Israney. tplp, 18(3-4):535-552, 2018. [doi]
ASP with non-herbrand partial functions: a language and system for practical useMarcello Balduccini. tplp, 13(4-5):547-561, 2013. [doi]
Dynamic Collaborative Visualization of the United Nations Sustainable Development Goals (SDGs): Creating an SDG Dashboard for Reporting and Best Practice SharingKathleen Campbell Garwood, David Steingard, Marcello Balduccini. grapp 2020: 294-300 [doi]
Action-Centered Information RetrievalMarcello Balduccini, Emily C. LeBlanc. tplp, 20(2):249-272, 2020. [doi]
ASP as a Cognitive Modeling Tool: Short-Term Memory and Long-Term MemoryMarcello Balduccini, Sara Girotto. BIRTHDAY 2011: 377-397 [doi]
CASP solutions for planning in hybrid domainsMarcello Balduccini, Daniele Magazzeni, Marco Maratea, Emily Leblanc. tplp, 17(4):591-633, 2017. [doi]
Constraint answer set solver EZCSP and why integration schemas matterMarcello Balduccini, Yuliya Lierler. tplp, 17(4):462-515, 2017. [doi]
An Answer Set Solver for non-Herbrand Programs: Progress ReportMarcello Balduccini. ICLP 2012: 49-60 [doi]
xASP: An Explanation Generation System for Answer Set ProgrammingLy Ly T. Trieu, Tran Cao Son, Marcello Balduccini. lpnmr 2022: 363-369 [doi]
Building Blocks in Standards: Improving Consistency in Standardization with Ontology and ReasoningMarcello Balduccini, Claire Vishik. secsr 2018: 76-94 [doi]
Learning and using domain-specific heuristics in ASP solversMarcello Balduccini. aicom, 24(2):147-164, 2011. [doi]
Learning Action Descriptions with A-Prolog: Action Language CMarcello Balduccini. aaaiss 2007: 13-18 [doi]
The USA-Advisor: A Case Study in Answer Set PlanningMarcello Balduccini, Michael Gelfond, Richard Watson, Monica Nogueira. lpnmr 2001: 439-442 [doi]
exp(ASPc): Explaining ASP Programs with Choice Atoms and Constraint RulesLy Ly T. Trieu, Tran Cao Son, Marcello Balduccini. ICLP 2021: [doi]
Splitting a CR-Prolog ProgramMarcello Balduccini. lpnmr 2009: 17-29 [doi]
Reasoning about Truthfulness of Agents Using Answer Set ProgrammingTran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini. kr 2016: 605-608 [doi]
Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, ProceedingsMarcello Balduccini, Tomi Janhunen, editors, Volume 10377 of Lecture Notes in Computer Science, Springer, 2017. [doi]
Towards a Theory of Intentional AgentsJustin Lane Blount, Michael Gelfond, Marcello Balduccini. aaaiss 2014: [doi]
Military Ontologies for Information Dissemination at the Tactical EdgeEmily Leblanc, Duc N. Nguyen, Marcello Balduccini, William C. Regli, Joseph B. Kopena, Thomas Wambold. IJCAI 2015: [doi]
Organizing CommitteeMarcello Balduccini, Chitta Baral. aaaiss 2008: [doi]
Formalizing and Reasoning About Supply Chain Contracts Between AgentsDylan Flynn, Chasity Nadeau, Jeannine Shantz, Marcello Balduccini, Tran Cao Son, Edward R. Griffor. PADL 2023: 144-160 [doi]
Pushing the Limits of Clingo's Incremental Grounding and Solving Capabilities in Practical ApplicationsMarcello Balduccini, Michael Barborak, David A. Ferrucci. algorithms, 16(3):169, March 2023. [doi]
Advancements in xASP, an XAI System for Answer Set ProgrammingMario Alviano, Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini. cilc 2023: [doi]
Making Sense of Future Cybersecurity Technologies: Using Ontologies for Multidisciplinary Domain AnalysisClaire Vishik, Marcello Balduccini. isse 2015: 135-145 [doi]
Machines as Thought Partners: Reflections on 50 Years of PrologGregory Gelfond, Marcello Balduccini, David A. Ferrucci, Aditya Kalyanpur, Adam Lally. In David S. Warren, Verónica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi, editors, Prolog: The Next 50 Years. Volume 13900 of Lecture Notes in Computer Science, pages 386-392, Springer, 2023. [doi]
Non-monotonic Reasoning on Beowulf PlatformsEnrico Pontelli, Marcello Balduccini, F. Bermudez. PADL 2003: 37-57 [doi]
Some Recent Advances in Answer Set Programming (from the Perspective of NLP)Marcello Balduccini. lpnmr 2013: 1-6 [doi]
A Framework for Interleaving Planning-while-Learning and ExecutionMarcello Balduccini. micai 2000: 247-259
Answer set based design of knowledge systemsMarcello Balduccini, Michael Gelfond, Monica Nogueira. AMAI, 47(1-2):183-219, 2006. [doi]
Answer set based design of highly autonomous, rational agentsMarcello Balduccini. PhD thesis, Texas Tech University, Lubbock, USA, 2005. [doi]
Answer Set Planning in Single- and Multi-agent EnvironmentsTran Cao Son, Marcello Balduccini. ki, 32(2-3):133-141, 2018. [doi]
CR-Prolog as a Specification Language for Constraint Satisfaction ProblemsMarcello Balduccini. lpnmr 2009: 402-408 [doi]
People, Ideas, and the Path AheadMarcello Balduccini. PADL 2022: 3-12 [doi]
Decision Support for Smart Grid: Using Reasoning to Contextualize Complex Decision MakingMarcello Balduccini, Edward Griffor, Michael Huth, Claire Vishik, David A. Wollman, Patrick Kamongi. cpsweek 2019: 1-6 [doi]
Practical and Methodological Aspects of the Use of Cutting-Edge ASP ToolsMarcello Balduccini, Yulia Lierler. PADL 2012: 78-92 [doi]
CR-Prolog with Ordered DisjunctionMarcello Balduccini, Veena S. Mellarkod. asp 2003: [doi]

runs on WebDSL