| 1992 |
|---|
| 7 | | Marco A. Casanova,
Andrea S. Hemerly,
Ramiro A. de T. Guerreiro:
Explaining SLDNF resolution with non-normal defaults.
IBM Journal of Research and Development 36(3): 347-360 (1992) |
| 6 | | Ramiro A. de T. Guerreiro,
Andrea S. Hemerly,
Marco A. Casanova:
STORK and PENGUIN: Logic programming systems using general clauses and defaults.
IBM Journal of Research and Development 36(3): 361-374 (1992) |
| 1991 |
|---|
| 5 | | Marco A. Casanova,
Andrea S. Hemerly,
Ramiro A. de T. Guerreiro:
Explaining SLDNF Resolution with Non-Normal Defaults.
ICLP 1991: 18-31 |
| 1990 |
|---|
| 4 | | Ramiro A. de T. Guerreiro,
Andrea S. Hemerly,
Yoav Shoham:
On the Complexity of Monotonic Inheritance with Roles.
AAAI 1990: 627-632 |
| 3 | | Ramiro A. de T. Guerreiro,
Marco A. Casanova,
Andrea S. Hemerly:
Contributions to a Proof Theory for Generic Defaults.
ECAI 1990: 213-218 |
| 1989 |
|---|
| 2 | | Marco A. Casanova,
Ramiro A. de T. Guerreiro,
Andrea Silva:
Logic Programming with General Clauses and Defaults Based on Model Elimination.
IJCAI 1989: 395-400 |
| 1 | | Marco A. Casanova,
Ramiro A. de T. Guerreiro,
Andrea Silva:
Computing Answers to Logic Programs with Weak Model Elimination.
NACLP 1989: 92-114 |
