Publications by Marcello Balduccini

1

Marcello Balduccini, Dylan Flynn, Tran Cao Son, and Long Tran.
Simulating Supply-Chain Contract Execution: A Multi-Agent Approach (Extended Abstract).
In Procs of the 40th International Conference on Logic Programming (ICLP24), 2024.
(PDF)

2

Marcello Balduccini, Tran Cao Son, Ly Ly Trieu, and Mario Alviano.
The XAI System for Answer Set Programming xASP2.
Journal of Logic and Computation, 2024.
(to appear).
(PDF)

3

Long Tran, Tran Cao Son, Dylan Flynn, and Marcello Balduccini.
A Simulation for Supply Chains Contract Execution.
In Procs of the 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024), 2024.
(PDF)

4

Mario Alviano, Ly Ly Trieu, Tran Cao Son, and Marcello Balduccini.
Advancements in xASP.
In 2nd Workshop on Challenges and Adequacy Conditions for Logics in the New Age of AI (ACLAI23), 2023.
(PDF)

5

Mario Alviano, Ly Ly Trieu, Tran Cao Son, and Marcello Balduccini.
Advancements in xASP, an XAI System for Answer Set Programming.
In Proceedings of the 38th Italian Conference on Computational Logic (CILC2023), 2023.
(PDF)

6

Mario Alviano, Ly Ly Trieu, Tran Cao Son, and Marcello Balduccini.
Explanations for Answer Set Programming.
In Technical Communications of the 39th International Conference on Logic Programming (ICLP 2023), 2023.
(PDF)

7

Marcello Balduccini, Michael Barborak, and David Ferrucci.
Pushing the Limits of Clingo’s Incremental Grounding and Solving Capabilities in Practical Applications.
Algorithms, 16(3):169, 2023.
(PDF)

8

Matthew Bundas, Chasity Nadeau, Jeannine Shantz, Thanh Hai Nguyen, Marcello Balduccini, Edward Griffor, and Tran Cao Son.
16. Facilitating stakeholder communication around AI-enabled systems and business processes.
2023.
(PDF)

9

Dylan Flynn, Chasity Nadeau, Jeannine Shantz, Marcello Balduccini, Tran Cao Son, and Edward Griffor.
Formalizing and Reasoning about Supply Chain Contracts between Agents.
In 25th International Symposium on Practical Aspects of Declarative Languages (PADL 2023), volume 13880, 2023.
(PDF)

10

Gregory Gelfond, Marcello Balduccini, David Ferrucci, Adi Kalyanpur, and Adam Lally.
Machines as Thought Partners: Reflections on 50 Years of Prolog.
2023.
(PDF)

11

Andrew Holmberg and Marcello Balduccini.
Efficient data structures for high-volume time-series bridge sensor data.
In XII International Conference on Structural Dynamics (EuroDyn 2023), 2023.
(PDF)

12

Marcello Balduccini.
People, Ideas, and the Path Ahead.
In The 24th International Symposium on Practical Aspects of Declarative Languages (PADL 2022), volume 13165 of Lecture Notes in Artificial Intelligence (LNCS), 2022.
(PDF)

13

Thanh Hai Nguyen, Matthew Bundas, Tran Cao Son, Marcello Balduccini, Kathleen Campbell Garwood, and Edward Griffor.
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework.
Journal of Theory and Practice of Logic Programming (TPLP), 2022.
(PDF)

14

Tran Cao Son, Enrico Pontelli, Marcello Balduccini, and Torsten Schaub.
Answer Set Planning: A Survey.
Journal of Theory and Practice of Logic Programming (TPLP), 2022.
(PDF)

15

David Steingard, Marcello Balduccini, and Akanksha Sinha.
Applying AI for social good: Aligning academic journal ratings with the United Nations Sustainable Development Goals (SDGs).
AI and Society, 2022.
(PDF)

16

Ly Ly Trieu, Tran Cao Son, and Marcello Balduccini.
xASP: an Explanation Generation System for Answer Set Programming.
In 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR2022), 2022.
(PDF)

17

Claire Vishik, Marcello Balduccini, Michael Huth, and Lawrence John.
Making Sense of Cybersecurity in Emerging Technology Areas.
Oxford University Press, 2022.
(PDF)

18

Matthew Bundas, Chasity Nadeau, Thanh Hai Nguyen, Jeannine Shantz, Marcello Balduccini, and Tran Cao Son.
Towards a Framework for Characterizing the Behavior of AI-Enabled Cyber-Physical and IoT Systems.
In 2021 IEEE World Forum on Internet of Things (WF-IOT 2021), 2021.
(PDF)

19

Ly Ly Trieu, Tran Cao Son, and Marcello Balduccini.
exp(ASPc): Explaining ASP Programs with Choice Atoms and Constraint Rules.
In Third Workshop on Causal Reasoning and Explanation in Logic Programming (CAUSAL2021), 2021.
(PDF)

20

Ly Ly Trieu, Tran Cao Son, and Marcello Balduccini.
exp(ASPc): Explaining ASP Programs with Choice Atoms and Constraint Rules (Extended Abstract).
In 37th International Conference on Logic Programming (ICLP2021), 2021.
(PDF)

21

