Ramiro A. de T. Guerreiro

According to our database, Ramiro A. de T. Guerreiro authored at least 7 papers between 1989 and 1992.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1992

STORK and PENGUIN: Logic programming systems using general clauses and defaults.

Ramiro A. de T. Guerreiro, Andrea S. Hemerly, Marco A. Casanova

IBM J. Res. Dev., 1992

Explaining SLDNF resolution with non-normal defaults.

Marco A. Casanova, Andrea S. Hemerly, Ramiro A. de T. Guerreiro

IBM J. Res. Dev., 1992

1990

Contributions to a Proof Theory for Generic Defaults.

Ramiro A. de T. Guerreiro, Marco A. Casanova, Andrea S. Hemerly

Proceedings of the 9th European Conference on Artificial Intelligence, 1990

On the Complexity of Monotonic Inheritance with Roles.

Ramiro A. de T. Guerreiro, Andrea S. Hemerly, Yoav Shoham

Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990

1989

Computing Answers to Logic Programs with Weak Model Elimination.

Marco A. Casanova, Ramiro A. de T. Guerreiro, Andrea Silva

Proceedings of the Logic Programming, 1989

Logic Programming with General Clauses and Defaults Based on Model Elimination.

Marco A. Casanova, Ramiro A. de T. Guerreiro, Andrea Silva

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

Computing answers in default logic.

Ramiro A. de T. Guerreiro, Andrea Silva, Marco Antonio Casanova

Proceedings of the IEEE International Workshop on Tools for Artificial Intelligence: Architectures, 1989