Publications by Marcello Balduccini


1
Marcello Balduccini and Emily LeBlanc.
Information Retrieval with Actions and Change: an ASP-Based Solution.
In 1st International Workshop on Practical Aspects of Answer Set Programming (PAoASP 2017), 2017.
(PDF)

2
Marcello Balduccini and Yuliya Lierler.
Constraint Answer Set Solver EZCSP and Why Integration Schemas Matter.
Journal of Theory and Practice of Logic Programming (TPLP), 17(4):462-515, 2017.

3
Marcello Balduccini, Daniele Magazzeni, Marco Maratea, and Emily LeBlanc.
CASP Solutions for Planning in Hybrid Domains.
Journal of Theory and Practice of Logic Programming (TPLP), 17(4):591-633, 2017.

4
Emily LeBlanc and Marcello Balduccini.
Contextual Representations of Cause via Reasoning about Actions and Change.
In 1st International Workshop on Practical Aspects of Answer Set Programming (PAoASP 2017), 2017.
(PDF)

5
Asta Zelenkauskaite and Marcello Balduccini.
“Information Warfare” and Online News Commenting: Analyzing Forces of Social Influence Through Location-Based Commenting User Typology.
Social Media + Society, 3(3):1-13, 2017.
(PDF)

6
Marcello Balduccini, Daniele Magazzeni, and Marco Maratea.
A CASP-Based Approach to PDDL+ Planning.
In Constraint Satisfaction techniques for planning and Scheduling (COPLAS16), 2016.
(PDF)

7
Marcello Balduccini, Daniele Magazzeni, and Marco Maratea.
PDDL+ Planning via Constraint Answer Set Programming.
In Bart Bogaerts, editor, ICLP16 Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP16), 2016.
(PDF)

8
Emily LeBlanc and Marcello Balduccini.
Interpreting Natural Language Sources Using Transition Diagrams.
In Henning Christiansen and Veronica Dahl, editors, Logic Programming with Constraints for Language Processing (CSLP2016), 2016.
(PDF)

9
Tran Cao Son, Enrico Pontelli, Michael Gelfond, and Marcello Balduccini.
An Answer Set Programming Framework for Reasoning about Truthfulness of Statements by Agents.
In 32nd International Conference on Logic Programming (ICLP16), 2016.

10
Tran Cao Son, Enrico Pontelli, Michael Gelfond, and Marcello Balduccini.
Reasoning about Truthfulness of Agents Using Answer Set Programming.
In 15th International Conference on Principles of Knowledge Representation and Reasoning, 2016.
(PDF)

11
Asta Zelenkauskaite and Marcello Balduccini.
Commenting Economy on Online News Stories.
In NCA 102nd Annual Convention, 2016.

12
Marcello Balduccini and Spiros Mancoridis.
Action Languages and the Mitigation of Malware.
In The First Workshop on Action Languages, Process Modeling, and Policy Reasoning (ALPP 2015), 2015.
(PDF)

13
Marcello Balduccini, Alberto Uriarte, and Santiago Ontanon.
Planning in RTS Games with Incomplete Action Definitions via Answer Set Programming.
In The AIIDE 2015 Workshop on AI in Adversarial Real-Time Games (AI-RTG), 2015.
(PDF)

14
Justin Blount, Michael Gelfond, and Marcello Balduccini.
A Theory of Intentions for Intelligent Agents.
In 13th International Conference on Logic Programming and Nonmonotonic Reasoning, 2015.
(PDF)

15
Emily LeBlanc, Duc N. Nguyen, Marcello Balduccini, William C. Regli, Joseph B. Kopena, and Thomas Wambold.
Military Ontologies for Information Dissemination at the Tactical Edge.
In IJCAI15 Joint Ontology Workshops (JOWO), 2015.
(PDF)

16
Alexandru Nedelcu and Marcello Balduccini.
An Approach and Tool for Reasoning about Situated Cyber-Physical Systems.
In The First Workshop on Action Languages, Process Modeling, and Policy Reasoning (ALPP 2015), 2015.
(PDF)

17
Tran Cao Son, Enrico Pontelli, and Marcello Balduccini.
Reasoning about Truthfulness of Agents Using Answer Set Programming.
In AAAI 2015 Symposium on Deceptive and Counter-Deceptive Machines (AAAI-DCDM-15), 2015.
(PDF)

