2010 | ||
---|---|---|
138 | Fabrizio Angiulli, Fabio Fassetti, Luigi Palopoli, Domenico Trimboli: Detection of Discriminating Rules. ICAART (1) 2010: 169-177 | |
2009 | ||
137 | Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello: Constrained coalitional games: formal framework, properties, and complexity results. AAMAS (2) 2009: 1295-1296 | |
136 | Tommaso Cucinotta, Luca Abeni, Luigi Palopoli, Fabio Checconi: The wizard of OS: a heartbeat for Legacy multimedia applications. ESTImedia 2009: 70-79 | |
135 | Luigi Palopoli, Roberto Passerone, Amy L. Murphy, Gian Pietro Picco, Alessandro Giusti: Solving the Wake-Up Scattering Problem Optimally. EWSN 2009: 166-182 | |
134 | Daniele Fontanelli, Luigi Palopoli, Roberto Passerone: Convergence of Distributed WSN Algorithms: The Wake-Up Scattering Problem. HSCC 2009: 180-193 | |
133 | Luca Miceli, Luigi Palopoli, Simona E. Rombo, Giorgio Terracina, Giuseppe Tradigo, Pierangelo Veltri: Experimental Evaluation of Protein Secondary Structure Predictors. ICCS (1) 2009: 848-857 | |
132 | Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello: On the Complexity of Compact Coalitional Games. IJCAI 2009: 147-152 | |
131 | Valeria Fionda, Luigi Palopoli, Simona Panni, Simona E. Rombo: Extracting similar sub-graphs across PPI networks. ISCIS 2009: 183-188 | |
130 | Erika De Francesco, Giuliana Di Santo, Luigi Palopoli, Simona E. Rombo: A Summary of Genomic Databases: Overview and Discussion. Biomedical Data and Applications 2009: 37-54 | |
129 | Fabrizio Angiulli, Fabio Fassetti, Luigi Palopoli: Detecting outlying properties of exceptional objects. ACM Trans. Database Syst. 34(1): (2009) | |
128 | Fabio Fassetti, Luigi Palopoli: On the complexity of identifying Head Elementary Set Free programs CoRR abs/0905.3802: (2009) | |
127 | Luigi Palopoli, Simona E. Rombo, Giorgio Terracina, Giuseppe Tradigo, Pierangelo Veltri: Improving protein secondary structure predictions by prediction fusion. Information Fusion 10(3): 217-232 (2009) | |
126 | Luigi Palopoli, Tommaso Cucinotta, Luca Marzario, Giuseppe Lipari: AQuoSA - adaptive quality of service architecture. Softw., Pract. Exper. 39(1): 1-31 (2009) | |
2008 | ||
125 | Valeria Fionda, Luigi Palopoli, Simona Panni, Simona E. Rombo: Protein-Protein Interaction Network Querying by a "Focus and Zoom" Approach. BIRD 2008: 331-346 | |
124 | Luigi Palopoli, Luca Abeni, Tommaso Cucinotta, Giuseppe Lipari, Sanjoy K. Baruah: Weighted feedback reclaiming for multimedia applications. ESTImedia 2008: 121-126 | |
123 | Luca Abeni, Luigi Palopoli: Adaptive real-time scheduling for legacy applications. ETFA 2008: 583-590 | |
122 | Alessandro Cimatti, Luigi Palopoli, Yusi Ramadian: Symbolic Computation of Schedulability Regions Using Parametric Timed Automata. IEEE Real-Time Systems Symposium 2008: 80-89 | |
121 | Nicola Manica, Luca Abeni, Luigi Palopoli: QoS Support in the X11 Window System. IEEE Real-Time and Embedded Technology and Applications Symposium 2008: 103-112 | |
120 | Valeria Fionda, Luigi Palopoli, Simona Panni, Simona E. Rombo: Singling out functional similarities in graph databases. SEBD 2008: 271-278 | |
119 | Fabrizio Angiulli, Fabio Fassetti, Luigi Palopoli: An Unsupervised Outlier Detection Approach for Cleaning String Data Entries. SEBD 2008: 358-365 | |
118 | Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli: Outlier detection using default reasoning. Artif. Intell. 172(16-17): 1837-1872 (2008) | |
117 | Enrico Malizia, Luigi Palopoli, Francesco Scarcello: On the Computational Complexity of the Bargaining Set and the Kernel in Compact Coalitional Games CoRR abs/0810.3136: (2008) | |
2007 | ||
116 | Valeria Fionda, Luigi Palopoli, Simona Panni, Simona E. Rombo: GRAPPIN: Bipartite GRAph Based Protein-Protein Interaction Network Similarity Search. BIBM 2007: 355-361 | |
115 | Tommaso Cucinotta, Luigi Palopoli: Feedback Scheduling for Pipelines of Tasks. HSCC 2007: 131-144 | |
114 | Enrico Malizia, Luigi Palopoli, Francesco Scarcello: Infeasibility Certificates and the Complexity of the Core in Coalitional Games. IJCAI 2007: 1402-1407 | |
113 | Renato Lo Cigno, Luigi Palopoli, Alessio Colombo: Analysis of Different Scheduling Strategies in 802.11e Networks with Multi-Class Traffic. LCN 2007: 455-462 | |
112 | Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli, Domenico Trimboli: The LP-OD System: Logic Programming Meets Outlier Detection. LPNMR 2007: 254-259 | |
111 | Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli: Outlier detection by logic programming. ACM Trans. Comput. Log. 9(1): (2007) | |
110 | Pasquale De Meo, Luigi Palopoli, Giovanni Quattrone, Domenico Ursino: Combining Description Logics with synopses for inferring complex knowledge patterns from XML sources. Inf. Syst. 32(8): 1184-1224 (2007) | |
2006 | ||
109 | Luigi Palopoli, Simona E. Rombo, Giorgio Terracina, Giuseppe Tradigo, Pierangelo Veltri: JSSPrediction: a Framework to Predict Protein Secondary Structures Using Integration. CBMS 2006: 931-935 | |
108 | Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli: Detecting and Repairing Anomalous Evolutions in Noisy Environments: Logic Programming Formalization and Complexity Results. IFIP AI 2006: 41-50 | |
107 | Fabrizio Angiulli, Fabio Fassetti, Luigi Palopoli: Un Metodo per la Scoperta di Proprietà Inattese. SEBD 2006: 321-328 | |
106 | Gianluigi Greco, Giovambattista Ianni, Vincenzino Lio, Luigi Palopoli: Protection Techniques from Information Extraction. Web Intelligence 2006: 1029-1033 | |
105 | Alfredo Garro, Luigi Palopoli, Francesco Ricca: Exploiting agents in e-learning and skills management context. AI Commun. 19(2): 137-154 (2006) | |
104 | Luigi Palopoli, Domenico Rosaci, Domenico Ursino: Agents' roles in B2C e-commerce. AI Commun. 19(2): 95-126 (2006) | |
2005 | ||
103 | G. Acati, Mario Cannataro, E. Giampà, Marco Mastratisi, Luigi Palopoli, Pasquale Rullo: A Software Platform for Services Delivery in the Public Administration. CAiSE Workshops (2) 2005: 69-81 | |
102 | Luigi Palopoli, Simona E. Rombo, Giorgio Terracina: Flexible Pattern Discovery with (Extended) Disjunctive Logic Programming. ISMIS 2005: 504-513 | |
101 | Luigi Palopoli, Domenico Rosaci, Giorgio Terracina, Domenico Ursino: A graph-based approach for extracting terminological properties from information sources with heterogeneous formats. Knowl. Inf. Syst. 8(4): 462-497 (2005) | |
100 | Luca Abeni, Tommaso Cucinotta, Giuseppe Lipari, Luca Marzario, Luigi Palopoli: QoS Management Through Adaptive Reservations. Real-Time Systems 29(2-3): 131-155 (2005) | |
2004 | ||
99 | Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli: Detecting Outliers via Logical Theories and Its Data Complexity. Discovery Science 2004: 101-113 | |
98 | Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli: Outlier Detection Using Disjunctive Logic Programming. ECAI 2004: 416-419 | |
97 | Tommaso Cucinotta, Luigi Palopoli, Luca Marzario, Giuseppe Lipari, Luca Abeni: Adaptive reservations in a Linux environment. IEEE Real-Time and Embedded Technology and Applications Symposium 2004: 238-245 | |
96 | Michele Cirinei, Antonio Mancina, Davide Cantini, Paolo Gai, Luigi Palopoli: An Educational Open Source Real-Time Kernel for Small Embedded Control Systems. ISCIS 2004: 866-875 | |
95 | Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli: Discovering Anomalies in Evidential Knowledge by Logic Programming. JELIA 2004: 578-590 | |
94 | Pasquale Grimaldi, Simona E. Rombo, Giorgio Terracina, Luigi Palopoli: Derivazione efficiente di pattern strutturati frequenti da database di natura biologica. SEBD 2004: 106-117 | |
93 | Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli: Outlier Detection by Logic Programming CoRR cs.AI/0409019: (2004) | |
92 | Luigi Palopoli, Giorgio Terracina: Coopps: a System for the Cooperative Prediction of Protein Structures. J. Bioinformatics and Computational Biology 2(3): 471-496 (2004) | |
91 | Fabrizio Angiulli, Giovambattista Ianni, Luigi Palopoli: On the complexity of inducing categorical and quantitative association rules. Theor. Comput. Sci. 314(1-2): 217-249 (2004) | |
2003 | ||
90 | Luigi Palopoli, Giorgio Terracina: A Framework for Improving Protein Structure Predictions by Teamwork. APBC 2003: 163-171 | |
89 | Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli: Outlier Detection Using Default Logic. Answer Set Programming 2003 | |
88 | Luigi Palopoli, Luca Abeni, Giuseppe Lipari: On the Application of Hybrid Control to CPU Reservations. HSCC 2003: 389-404 | |
87 | Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli: Outlier Detection Using Default Logic. IJCAI 2003: 833-838 | |
86 | Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Giovambattista Ianni, Luigi Palopoli: Computational properties of metaquerying problems. ACM Trans. Comput. Log. 4(2): 149-180 (2003) | |
85 | Luigi Palopoli, Giorgio Terracina, Domenico Ursino: A Plausibility Description Logic for Handling Information Sources with Heterogeneous Data Representation Formats. Ann. Math. Artif. Intell. 39(4): 385-430 (2003) | |
84 | Luigi Palopoli, Domenico Saccà, Giorgio Terracina, Domenico Ursino: Uniform Techniques for Deriving Similarities of Objects and Subschemes in Heterogeneous Databases. IEEE Trans. Knowl. Data Eng. 15(2): 271-294 (2003) | |
83 | Luigi Palopoli, Giorgio Terracina, Domenico Ursino: Experiences using DIKE, a system for supporting cooperative information system and data warehouse design. Inf. Syst. 28(7): 835-865 (2003) | |
82 | Luigi Palopoli, Giorgio Terracina, Domenico Ursino: DIKE: a system supporting the semi-automatic construction of cooperative information systems from heterogeneous databases. Softw., Pract. Exper. 33(9): 847-884 (2003) | |
2002 | ||
81 | Alfredo Garro, Luigi Palopoli: An XML Multi-agent System for E-learning and Skill Management. Agent Technologies, Infrastructures, Tools, and Applications for E-Services 2002: 283-294 | |
80 | Luigi Palopoli, Giorgio Terracina: Discovering Frequent Structured Patterns from String Databases: An Application to Biological Sequences. Discovery Science 2002: 34-46 | |
79 | Luigi Palopoli, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Laurent Elghaoui, Antonio Bicchi: Synthesis of Robust Control Systems under Resource Constraints. HSCC 2002: 337-350 | |
78 | Luca Abeni, Luigi Palopoli, Giuseppe Lipari, Jonathan Walpole: Analysis of a Reservation-Based Feedback Scheduler. IEEE Real-Time Systems Symposium 2002: 71-80 | |
77 | Luigi Palopoli, Giorgio Terracina, Domenico Ursino: A Plausibility Description Logics for Reasoning with Information Sources Having Different Formats and Structures. ISMIS 2002: 46-54 | |
76 | Luigi Palopoli, Domenico Saccà, Giorgio Terracina, Domenico Ursino: A technique for deriving hyponymies and overlappings from database schemes. Data Knowl. Eng. 40(3): 285-314 (2002) | |
75 | Luigi Palopoli, Luigi Pontieri, Giorgio Terracina, Domenico Ursino: A novel three-level architecture for large data warehouses. Journal of Systems Architecture 47(11): 937-958 (2002) | |
74 | Luigi Palopoli, Giuseppe Lipari, Gerardo Lamastra, Luca Abeni, Gabriele Bolognini, Paolo Ancilotti: An object-oriented tool for simulating distributed real-time control systems. Softw., Pract. Exper. 32(9): 907-932 (2002) | |
2001 | ||
73 | Luigi Palopoli, Domenico Rosaci, Giorgio Terracina, Domenico Ursino: Supporting User-Profiled Semantic Web-Oriented Search. CIA 2001: 26-31 | |
72 | Luigi Palopoli, Giorgio Terracina, Domenico Ursino: A Graph-Based Approach For Extracting Terminological Properties of Elements of XML Documents. ICDE 2001: 330-337 | |
71 | Fabio Conticelli, Luigi Palopoli: Discrete-Time Multirate Stabilization of Chained Form Systems: Convergence, Robustness, and Performance. ICRA 2001: 1463-1468 | |
70 | Luigi Palopoli, Giuseppe Lipari, Luca Abeni, Marco Di Natale, Paolo Ancilotti, Fabio Conticelli: A Tool for Simulation and Fast Prototyping of Embedded Control Systems. LCTES/OM 2001: 73-81 | |
69 | Luigi Palopoli, Domenico Rosaci, Giorgio Terracina, Domenico Ursino: Un modello concettuale per rappresentare e derivare la semantica associata a sorgenti informative strutturate e semi-strutturate. SEBD 2001: 131-145 | |
68 | Fabrizio Angiulli, Giovambattista Ianni, Luigi Palopoli: On the Complexity of Mining Association Rules. SEBD 2001: 177-184 | |
67 | Francesco Buccafurri, Luigi Palopoli, Domenico Rosaci, Giuseppe M. L. Sarnè: A System Implementing Cooperation in Multi-Agent Networks. WOA 2001: 20-23 | |
66 | Luigi Palopoli, Domenico Rosaci, Giorgio Terracina, Domenico Ursino: Modeling Web-search scenarios exploiting user and source profiles. AI Commun. 14(4): 215-230 (2001) | |
65 | Fabrizio Angiulli, Giovambattista Ianni, Luigi Palopoli: On the complexity of inducing categorical and quantitative association rules CoRR cs.CC/0111009: (2001) | |
64 | Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Giovambattista Ianni, Luigi Palopoli: Computational Properties of Metaquerying Problems CoRR cs.DB/0106012: (2001) | |
2000 | ||
63 | Luigi Palopoli, Giorgio Terracina, Domenico Ursino: The System DIKE: Towards the Semi-Automatic Synthesis of Cooperative Information Systems and Data Warehouses. ADBIS-DASFAA Symposium 2000: 108-117 | |
62 | Luigi Palopoli, Domenico Saccà, Giorgio Terracina, Domenico Ursino: Semi-automatic Extraction of Hyponymies and Overlappings from Heterogeneous Database Schemes. DEXA 2000: 614-623 | |
61 | Luca Abeni, Luigi Palopoli, Giorgio C. Buttazzo: On adaptive control techniques in real-time resource allocation. ECRTS 2000: 129-136 | |
60 | Silvana Castano, Luigi Palopoli, Riccardo Torlone: A General Methodological Framework for the Development of Web-Based Information Systems. ER (Workshops) 2000: 128-139 | |
59 | Luigi Palopoli, Fabio Conticelli, Benedetto Allotta: Multi-Level Stabilizing Control of an Nonholonomic Vehicle and Its Discrete-Time Multirate Implementation. ICRA 2000: 1830-1835 | |
58 | Luigi Palopoli, Luca Abeni, Fabio Conticelli, Marco Di Natale, Giorgio C. Buttazzo: Real-Time control system analysis: an integrated approach. IEEE Real-Time Systems Symposium 2000: 131-140 | |
57 | Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Giovambattista Ianni, Luigi Palopoli: Computational Properties of Metaquerying Problems. PODS 2000: 237-244 | |
56 | Silvana Castano, Luigi Palopoli, Riccardo Torlone: The InterData methodological framework for the development of Web-based information systems. SEBD 2000: 139-152 | |
55 | Fabrizio Angiulli, Giovambattista Ianni, Luigi Palopoli: Metaquerying: proprietà e tecniche di implementazione. SEBD 2000: 317-330 | |
54 | Luigi Palopoli, Giorgio Terracina, Domenico Ursino: Derivazione di iponimie/iperonimie tra entità appartenenti a basi di dati eterogenee. SEBD 2000: 357-370 | |
53 | Marco Cadoli, Giovambattista Ianni, Luigi Palopoli, Andrea Schaerf, Domenico Vasile: NP-SPEC: an executable specification language for solving all problems in NP. Comput. Lang. 26(2-4): 165-195 (2000) | |
52 | Luigi Palopoli, Luigi Pontieri, Giorgio Terracina, Domenico Ursino: Intensional and extensional integration and abstraction of heterogeneous databases. Data Knowl. Eng. 35(3): 201-237 (2000) | |
51 | Rachel Ben-Eliyahu-Zohary, Luigi Palopoli, Victoria Zemlyanker: More on tractable disjunctive Datalog. J. Log. Program. 46(1-2): 61-101 (2000) | |
1999 | ||
50 | Luigi Palopoli, Domenico Saccà, Giorgio Terracina, Domenico Ursino: A Unified Graph-Based Framework for Deriving Nominal Interscheme Properties, Type Conflicts and Object Cluster Similarities. CoopIS 1999: 34-45 | |
49 | Luigi Palopoli, Luigi Pontieri, Domenico Ursino: Automatic and Semantic Techniques for Scheme Integration and Scheme Abstraction. DEXA 1999: 511-520 | |
48 | Marco Cadoli, Luigi Palopoli, Andrea Schaerf, Domenico Vasile: NP-SPEC: An Executable Specification Language for Solving All Problems in NP. PADL 1999: 16-30 | |
47 | Luigi Palopoli, Paolo Ancilotti, Giorgio C. Buttazzo: A C Language Extension for Programming Real-Time Applications. RTCSA 1999: 103-110 | |
46 | Luigi Palopoli, Luigi Pontieri, Domenico Saccà, Domenico Ursino: Progettazione Semi-Automatica di Data Warehouse di Grandi Dimensioni . SEBD 1999: 3-17 | |
45 | Marco Cadoli, Luigi Palopoli, Francesco Scarcello: Propositional lower bounds: Algorithms and complexity. Ann. Math. Artif. Intell. 27(1-4): 129-148 (1999) | |
44 | Luigi Palopoli, Fiora Pirri, Clara Pizzuti: Algorithms for Selective Enumeration of Prime Implicants. Artif. Intell. 111(1-2): 41-72 (1999) | |
43 | Luigi Palopoli, Domenico Saccà, Domenico Ursino: Semi-Automatic Techniques for Deriving Interscheme Properties from Database Schemes. Data Knowl. Eng. 30(3): 239-273 (1999) | |
42 | Luigi Palopoli, Domenico Saccà, Domenico Ursino: DLP: A Description Logic for Extracting and Managing Complex Terminological and Structural Properties from Database Schemes. Inf. Syst. 24(5): 401-424 (1999) | |
1998 | ||
41 | Luigi Palopoli, Domenico Saccà, Domenico Ursino: An Automatic Techniques for Detecting Type Conflicts in Database Schemes. CIKM 1998: 306-313 | |
40 | Luigi Palopoli, Domenico Saccà, Domenico Ursino: Automatic Derivation of Terminological Properties from Database Schemes. DEXA 1998: 90-99 | |
39 | Nicola Leone, Luigi Palopoli, Domenico Saccà: On the Complexity of Search Queries. FMLDO 1998: 113-127 | |
38 | Angela Bonifati, Luigi Palopoli, Domenico Saccà, Domenico Ursino: Automatic Extraction of Database Scheme Semantic Properties Using Knowledge Discovery Techniques. IADT 1998: 392-399 | |
37 | Luigi Palopoli, Domenico Saccà, Domenico Ursino: Semi-Automatic Semantic Discovery of Properties from Database Schemas. IDEAS 1998: 244-253 | |
36 | Marco Cadoli, Luigi Palopoli, Francesco Scarcello: Propositional Lower Bounds: Generalization and Algorithms. JELIA 1998: 355-367 | |
35 | Angela Bonifati, Luigi Palopoli, Domenico Saccà, Domenico Ursino: Utilizzo della logica descrittiva per l'estrazione di proprietà terminologiche e strutturali complesse. SEBD 1998: 71-86 | |
34 | Sergio Flesca, Luigi Palopoli, Domenico Saccà, Domenico Ursino: An architecture for accessing a large number of autonomous, heterogeneous databases. Networking and Information Systems 1(4-5): 495-518 (1998) | |
33 | Marco Cadoli, Luigi Palopoli: Circumscribing DATALOG: Expressive Power and Complexity. Theor. Comput. Sci. 193(1-2): 215-244 (1998) | |
1997 | ||
32 | Marco Cadoli, Luigi Palopoli, Maurizio Lenzerini: Datalog and Description Logics: Expressive Power. APPIA-GULP-PRODE 1997: 333-344 | |
31 | Marco Cadoli, Luigi Palopoli, Maurizio Lenzerini: Datalog and Description Logics: Expressive Power. DBPL 1997: 281-298 | |
30 | Angela Bonifati, Luigi Palopoli, Domenico Saccà, Domenico Ursino: Discovering description logic assertions from database schemes. Description Logics 1997 | |
29 | Massimo La Camera, Luigi Palopoli, Domenico Saccà, Domenico Ursino: Knowledge Discovery su Schemi per l'Integrazione di Basi di Dati. SEBD 1997: 166-190 | |
28 | Rachel Ben-Eliyahu-Zohary, Luigi Palopoli: Reasoning with Minimal Models: Efficient Algorithms and Applications. Artif. Intell. 96(2): 421-449 (1997) | |
27 | Luigi Palopoli, Riccardo Torlone: Generalized Production Rules as a Basis for Integrating Active and Deductive Databases. IEEE Trans. Knowl. Data Eng. 9(6): 848-862 (1997) | |
26 | Fabrizio Angiulli, Luigi Palopoli, Riccardo Torlone: THE GPR System: An Architecture for Integrating Active and Deductive Rules on Complex Database Objects. TAPOS 3(4): 285-301 (1997) | |
1996 | ||
25 | Marco Cadoli, Luigi Palopoli, Maurizio Lenzerini: Datalog and Description Logics: Expressive Power - Preliminary Report. Description Logics 1996: 97-101 | |
24 | Rachel Ben-Eliyahu, Luigi Palopoli, Victoria Zemlyanker: The Expressive Power of Tractable Disjunction. ECAI 1996: 345-349 | |
23 | Luigi Palopoli, Carlo Zaniolo: Polynomial-Time Computable Stable Models. Ann. Math. Artif. Intell. 17(3-4): 261-290 (1996) | |
22 | Sergio Greco, Luigi Palopoli, Eugenio Spadafora: Querying Datalog with Arrays: Design and Implementation Issues. Journal of Systems Integration 6(4): 299-327 (1996) | |
1995 | ||
21 | Sergio Greco, Luigi Palopoli, Eugenio Spadafora: DatalogA: Array Manipulations in a Deductive Database Language. DASFAA 1995: 180-188 | |
20 | Francesco Buccafurri, Nicola Leone, Luigi Palopoli, Pasquale Rullo: Disjunctive Ordered Logic DEXA 1995: 303-312 | |
19 | Francesco Scarcello, Nicola Leone, Luigi Palopoli: Curbing Theories: Fixpoint Semantics and Complexity Issues. GULP-PRODE 1995: 545-556 | |
18 | Fabrizio Angiulli, F. De Marte, Luigi Palopoli, Riccardo Torlone: The GPR System: an Architecture for Integrating Active and Deductive Rules. SEBD 1995: 35-53 | |
17 | Sergio Greco, Luigi Palopoli, Eugenio Spadafora: Extending Datalog with Arrays. Data Knowl. Eng. 17(1): 31-57 (1995) | |
16 | Nicola Leone, Luigi Palopoli, Massimo Romeo: A Language for Updating Logic Programs and its Implementation. J. Log. Program. 23(1): 1-61 (1995) | |
1994 | ||
15 | Luigi Palopoli, Riccardo Torlone: Active and Passive Rules for Complex Object Databases. DEXA 1994: 390-399 | |
14 | Rachel Ben-Eliyahu, Luigi Palopoli: Reasoning with Minimal Models: Efficient Algorithms and Applications. KR 1994: 39-50 | |
13 | Luigi Palopoli, Riccardo Torlone: Modeling Database Applications Using Generalized Production Rules. RIDE-ADS 1994: 30-38 | |
12 | Luigi Palopoli, Riccardo Torlone: A Rule-Based Update Language for Complex Objects with Identity. Data Knowl. Eng. 13(1): 67-96 (1994) | |
11 | Nicola Leone, Luigi Palopoli, Massimo Romeo: Modifying Intensional Logic Knowledge. Fundam. Inform. 21(3): 183-203 (1994) | |
1993 | ||
10 | Luigi Palopoli, Carlo Zaniolo: Polynominal Time Computable Stable Models. ILPS 1993: 645 | |
9 | Nicola Leone, Luigi Palopoli, Massimo Romeo: Updating Logic Programs. ISMIS 1993: 235-244 | |
8 | Luigi Palopoli, Riccardo Torlone: Actions and Transactions on Complex Objects. SEBD 1993: 17-31 | |
7 | Alessandro Artale, Jean Paul Ballerini, Filippo Cacace, Stefano Ceri, Francesca Cesarini, Anna Formica, Herman Lam, Sergio Greco, G. Marrella, Michele Missikoff, Luigi Palopoli, L. Pichetti, Domenico Saccà, Silvio Salza, Claudio Sartori, Giovanni Soda, Letizia Tanca, M. Toiati: Prototypes in the LOGIDATA+ Project. LOGIDATA+: Deductive Databases with Complex Objects 1993: 252-273 | |
6 | Luigi Palopoli, Riccardo Torlone: Management of Extended Update Operations. LOGIDATA+: Deductive Databases with Complex Objects 1993: 60-78 | |
1992 | ||
5 | Luigi Palopoli, Riccardo Torlone: Specifying the Dynamics of Complex Object Databases. FMLDO 1992: 19-35 | |
4 | Luigi Palopoli: Testing Logic Programs for Local Stratification. Theor. Comput. Sci. 103(2): 205-234 (1992) | |
1991 | ||
3 | Sergio Greco, Luigi Palopoli, Pasquale Rullo: Netlog: A Logic Query Language for Network Model Databases. Data Knowl. Eng. 6: 183-203 (1991) | |
2 | Pasquale Legato, Giuseppe Paletta, Luigi Palopoli: Optimization of join strategies in distributed databases. Inf. Syst. 16(4): 363-374 (1991) | |
1990 | ||
1 | Luigi Palopoli: A new proof of undecidability of safety of logic queries. SIGACT News 21(4): 69-72 (1990) |