Massacci, Fabio

4 publications

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

IJCAI 1999 Using Walk-SAT and Rel-Sat for Cryptographic Key Search Fabio Massacci

AAAI 1998 Anytime Approximate Modal Reasoning Fabio Massacci

AAAI 1996 Contextual Reasoning Is NP-Complete Fabio Massacci