| 1993 |
|---|
| 9 | | Andrea S. Hemerly,
Antonio L. Furtado,
Marco A. Casanova:
Towards Cooperativeness in Geographic Databases.
DEXA 1993: 373-376 |
| 8 | EE | Andrea S. Hemerly,
Marco A. Casanova,
Antonio L. Furtado:
Avoiding Misconstruals in Database Systems: A Default Logic Approach.
IEEE Trans. Knowl. Data Eng. 5(6): 994-996 (1993) |
| 1992 |
|---|
| 7 | | Marco A. Casanova,
Andrea S. Hemerly,
Antonio L. Furtado:
A Declarative Conceptual Modelling Language: Description and Example Applications.
CAiSE 1992: 589-611 |
| 6 | | 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) |
| 5 | | 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 |
|---|
| 4 | EE | Andrea S. Hemerly,
Marco A. Casanova,
Antonio L. Furtado:
Cooperative Behavior Through Request Modification.
ER 1991: 607-621 |
| 3 | | Marco A. Casanova,
Andrea S. Hemerly,
Ramiro A. de T. Guerreiro:
Explaining SLDNF Resolution with Non-Normal Defaults.
ICLP 1991: 18-31 |
| 1990 |
|---|
| 2 | | Ramiro A. de T. Guerreiro,
Andrea S. Hemerly,
Yoav Shoham:
On the Complexity of Monotonic Inheritance with Roles.
AAAI 1990: 627-632 |
| 1 | | Ramiro A. de T. Guerreiro,
Marco A. Casanova,
Andrea S. Hemerly:
Contributions to a Proof Theory for Generic Defaults.
ECAI 1990: 213-218 |