18
Claire Vishik and Marcello Balduccini.
Making Sense of Future Cybersecurity Technologies: Using Ontologies for Multidisciplinary Domain Analysis.
In Information Security Solutions Europe 2015 (ISSE 2015), 2015.
(PDF)

19
Marcello Balduccini, Sarah Kushner, and Jacquelin Speck.
Ontology-Driven Data Semantics Discovery for Cyber-Security.
In Enrico Pontelli and Tran Cao Son, editors, PADL'15: Practical Aspects of Declarative Languages, Jun 2015.
(PDF)

20
Marcello Balduccini, Emily LeBlanc, and William C. Regli.
Towards a Content-Based Material Science Discovery Network.
In 2014 AAAI Workshop for Discovery Informatics, 2014.
(PDF)

21
Marcello Balduccini, William C. Regli, and Duc N. Nguyen.
An ASP-Based Architecture for Autonomous UAVs in Dynamic Environments: Progress Report.
In Sebastien Konieczny and Hans Tompits, editors, Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014), 2014.
(PDF)

22
Marcello Balduccini, William C. Regli, and Duc N. Nguyen.
Towards an ASP-Based Architecture for Autonomous UAVs in Dynamic Environments (Extended Abstract).
In 30th International Conference on Logic Programming (ICLP14), 2014.
(PDF)

23
Justin Blount, Michael Gelfond, and Marcello Balduccini.
Towards a Theory of Intentional Agents.
In AAAI14 Spring Symposium on Knowledge Representation and Reasoning in Robotics, AAAI 2014 Spring Symposium Series, 2014.
(PDF)

24
William C. Regli, Marcello Balduccini, and Emily LeBlanc.
Ontologies and Rich Metadata for Materials Scientific Data Analysis.
In Big Data and Analytics EdCon (BDA EdCon 2014), 2014.

25
Marcello Balduccini, Duc N. Nguyen, and William C. Regli.
Coordinating UAVs in Dynamic Environments by Network-Aware Mission Planning.
In IEEE Military Communications Conference (MILCOM) 2014 Proceedings, Oct 2014.
(PDF)

26
Marcello Balduccini.
ASP with non-Herbrand Partial Functions: a Language and System for Practical Use.
Journal of Theory and Practice of Logic Programming (TPLP), 2013.
(PDF)

27
Marcello Balduccini.
Some Recent Advances in Answer Set Programming (from the Perspective of NLP).
In Chitta Baral and Peter Schuller, editors, Natural Language Processing and Automated Reasoning 2013. Proceedings of the 1st Workshop on Natural Language Processing and Automated Reasoning (NLPAR 2013), volume CEUR-WS.org/Vol-1044, urn:nbn:de:0074-1044-7, pages 1-6, Sep 2013.
(PDF)

28
Marcello Balduccini, Yuliya Lierler, and Peter Schuller.
Prolog and ASP Inference Under One Roof.
In Pedro Cabalar and Tran Cao Son, editors, 12th International Conference on Logic Programming and Nonmonotonic Reasoning, Sep 2013.
(PDF)

29
Marcello Balduccini and Yuliya Lierler.
Hybrid Automated Reasoning Tools: from Black-box to Clear-box Integration.
In Michael Fink and Yuliya Lierler, editors, ICLP13 Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP13), Aug 2013.
(PDF)

30
Marcello Balduccini and Yuliya Lierler.
Integration Schemas for Constraint Answer Set Programming: a Case Study.
Theory and Practice of Logic Programming (TPLP), On-line Supplement, Aug 2013.
(PDF)

31
Marcello Balduccini.
An Answer Set Solver for non-Herbrand Programs: Progress Report.
In Vitor Santos Costa and Agostino Dovier, editors, Technical Communications of the 28th Int'l. Conference on Logic Programming (ICLP'12). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Sep 2012.
(PDF)

32
Marcello Balduccini and Michael Gelfond.
Language ASPf with Arithmetic Expressions and Consistency-Restoring Rules.
In ICLP12 Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP12), Sep 2012.
(PDF)

33
Marcello Balduccini.
Answer Set Solving and Non-Herbrand Functions.
In Riccardo Rosati and Stefan Woltran, editors, Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR'2012), Jun 2012.
(PDF)

