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

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

Strong and weak constraints in disjunctive datalog F Buccafurri, N Leone, P Rullo Logic Programming And Nonmonotonic Reasoning: 4th International Conference …, 1997 | 127 | 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 | 87 | 1999 |

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 | 81 | 2017 |

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 Machine Learning and Knowledge Discovery in Databases: European Conference …, 2008 | 60 | 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 | 51 | 1996 |

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 | 38 | 2008 |

An authorization model and its formal semantics E Bertino, F Buccafurri, E Ferrari, P Rullo Computer Security—ESORICS 98: 5th European Symposium on Research in …, 1998 | 36 | 1998 |

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

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

Declarative and fixpoint characterizations of disjunctive stable models NLP Rullo, F Scarcello Proc. Int'l Logic Programming Symp.(ILPS'95), 399-413, 1995 | 25 | 1995 |

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

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 | 22 | 2007 |

Adding weak constraints to disjunctive datalog F Buccufurri, N Leone | 21 | 1997 |

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

A prototypal environment for collaborative work within a research organization M Ettorre, P Pontieri, M Ruffolo, P Rullo, D Sacca 14th International Workshop on Database and Expert Systems Applications …, 2003 | 18 | 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, 2005 | 17 | 2005 |

The KIWIS knowledge base management system M Ahlsén, A D'Atri, P Johannesson, E Laenens, N Leone, P Rullo, P Rossi, ... Advanced Information Systems Engineering: Third International Conference …, 1991 | 16 | 1991 |