- 1
-
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)
- 2
-
Marcello Balduccini.
CR-Prolog as a Specification Language for Constraint
Satisfaction Problems.
In 10th International Conference on Logic Programming and
Nonmonotonic Reasoning (LPNMR09), Sep 2009.
(PDF)
- 3
-
Marcello Balduccini.
How Flexible Is Answer Set Programming? An Experiment
in Formalizing Commonsense in ASP.
In 10th International Conference on Logic Programming and
Nonmonotonic Reasoning (LPNMR09), Sep 2009.
(PDF)
- 4
-
Marcello Balduccini.
Splitting a CR-Prolog Program.
In 10th International Conference on Logic Programming and
Nonmonotonic Reasoning (LPNMR09), Sep 2009.
(PDF)
- 5
-
Marcello Balduccini and Michael Gelfond.
The Autonomous Agent Architecture.
In Newsletter of the Association of Logic Programming. Aug
2009.
(PDF)
- 6
-
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)
- 7
-
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)
- 8
-
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)
- 9
-
Marcello Balduccini, Chitta Baral, and Yulia Lierler.
Handbook of Knowledge Representation, chapter 20.
Knowledge Representation and Question Answering.
Foundations of Artificial Intelligence. Elsevier, Dec 2007.
(PDF)
- 10
-
Marcello Balduccini.
CR-MODELS: An Inference Engine for
CR-Prolog.
In LPNMR 2007, pages 18-30, May 2007.
(PDF)
- 11
-
Marcello Balduccini.
Modules and Signature Declarations for A-Prolog: Progress
Report.
In Software Engineering for Answer Set Programming Workshop
(SEA07), May 2007.
(PDF)
- 12
-
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)
- 13
-
Marcello Balduccini.
Computing Answer Sets of CR-Prolog Programs.
Technical report, Texas Tech University, 2006.
(PDF)
- 14
-
Marcello Balduccini.
Inductive Corrections of Action Descriptions (Extended
Abstract).
In Proceedings of the 16th International Conference on Inductive
Logic Programming, ILP 06, 2006.
(PDF)
- 15
-
Marcello Balduccini, Michael Gelfond, and Monica Nogueira.
Answer Set Based Design of Knowledge Systems.
Annals of Mathematics and Artificial Intelligence, 2006.
(PDF)
- 16
-
Marcello Balduccini, Gregory Gelfond, and Michael Gelfond.
Deep Reasoning for Question Answering: the DD System.
Technical report, Texas Tech University, 2005.
- 17
-
Marcello Balduccini.
Answer Set Based Design of Highly Autonomous,
Rational Agents.
PhD thesis, Texas Tech University, Dec 2005.
(PDF)
- 18
-
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)
- 19
-
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)
- 20
-
Marcello Balduccini.
USA-Smart: Improving the Quality of Plans in Answer
Set Planning.
In PADL'04, Lecture Notes in Artificial Intelligence (LNCS),
Jun 2004.
(Postscript, gzipped Postscript,PDF)
- 21
-
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)
- 22
-
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)
- 23
-
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)
- 24
-
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)
- 25
-
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)
- 26
-
Enrico Pontelli, Marcello Balduccini, and F. Bermudez.
Non-monotonic Reasoning on Beowulf Platforms.
In Veronica Dahl and Philip Wadler, editors, PADL 2003, volume
2562 of Lecture Notes in Artificial Intelligence (LNCS), pages 37-57,
Jan 2003.
(Postscript, gzipped Postscript,PDF)
- 27
-
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)
- 28
-
Monica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, and
Matthew Barry.
An A-Prolog decision support system for the Space
Shuttle.
In PADL 2001, pages 169-183, 2001.
(Postscript, gzipped Postscript,PDF)
- 29
-
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)
- 30
-
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)
- 31
-
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)
- 32
-
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)
- 33
-
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)
- 34
-
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)
- 35
-
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)
- 36
-
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.
- 37
-
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)