34
Marcello Balduccini.
Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz, chapter 3. A ``Conservative'' Approach to Extending Answer Set Programming with Non-Herbrand Functions, pages 23-39.
Lecture Notes in Artificial Intelligence (LNCS). Springer Verlag, Berlin, Jun 2012.
(PDF)

35
Marcello Balduccini and Yuliya Lierler.
Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools.
In Claudio Russo and Neng-Fa Zhou, editors, Fourteenth International Symposium on Practical Aspects of Declarative Languages (PADL 2012), number 7149 in Lecture Notes in Artificial Intelligence (LNCS), pages 78-92. Springer Verlag, Berlin, Jan 2012.
(PDF)

36
Marcello Balduccini.
Industrial-Size Scheduling with ASP+CP.
In James P. Delgrande and Wolfgang Faber, editors, 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR11), volume 6645 of Lecture Notes in Artificial Intelligence (LNCS), pages 284-296. Springer Verlag, Berlin, 2011.
(PDF)

37
Marcello Balduccini.
Learning and using domain-specific heuristics in ASP solvers.
AI Communications, 24(2):147-164, 2011.
(PDF)

38
Marcello Balduccini and Sara Girotto.
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday, chapter ASP as a Cognitive Modeling Tool: Short-Term Memory and Long-Term Memory, pages 377-397.
Number 6565 in Lecture Notes in Artificial Intelligence (LNCS). Springer Verlag, Berlin, 2011.
(PDF)

39
Marcello Balduccini and Yuliya Lierler.
ASP-Based Problem Solving with Cutting-Edge Tools.
In ICLP11 Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP11), pages 14-28, Jul 2011.
(PDF)

40
Marcello Balduccini and Sara Girotto.
ASP as a Cognitive Modeling Tool: Short-Term Memory and Long-Term Memory.
In Marcello Balduccini and Tran Cao Son, editors, Symposium on Constructive Mathematics in Computer Science, pages 360-381, Oct 2010.
(PDF)

41
Sara Girotto and Marcello Balduccini.
Answer Set Programming for Computational Psychological Models.
In 10th International Conference on Cognitive Modeling (ICCM 2010), Aug 2010.
(PDF)

42
Marcello Balduccini.
Improving DPLL Solver Performance with Domain-Specific Heuristics: the ASP Case.
In ICLP10 Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP10), Jul 2010.
(PDF)

43
Marcello Balduccini.
Learning Domain-Specific Heuristics for Answer Set Solvers.
In Technical Communications of the 26th Int'l. Conference on Logic Programming (ICLP'10), volume 7, pages 14-23. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Jul 2010.
(PDF)

44
Marcello Balduccini and Sara Girotto.
Formalization of Psychological Knowledge in Answer Set Programming and its Application.
Journal of Theory and Practice of Logic Programming (TPLP), 10(4-6):725-740, Jul 2010.
(PDF)

45
Marcello Balduccini and Sara Girotto.
Formalizing Psychological Knowledge in Answer Set Programming.
In Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR2010), May 2010.
(PDF)

46
Marcello Balduccini and Michael Gelfond.
The Autonomous Agent Architecture.
In Newsletter of the Association of Logic Programming, volume 23. Mar 2010.
(PDF)

47
Marcello Balduccini.
Solving the Wise Mountain Man Riddle with Answer Set Programming.
In Ninth International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense09), 2009.
(PDF)

48
Marcello Balduccini.
CR-Prolog as a Specification Language for Constraint Satisfaction Problems.
In Esra Erdem, Fangzhen Lin, and Torsten Schaub, editors, 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR09), volume 5753 of Lecture Notes in Artificial Intelligence (LNCS). Springer Verlag, Berlin, Sep 2009.
(PDF)

49
Marcello Balduccini.
How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP.
In Esra Erdem, Fangzhen Lin, and Torsten Schaub, editors, 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR09), volume 5753 of Lecture Notes in Artificial Intelligence (LNCS). Springer Verlag, Berlin, Sep 2009.
(PDF)

50
Marcello Balduccini.
Splitting a CR-Prolog Program.
In Esra Erdem, Fangzhen Lin, and Torsten Schaub, editors, 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR09), volume 5753 of Lecture Notes in Artificial Intelligence (LNCS). Springer Verlag, Berlin, Sep 2009.
(PDF)

51
Marcello Balduccini.
A General Method To Solve Complex Problems By Combining Multiple Answer Set Programs.
In ICLP09 Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP09), Jul 2009.
(PDF)

