Ricardo Caferra

2 papers in the IJCAI proceedings

IJCAI 1995

Extending Semantic Resolution via Automated Model Building: Applications

with Nicolas Peltier

Details PDF

IJCAI 1993

Cooperation between Direct Method and Translation Method in Non Classical Logics: Some Results in Propositional S5

with Stéphane Demri

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings