Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation N Leone, P Rullo, F Scarcello Information and computation 135 (2), 69-112, 1997 | 239 | 1997 |

Enhancing disjunctive datalog by constraints F Buccafurri, N Leone, P Rullo IEEE Transactions on Knowledge and Data Engineering 12 (5), 845-860, 2000 | 207 | 2000 |

Strong and weak constraints in disjunctive datalog F Buccafurri, N Leone, P Rullo International Conference on Logic Programming and Nonmonotonic Reasoning, 2-17, 1997 | 114 | 1997 |

A logical framework for reasoning on data access control policies E Bertino, F Buccafurri, E Ferrari, P Rullo Proceedings of the 12th IEEE Computer Security Foundations Workshop, 175-189, 1999 | 81 | 1999 |

COMPLEX: an object-oriented logic programming system S Greco, N Leone, P Rullo IEEE Transactions on Knowledge and Data Engineering 4 (4), 344-359, 1992 | 70 | 1992 |

A genetic algorithm for text classification rule induction A Pietramala, VL Policicchio, P Rullo, I Sidhu Joint European Conference on Machine Learning and Knowledge Discovery in …, 2008 | 51 | 2008 |

Stable models and their computation for logic programming with inheritance and true negation F Buccafurri, N Leone, P Rullo The Journal of logic programming 27 (1), 5-43, 1996 | 48 | 1996 |

Fault detection and explanation through big data analysis on sensor streams G Manco, E Ritacco, P Rullo, L Gallucci, W Astill, D Kimber, M Antonelli Expert Systems with Applications 87, 141-156, 2017 | 40 | 2017 |

An authorization model and its formal semantics E Bertino, F Buccafurri, E Ferrari, P Rullo European Symposium on Research in Computer Security, 127-142, 1998 | 35 | 1998 |

Olex: effective rule learning for text categorization P Rullo, VL Policicchio, C Cumbo, S Iiritano IEEE Transactions on Knowledge and Data Engineering 21 (8), 1118-1132, 2008 | 33 | 2008 |

A logic-based approach for enforcing access control 1 E Bertino, F Buccafurri, E Ferrari, P Rullo Journal of Computer Security 8 (2-3), 109-139, 2000 | 30 | 2000 |

Disjunctive ordered logic: Semantics and expressiveness F Buccafurri, N Leone, P Rullo KR, 418-431, 1998 | 27 | 1998 |

Ordered logic programming with sets N Leone, P Rullo Journal of Logic and Computation 3 (6), 621-642, 1993 | 25 | 1993 |

Declarative and Fixpoint Characterizations of Disjunctive Stable Models. N Leone, F Scarcello ILPS 95, 399-413, 1995 | 23 | 1995 |

Safe computation of the well-founded semantics of DATALOG queries N Leone, P Rullo Information Systems 17 (1), 17-31, 1992 | 20 | 1992 |

Learning rules with negation for text categorization P Rullo, C Cumbo, VL Policicchio Proceedings of the 2007 ACM symposium on Applied computing, 409-416, 2007 | 19 | 2007 |

Adding Weak Constraints to Disjunctive Datalog. F Buccafurri, N Leone, P Rullo APPIA-GULP-PRODE, 557-568, 1997 | 19 | 1997 |

A prototypal environment for collaborative work within a research organization M Ettorre, P Pontieri, M Ruffolo, P Rullo, D Saccą 14th International Workshop on Database and Expert Systems Applications …, 2003 | 17 | 2003 |

Effective implementation of negation in database logic query languages N Leone, M Romeo, P Rullo, D Saccą LOGIDATA+: Deductive Databases with Complex Objects, 159-175, 1993 | 17 | 1993 |

Semantics and expressiveness of disjunctive ordered logic F Buccafurri, N Leone, P Rullo Annals of Mathematics and Artificial Intelligence 25 (3), 311-337, 1999 | 16 | 1999 |