52
Marcello Balduccini.
Representing Constraint Satisfaction Problems in Answer Set Programming.
In ICLP09 Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP09), Jul 2009.
(PDF)

53
Marcello Balduccini and Michael Gelfond.
The AAA Architecture: An Overview.
In AAAI Spring Symposium 2008 on Architectures for Intelligent Theory-Based Agents (AITA08), Mar 2008.
(PDF)

54
Marcello Balduccini, Chitta Baral, and Yuliya Lierler.
Handbook of Knowledge Representation, chapter 20. Knowledge Representation and Question Answering.
Foundations of Artificial Intelligence. Elsevier, Dec 2007.
(PDF)

55
Marcello Balduccini.
CR-MODELS: An Inference Engine for CR-Prolog.
In Chitta Baral, Gerhard Brewka, and John Schlipf, editors, 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR07), volume 4483 of Lecture Notes in Artificial Intelligence (LNCS), pages 18-30. Springer Verlag, Berlin, May 2007.
(PDF)

56
Marcello Balduccini.
Modules and Signature Declarations for A-Prolog: Progress Report.
In Software Engineering for Answer Set Programming Workshop (SEA07), May 2007.
(PDF)

57
Marcello Balduccini.
Learning Action Descriptions with A-Prolog: Action Language C.
In Eyal Amir, Vladimir Lifschitz, and Rob Miller, editors, Procs of Logical Formalizations of Commonsense Reasoning, 2007 AAAI Spring Symposium, Mar 2007.
(PDF)

58
Marcello Balduccini.
Computing Answer Sets of CR-Prolog Programs.
Technical report, Texas Tech University, 2006.
(PDF)

59
Marcello Balduccini.
Inductive Corrections of Action Descriptions (Extended Abstract).
In Proceedings of the 16th International Conference on Inductive Logic Programming, ILP 06, 2006.
(PDF)

60
Marcello Balduccini, Michael Gelfond, and Monica Nogueira.
Answer Set Based Design of Knowledge Systems.
Annals of Mathematics and Artificial Intelligence, 47(1-2):183-219, 2006.
(PDF)

61
Marcello Balduccini, Gregory Gelfond, and Michael Gelfond.
Deep Reasoning for Question Answering: the DD System.
Technical report, Texas Tech University, 2005.

62
Marcello Balduccini.
Answer Set Based Design of Highly Autonomous, Rational Agents.
PhD thesis, Texas Tech University, Dec 2005.
(PDF)

63
Marcello Balduccini and Michael Gelfond.
Model-Based Reasoning for Complex Flight Systems.
In Infotech@Aerospace (American Institute of Aeronautics and Astronautics), Sep 2005.
(Postscript, gzipped Postscript,PDF)

64
Marcello Balduccini, Enrico Pontelli, Omar El-Khatib, and Hung Le.
Issues in Parallel Execution of Non-monotonic Reasoning Systems.
Parallel Computing, 31(6):608 - 647, Jun 2005.
(PDF)

