| 2007 |
|---|
| 14 | EE | Marcello Balduccini:
cr-models: An Inference Engine for CR-Prolog.
LPNMR 2007: 18-30 |
| 2006 |
|---|
| 13 | EE | 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 | EE | 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 | EE | Marcello Balduccini:
USA-Smart: Improving the Quality of Plans in Answer Set Planning.
PADL 2004: 135-147 |
| 2003 |
|---|
| 10 | EE | Marcello Balduccini,
Veena S. Mellarkod:
CR-Prolog with Ordered Disjunction.
Answer Set Programming 2003 |
| 9 | EE | Enrico Pontelli,
Marcello Balduccini,
F. Bermudez:
Non-monotonic Reasoning on Beowulf Platforms.
PADL 2003: 37-57 |
| 8 | EE | 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 | EE | 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 | EE | Michael Gelfond,
Marcello Balduccini,
Joel Galloway:
Diagnosing Physical Systems in A-Prolog.
LPNMR 2001: 213-225 |
| 4 | EE | Marcello Balduccini,
Michael Gelfond,
Richard Watson,
Monica Nogueira:
The USA-Advisor: A Case Study in Answer Set Planning.
LPNMR 2001: 439-442 |
| 3 | EE | 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 |
