Följ
Pasquale Rullo
Pasquale Rullo
Professor of Computer Science, University of Calabria
Verifierad e-postadress på mat.unical.it - Startsida
Titel
Citeras av
Citeras av
År
Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
N Leone, P Rullo, F Scarcello
Information and computation 135 (2), 69-112, 1997
2641997
Enhancing disjunctive datalog by constraints
F Buccafurri, N Leone, P Rullo
IEEE Transactions on Knowledge and Data Engineering 12 (5), 845-860, 2000
2382000
Strong and weak constraints in disjunctive datalog
F Buccafurri, N Leone, P Rullo
Logic Programming And Nonmonotonic Reasoning: 4th International Conference …, 1997
1241997
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
881999
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
752017
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
711992
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
602008
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
521996
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
382008
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
361998
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
312000
Disjunctive ordered logic: Semantics and expressiveness
F Buccafurri, N Leone, P Rullo
KR, 418-431, 1998
251998
Declarative and fixpoint characterizations of disjunctive stable models
NLP Rullo, F Scarcello
Proc. Int'l Logic Programming Symp.(ILPS'95), 399-413, 1995
241995
Ordered logic programming with sets
N Leone, P Rullo
Journal of Logic and Computation 3 (6), 621-642, 1993
241993
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
212007
Adding weak constraints to disjunctive datalog
F Buccufurri, N Leone
211997
Safe computation of the well-founded semantics of DATALOG queries
N Leone, P Rullo
Information Systems 17 (1), 17-31, 1992
201992
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
182003
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
172005
Reasoning-based knowledge extraction for text classification
C Cumbo, S Iiritano, P Rullo
Discovery Science: 7th International Conference, DS 2004, Padova, Italy …, 2004
162004
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20