65
Marcello Balduccini.
USA-Smart: Improving the Quality of Plans in Answer Set Planning.
In Bharat Jayaraman, editor, 6th International Symposium on the Practical Aspects of Declarative Languages (PADL'04), volume 3057 of Lecture Notes in Artificial Intelligence (LNCS), pages 135-147. Springer Verlag, Berlin, Jun 2004.
(Postscript, gzipped Postscript,PDF)

66
Marcello Balduccini and Veena S. Mellarkod.
CR-Prolog with Ordered Disjunction.
In International Workshop on Non-Monotonic Reasoning, NMR2004, Jun 2004.
(Postscript, gzipped Postscript,PDF)

67
Marcello Balduccini and Veena S. Mellarkod.
A-Prolog with CR-Rules and Ordered Disjunction.
In ICISIP'04, pages 1-6, Jan 2004.
(Postscript, gzipped Postscript,PDF)

68
Marcello Balduccini and Veena S. Mellarkod.
CR-Prolog2: CR-Prolog with Ordered Disjunction.
In ASP03 Answer Set Programming: Advances in Theory and Implementation, volume 78 of CEUR Workshop proceedings, Sep 2003.
(Postscript, gzipped Postscript,PDF)

69
Marcello Balduccini and Michael Gelfond.
Diagnostic reasoning with A-Prolog.
Journal of Theory and Practice of Logic Programming (TPLP), 3(4-5):425-461, Jul 2003.
(Postscript, gzipped Postscript,PDF)

70
Marcello Balduccini and Michael Gelfond.
Logic Programs with Consistency-Restoring Rules.
In Patrick Doherty, John McCarthy, and Mary-Anne Williams, editors, International Symposium on Logical Formalization of Commonsense Reasoning, AAAI 2003 Spring Symposium Series, pages 9-18, Mar 2003.
(Postscript, gzipped Postscript,PDF)

71
Enrico Pontelli, Marcello Balduccini, and F. Bermudez.
Non-monotonic Reasoning on Beowulf Platforms.
In Veronica Dahl and Philip Wadler, editors, 5th International Symposium on the Practical Aspects of Declarative Languages (PADL'03), volume 2562 of Lecture Notes in Artificial Intelligence (LNCS), pages 37-57, Jan 2003.
(Postscript, gzipped Postscript,PDF)

72
Marcello Balduccini, Michael Gelfond, Monica Nogueira, and Richard Watson.
Planning with the USA-Advisor.
In David Kortenkamp, editor, 3rd NASA International workshop on Planning and Scheduling for Space, Oct 2002.
(Postscript, gzipped Postscript,PDF)

73
Monica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, and Matthew Barry.
An A-Prolog decision support system for the Space Shuttle.
In I. V. Ramakrishnan, editor, 3rd International Symposium on the Practical Aspects of Declarative Languages (PADL'01), volume 1990, pages 169-183, 2001.
(Postscript, gzipped Postscript,PDF)

74
Marcello Balduccini, Joel Galloway, and Michael Gelfond.
Diagnosing physical systems in A-Prolog.
In Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 213-225, Sep 2001.
(Postscript, gzipped Postscript,PDF)

75
Marcello Balduccini, Michael Gelfond, Monica Nogueira, and Richard Watson.
The USA-Advisor: A Case Study in Answer Set Planning.
In Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 439-442, Sep 2001.
(Postscript, gzipped Postscript,PDF)

76
Monica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, and Matthew Barry.
An A-Prolog decision support system for the Space Shuttle.
In Alessandro Provetti and Tran Cao Son, editors, Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning, AAAI 2001 Spring Symposium Series, Mar 2001.
(Postscript, gzipped Postscript,PDF)

77
Marcello Balduccini, Gianpaolo Brignoli, Gaetano A. Lanzarone, Fabrizio Magni, and Alessandro Provetti.
Experiments in Answer Sets Planning.
Communication to AI*IA Notizie (Quarterly Bullettin of the Italian Artificial Intelligence Association), 2000.
(Postscript, gzipped Postscript,PDF)

78
Marcello Balduccini, Michael Gelfond, and Monica Nogueira.
A-Prolog as a tool for declarative programming.
In Proceedings of the 12th International Conference on Software Engineering and Knowledge Engineering (SEKE'2000), pages 63-72, 2000.
(Postscript, gzipped Postscript,PDF)

79
Marcello Balduccini.
A Framework for Interleaving Planning-while-Learning and Execution.
In Proceedings of MICAI-2000, volume 1793 of Lecture Notes in Artificial Intelligence (LNCS). Springer Verlag, Berlin, Apr 2000.
(Postscript, gzipped Postscript,PDF)

80
Marcello Balduccini, Gianpaolo Brignoli, Gaetano A. Lanzarone, Fabrizio Magni, and Alessandro Provetti.
Experiments in Answer Sets Planning (extended abstract).
In Proceedings of MICAI-2000, volume 1793 of Lecture Notes in Artificial Intelligence (LNCS). Springer Verlag, Berlin, Apr 2000.
(Postscript, gzipped Postscript,PDF)

81
Marcello Balduccini.
Studio di un agente autonomo che interagisce con un ambiente sconosciuto costruendone un modello induttivo e incrementale.
Master's thesis, Department of Computer Science, University of Milan, Mar 1998.

82
Marcello Balduccini and Gaetano A. Lanzarone.
Autonomous semi-reactive agent design based on incremental inductive learning in logic programming.
In Yves Lesperance, Richard Scherl, and Wiebe Van der Hoek, editors, Logical Approaches to Agent Modeling and Design, Proceedings of the ESSLLI'97 Symposium, pages 1-12, 1997.
(Postscript, gzipped Postscript,PDF)