 | 2009 |
|---|
| 17 |       | Marcello Balduccini:
Splitting a CR-Prolog Program.
LPNMR 2009: 17-29 |
| 16 | | Marcello Balduccini:
How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP.
LPNMR 2009: 4-16 |
| 15 | | Marcello Balduccini:
CR-Prolog as a Specification Language for Constraint Satisfaction Problems.
LPNMR 2009: 402-408 |
| 2007 |
|---|
| 14 | | Marcello Balduccini:
cr-models: An Inference Engine for CR-Prolog.
LPNMR 2007: 18-30 |
| 2006 |
|---|
| 13 | | Marcello Balduccini,
Michael Gelfond,
Monica Nogueira:
Answer set based design of knowledge systems.
Ann. Math. Artif. Intell. 47(1-2): 183-219 (2006) |
| 2005 |
|---|
| 12 | | 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) |
| 2004 |
|---|
| 11 | | Marcello Balduccini:
USA-Smart: Improving the Quality of Plans in Answer Set Planning.
PADL 2004: 135-147 |
| 2003 |
|---|
| 10 | | Marcello Balduccini,
Veena S. Mellarkod:
CR-Prolog with Ordered Disjunction.
Answer Set Programming 2003 |
| 9 | | Enrico Pontelli,
Marcello Balduccini,
F. Bermudez:
Non-monotonic Reasoning on Beowulf Platforms.
PADL 2003: 37-57 |
| 8 | | Marcello Balduccini,
Michael Gelfond:
Diagnostic reasoning with A-Prolog
CoRR cs.AI/0312040: (2003) |
| 7 |  | Marcello Balduccini,
Michael Gelfond:
Diagnostic reasoning with A-Prolog.
TPLP 3(4-5): 425-461 (2003) |
| 2001 |
|---|
| 6 | | Monica Nogueira,
Marcello Balduccini,
Michael Gelfond,
Richard Watson,
Matthew Barry:
An A Prolog decision support system for the Space Shuttle.
Answer Set Programming 2001 |
| 5 | | Michael Gelfond,
Marcello Balduccini,
Joel Galloway:
Diagnosing Physical Systems in A-Prolog.
LPNMR 2001: 213-225 |
| 4 | | Marcello Balduccini,
Michael Gelfond,
Richard Watson,
Monica Nogueira:
The USA-Advisor: A Case Study in Answer Set Planning.
LPNMR 2001: 439-442 |
| 3 | | Monica Nogueira,
Marcello Balduccini,
Michael Gelfond,
Richard Watson,
Matthew Barry:
An A-Prolog Decision Support System for the Space Shuttle.
PADL 2001: 169-183 |
| 2000 |
|---|
| 2 | | Marcello Balduccini:
A Framework for Interleaving Planning-while-Learning and Execution.
MICAI 2000: 247-259 |
| 1 | | Marcello Balduccini,
G. Brignoli,
Gaetano Aurelio Lanzarone,
F. Magni,
Alessandro Provetti:
Experiments in Answer Sets Planning.
MICAI 2000: 95-107 |
