Ramiro A. de T. Guerreiro
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1989–1991
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1991 | ICLP | Explaining SLDNF Resolution with Non-Normal Defaults. | Marco A. Casanova, Andrea S. Hemerly, Ramiro A. de T. Guerreiro |
| 1990 | AAAI | On the Complexity of Monotonic Inheritance with Roles. | Ramiro A. de T. Guerreiro, Andrea S. Hemerly, Yoav Shoham |
| 1990 | ECAI | Contributions to a Proof Theory for Generic Defaults. | Ramiro A. de T. Guerreiro, Marco A. Casanova, Andrea S. Hemerly |
| 1989 | IJCAI | Logic Programming with General Clauses and Defaults Based on Model Elimination. | Marco A. Casanova, Ramiro A. de T. Guerreiro, Andrea Silva |
| 1989 | ICTAI | Computing answers in default logic. | Ramiro A. de T. Guerreiro, Andrea Silva, Marco Antonio Casanova |