dblp.uni-trier.dewww.uni-trier.de

Ramiro A. de T. Guerreiro Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1992
7 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)
6 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
5 Marco A. Casanova, Andrea S. Hemerly, Ramiro A. de T. Guerreiro: Explaining SLDNF Resolution with Non-Normal Defaults. ICLP 1991: 18-31
1990
4 Ramiro A. de T. Guerreiro, Andrea S. Hemerly, Yoav Shoham: On the Complexity of Monotonic Inheritance with Roles. AAAI 1990: 627-632
3 Ramiro A. de T. Guerreiro, Marco A. Casanova, Andrea S. Hemerly: Contributions to a Proof Theory for Generic Defaults. ECAI 1990: 213-218
1989
2 Marco A. Casanova, Ramiro A. de T. Guerreiro, Andrea Silva: Logic Programming with General Clauses and Defaults Based on Model Elimination. IJCAI 1989: 395-400
1 Marco A. Casanova, Ramiro A. de T. Guerreiro, Andrea Silva: Computing Answers to Logic Programs with Weak Model Elimination. NACLP 1989: 92-114

Coauthor Index

1Marco A. Casanova [1] [2] [3] [5] [6] [7]
2Andrea S. Hemerly [3] [4] [5] [6] [7]
3Yoav Shoham [4]
4Andrea Silva [1] [2]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)