Andrea S. Hemerly

Publication Activity (10 Years)

Years Active: 1990-1993
Publications (10 Years): 0

Publications

Andrea S. Hemerly, Antonio L. Furtado, Marco A. Casanova
Towards Cooperativeness in Geographic Databases. DEXA (1993)
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) (1993)
Marco A. Casanova, Andrea S. Hemerly, Ramiro A. de T. Guerreiro
Explaining SLDNF resolution with non-normal defaults. IBM J. Res. Dev. 36 (3) (1992)
Marco A. Casanova, Andrea S. Hemerly, Antonio L. Furtado
A Declarative Conceptual Modelling Language: Description and Example Applications. CAiSE (1992)
Ramiro A. de T. Guerreiro, Andrea S. Hemerly, Marco A. Casanova
STORK and PENGUIN: Logic programming systems using general clauses and defaults. IBM J. Res. Dev. 36 (3) (1992)
Marco A. Casanova, Andrea S. Hemerly, Ramiro A. de T. Guerreiro
Explaining SLDNF Resolution with Non-Normal Defaults. ICLP (1991)
Andrea S. Hemerly, Marco A. Casanova, Antonio L. Furtado
Cooperative Behavior Through Request Modification. ER (1991)
Ramiro A. de T. Guerreiro, Andrea S. Hemerly, Yoav Shoham
On the Complexity of Monotonic Inheritance with Roles. AAAI (1990)
Ramiro A. de T. Guerreiro, Marco A. Casanova, Andrea S. Hemerly
Contributions to a Proof Theory for Generic Defaults. ECAI (1990)