Fabio Massacci

2 papers in the IJCAI proceedings

IJCAI 2001

Decision Procedures for Expressive Description Logics with Intersection, Composition, Converse of Roles and Role Identity

Details PDF

IJCAI 1999

Using Walk-SAT and Rel-Sat for Cryptographic Key Search

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings