Ramiro A. de T. Guerreiro

Publication Activity (10 Years)

Years Active: 1989-1992
Publications (10 Years): 0

Publications

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)
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)
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)
Ramiro A. de T. Guerreiro, Andrea Silva, Marco Antonio Casanova
Computing answers in default logic. TAI (1989)
Marco A. Casanova, Ramiro A. de T. Guerreiro, Andrea Silva
Computing Answers to Logic Programs with Weak Model Elimination. NACLP (1989)
Marco A. Casanova, Ramiro A. de T. Guerreiro, Andrea Silva
Logic Programming with General Clauses and Defaults Based on Model Elimination. IJCAI (1989)