Databases Reference
In-Depth Information
118. Leone, N., Gottlob, G., Rosati, R., Eiter, T., Faber, W., Fink, M., Greco, G., Ianni, G., Kałka,
E., Lembo, D., Lenzerini, M., Lio, V., Nowicki, B., Ruzzi, M., Staniszkis, W., Terracina,
G.: The INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data.
In: Proceedings of the 24th ACM SIGMOD International Conference on Management of
Data (SIGMOD 2005), Baltimore, Maryland, USA, pp. 915-917. ACM Press (June 2005)
119. Lembo, D., Lenzerini, M., Rosati, R.: Source Inconsistency and Incompleteness in Data In-
tegration. In: Proceedings of the Knowledge Representation meets Databases International
Workshop (KRDB 2002), Toulouse France, CEUR Electronic Workshop Proceedings
120. Lembo, D., Lenzerini, M., Rosati, R.: Integrating Inconsistent and Incomplete Data
Sources. In: Proceedings of SEBD 2002, Portoferraio, Isola d'Elba, pp. 299-308 (2002)
121. Soininen, T., Niemela, I.: Developing a Declarative Rule Language for Applications in
Product Configuration. In: Gupta, G. (ed.) PADL 1999. LNCS, vol. 1551, pp. 305-319.
Springer, Heidelberg (1999)
122. A Rule-Based Formal Model for Software Configuration. Technical Report A55, Digital
Systems Laboratory, Department of Computer Science, Helsinki University of Technology,
Espoo, Finland (1999)
123. Ruffolo, M., Leone, N., Manna, M., Sacca, D., Zavatto, A.: Exploiting ASP for Semantic
Information Extraction. In: de Vos, M., Provetti, A. (eds.) Proceedings ASP 2005 - Answer
Set Programming: Advances in Theory and Implementation, Bath, UK, pp. 248-262 (July
2005)
124. Cumbo, C., Iiritano, S., Rullo, P.: Reasoning-Based Knowledge Extraction for Text Classi-
fication. In: Proceedings of Discovery Science, 7th International Conference, Padova, Italy,
pp. 380-387 (October 2004)
125. Curia, R., Ettorre, M., Gallucci, L., Iiritano, S., Rullo, P.: Textual Document Pre-Processing
and Feature Extraction in OLEX. In: Proceedings of Data Mining 2005, Skiathos, Greece
(2005)
126. Aiello, L.C., Massacci, F.: Verifying security protocols as planning in logic programming.
ACM Transactions on Computational Logic 2(4), 542-580 (2001)
127. Baral, C., Uyan, C.: Declarative Specification and Solution of Combinatorial Auctions Us-
ing Logic Programming. In: Eiter, T., Faber, W., Truszczynski, M. (eds.) LPNMR 2001.
LNCS (LNAI), vol. 2173, pp. 186-199. Springer, Heidelberg (2001)
128. Faber, W., Leone, N., Pfeifer, G.: Representing School Timetabling in a Disjunctive Logic
Programming Language. In: Egly, U., Tompits, H. (eds.) Proceedings of the 13th Workshop
on Logic Programming (WLP 1998), Vienna, Austria, pp. 43-52 (October 1998)
129. Bertino, E., Mileo, A., Provetti, A.: User Preferences VS Minimality in PPDL. In: Bucca-
furri, F. (ed.): Proceedings of the Joint Conference on Declarative Programming APPIA-
GULP-PRODE 2003, pp. 110-122 (September 2003)
130. Greco, G., Guzzo, A., Sacca, D.: A Logic Programming Approach for Planning Workflows
Evolutions. In: Buccafurri, F. (ed.): Proceedings of the Joint Conference on Declarative
Programming APPIA-GULP-PRODE 2003, pp. 75-85 (September 2003)
131. Greco, G., Greco, S., Zumpano, E.: A Logical Framework for Querying and Repairing
Inconsistent Databases. IEEE Transactions on Knowledge and Data Engineering 15(6),
1389-1408 (2003)
132. Erdem, E., Lifschitz, V., Nakhleh, L., Ringe, D.: Reconstructing the Evolutionary History of
Indo-European Languages Using Answer Set Programming. In: Dahl, V. (ed.) PADL 2003.
LNCS, vol. 2562, pp. 160-176. Springer, Heidelberg (2002)
133. Buccafurri, F., Caminiti, G.: A Social Semantics for Multi-agent Systems. In: Baral, C.,
Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol. 3662,
pp. 317-329. Springer, Heidelberg (2005)
