Fabio Massacci

Ingegneria dell'Informazione - Università di Siena via Roma 56 -53100 Siena - Italy

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