Ly Ly Trieu, Tran Cao Son, Enrico Pontelli, and Marcello Balduccini.
Generating Explanations for Answer Set Programming Applications.
In Proceedings of SPIE, Artificial Intelligence and Machine Learning for Multi-Domain Operations Applications III, volume 11746, 2021.
(PDF)

22

Marcello Balduccini, Michael Barborak, and David Ferrucci.
Action Languages and COVID-19: Lessons Learned.
In 2nd Workshop on Causal Reasoning and Explanation in Logic Programming (CAUSAL2020), 2020.
(PDF)

23

Marcello Balduccini, Michael Gelfond, Enrico Pontelli, and Tran Cao Son.
An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of Statements.
In 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020.
(PDF)

24

Kathleen Campbell Garwood, David Steingard, and Marcello Balduccini.
Dynamic Collaborative Visualization of the United Nations Sustainable Development Goals (SDGs): Creating an SDG Dashboard for Reporting and Best Practice Sharing.
In 11th International Conference on Information Visualization Theory and Applications (IVAPP 2020), 2020.
(PDF)

25

Thanh Hai Nguyen, Matthew Bundas, Tran Cao Son, Marcello Balduccini, and Kathleen Campbell Garwood.
Reasoning about Trustworthiness in Cyber-Physical Systems Using Ontology-Based Representation and ASP.
In The 23rd International Conference on Principles and Practice of Multi-Agent Systems (PRIMA2020), 2020.
(PDF)

26

Marcello Balduccini and Emily LeBlanc.
Action-Centered Information Retrieval.
Journal of Theory and Practice of Logic Programming (TPLP), 20(2):249–272, Mar 2020.
(PDF)

27

Marcello Balduccini, Edward Griffor, Michael Huth, Claire Vishik, David Wollman, and Patrick Kamongi.
Decision Support for Smart Grid: Using Reasoning to Contextualize Complex Decision Making.
In 7th IEEE Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES19), 2019.
(PDF)

28

Emily LeBlanc, Marcello Balduccini, and Joost Vennekens.
Explaining Actual Causation via Reasoning about Actions and Change.
In 16th European Conference on Logics in Artificial Intelligence (JELIA2019), 2019.
(PDF)

29

Marcello Balduccini, Edward Griffor, Michael Huth, Claire Vishik, Martin Burns, and David Wollman.
Ontology-Based Reasoning about the Trustworthiness of Cyber-Physical Systems.
In Living in the Internet of Things: Cybersecurity of the IoT, 2018.
(PDF)

30

Marcello Balduccini, Edward Griffor, Michael Huth, Claire Vishik, Martin Burns, and David Wollman.
Reasoning about Smart City.
In 4th IEEE International Workshop on Sensors and Smart Cities, 2018.
(PDF)

31

Marcello Balduccini and Claire Vishik.
Building Blocks in Standards: Improving Consistency in Standardization with Ontology and Reasoning.
In SSR 2018: Security Standardisation Research, 2018.
(PDF)

32

Daniela Inclezan, Qinglin Zhang, Marcello Balduccini, and Ankush Israney.
An ASP Methodology for Understanding Narratives about Stereotypical Activities.
Journal of Theory and Practice of Logic Programming (TPLP), 2018.
(PDF)

33

Tran Cao Son and Marcello Balduccini.
Answer Set Planning in Single- and Multi-agent Environments.
KI - Kunstliche Intelligenz, 32(2–3), Aug 2018.
(PDF)

34

Emin Aktan, Ivan Bartoli, Franklin Moon, Marcello Balduccini, Kurt Sjoblom, Antonios Kontsos, and Hoda Azari.
Virtual Laboratory for Leveraging Technology for Bridges and Constructed Systems.
In EVACES 2017: Experimental Vibration Analysis for Civil Structures, pages 104–117, 2017.

35

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)

36

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.
(PDF)

37

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.
(PDF)

38

Daniela Inclezan, Qinglin Zhang, Marcello Balduccini, and Ankush Israney.
Understanding Restaurant Stories Using an ASP Theory of Intentions.
In 33rd International Conference on Logic Programming (ICLP17), 2017.
(PDF)

39

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)

40

Ryan Young, Marcello Balduccini, and Ankush Israney.
CASP for Robot Control in Hybrid Domains.
In Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP17), 2017.
(PDF)

41

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)

42

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)

43

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)

44

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)

45

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.
(PDF)

46

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)

47

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

48

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)

49

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)

50

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)

51

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)

52

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)

53

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)

54

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)

55

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)

56

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)

57

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)

58

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)

59

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)

60

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.

61

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)

62

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)

63

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)

64

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)

65

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)

66

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)

67

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)

68

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)

69

Marcello Balduccini.
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)

70

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)

71

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)

72

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)

73

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

74

Marcello Balduccini and Sara Girotto.
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)

75

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)

76

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)

77

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

78

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)

79

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)

80

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)

81

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)

82

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

83

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)

84

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)

85

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)

86

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)

87

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)

88

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)

89

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)

90

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

91

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)

92

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

93

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)

94

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

95

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

96

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)

97

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

98

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

99

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)

100

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)

101

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)

102

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)

103

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)

104

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)

105

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)

106

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)

107

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)

108

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)

109

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)

110

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)

111

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)

112

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)

113

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)

114

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)

115

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)

116

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)

117

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.

118

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)
(Postscript, gzipped Postscript,PDF)