Marcello Balduccini

Marcello Balduccini, Michael Gelfond: Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules. CoRR abs/1301.1387 (2013)

Marcello Balduccini: A "Conservative" Approach to Extending Answer Set Programming with Non-Herbrand Functions. Correct Reasoning 2012: 24-39

Marcello Balduccini: An Answer Set Solver for non-Herbrand Programs: Progress Report. ICLP (Technical Communications) 2012: 49-60

Marcello Balduccini, Yulia Lierler: Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools. PADL 2012: 78-92

Marcello Balduccini, Stefan Woltran: Special issue on answer set programming. AI Commun. 24(2): 105-106 (2011)

Marcello Balduccini: Learning and using domain-specific heuristics in ASP solvers. AI Commun. 24(2): 147-164 (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: 377-397

Marcello Balduccini: Industrial-Size Scheduling with ASP+CP. LPNMR 2011: 284-296

Marcello Balduccini, Tran Cao Son (Eds.): 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

Marcello Balduccini: Improving DPLL Solver Performance with Domain-Specific Heuristics: the ASP Case. CoRR abs/1102.2125 (2011)

Marcello Balduccini, Sara Girotto: Formalization of psychological knowledge in answer set programming and its application. TPLP 10(4-6): 725-740 (2010)

Marcello Balduccini: Learning Domain-Specific Heuristics for Answer Set Solvers. ICLP (Technical Communications) 2010: 14-23

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. CoRR abs/1007.4767 (2010)

Marcello Balduccini: How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP. LPNMR 2009: 4-16

Marcello Balduccini: Splitting a CR-Prolog Program. LPNMR 2009: 17-29

Marcello Balduccini: CR-Prolog as a Specification Language for Constraint Satisfaction Problems. LPNMR 2009: 402-408

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 Magazine 29(3): 107-115 (2008)

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: 1-6

Marcello Balduccini: Learning Action Descriptions with A-Prolog: Action Language C. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2007: 13-18

Marcello Balduccini: cr-models: An Inference Engine for CR-Prolog. LPNMR 2007: 18-30

Marcello Balduccini, Michael Gelfond, Monica Nogueira: Answer set based design of knowledge systems. Ann. Math. Artif. Intell. 47(1-2): 183-219 (2006)

Marcello Balduccini, Enrico Pontelli, Omar El-Khatib, Hung Le: Issues in parallel execution of non-monotonic reasoning systems. Parallel Computing 31(6): 608-647 (2005)

Marcello Balduccini: USA-Smart: Improving the Quality of Plans in Answer Set Planning. PADL 2004: 135-147

Marcello Balduccini, Michael Gelfond: Diagnostic reasoning with A-Prolog. TPLP 3(4-5): 425-461 (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: 37-57

Marcello Balduccini, Michael Gelfond: Diagnostic reasoning with A-Prolog. CoRR cs.AI/0312040 (2003)

Monica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry: An A Prolog decision support system for the Space Shuttle. Answer Set Programming 2001

Michael Gelfond, Marcello Balduccini, Joel Galloway: Diagnosing Physical Systems in A-Prolog. LPNMR 2001: 213-225

Marcello Balduccini, Michael Gelfond, Richard Watson, Monica Nogueira: The USA-Advisor: A Case Study in Answer Set Planning. LPNMR 2001: 439-442

Monica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry: An A-Prolog Decision Support System for the Space Shuttle. PADL 2001: 169-183

Marcello Balduccini, G. Brignoli, Gaetano Aurelio Lanzarone, F. Magni, Alessandro Provetti: Experiments in Answer Sets Planning. MICAI 2000: 95-107

Marcello Balduccini: A Framework for Interleaving Planning-while-Learning and Execution. MICAI 2000: 247-259