Book chapters:
[1]
Imperfect Information
Representation through Extended Logic Programs in Bilattices.
In Uncertainty and Intelligent Information Systems, B.Bouchon-Meunier,
R.R. Yager, C. Marsala, and M. Rifqi (Eds.),
World Scientific, ISBN
978-981-279-234-1, 2008
Articles in refereed journals:
[2] Hypothesis-based semantics of logic programs in multivalued logics.
ACM Transactions on Computational Logic 15(3),
2004, pp. 508-527 (with Y. Loyer and
[3]
Parameterized Semantics for Logic Programs - a Unifying Framework.
Theoretical Computer Science 308(1-3), 2003, pp.
429-447 (with Y. Loyer and
[4]
Interfacing Decision Support Systems under Incomplete Information.
International
Journal Information Theories and Applications 7(1), 2000, pp. 38-48 (with Y. Loyer and N.Spyratos)
[5]
Deterministic Enforcement of Constraints.
Programming and Computer Software 24, 1998, pp.
71-83 (with D. Laurent and N. Spyratos)
[6]
Answer-Perturbation Techniques for the Protection of Statistical
Databases.
Statistics and Computing 5, 1995, pp. 203-213
(with H. Luchian)
Scientific Annals of "Alexandru Ioan Cuza"
University of Iasi, vol. 1 (Computer Science), 1992, pp. 41-55 (with H. Luchian)
Articles in refereed
international conference proceedings:
[8] Default reasoning with
imperfect information in multivalued logics.
Proceedings of the 38th IEEE International Symposium
on Multiple-Valued Logics (IEEE ISMVL 08), 2008
[9] Reduction in Dimensions
and Clustering using Risk and Return Model
Proceedings of the IEEE International Symposium
on Data Mining and Information Retrieval
(IEEE DMIR07), 2007, to appear, (with S.W. Qaiyumi)
[10]Representing Imperfect
Information through Extended Logic Programs in Multivalued
Logics.
Proceedings of the 11th biennial Conference on
Information Processing and Management of Uncertainty in
Knowledge-Based Systems
(IPMU 06), 2006
[11]Assumption based
Multiple-Valued Semantics for Extended Logic Programs.
Proceedings of the 36th IEEE International Symposium
on Multiple-Valued Logics (IEEE ISMVL 06), 2006
[12]Extended Deductive
Databases with Uncertain Information.
Proceedings of the 7th International Conference
on Enformatika Systems Sciences and
Engineering,
2005, pp. 72-77
[13]
Hypothesis Support for Information Integration in Four-Valued Logics.
Proceedings of IFIP International
Conference on Theoretical Computer Science,
LNCS No. 1872 (Springer Verlag),
2000, pp. 536-548 (with Y. Loyer and N. Spyratos)
[14]Integration
of Information in Four-Valued Logics under Non-Uniform Assumptions.
Proceedings of the 30th IEEE International
Symposium on Multiple-Valued Logics,
2000, pp. 185-191 (with Y. Loyer
and
[15]Hypotheses Based
Semantics for Information Integration in Four-valued Logics.
Proceedings of the FICS2000 Workshop (Fixed
Points in Computer Science), 2000
(with Y. Loyer and
[16]Interfacing
Decision Support Systems under Incomplete Information.
Proceedings of the 25th International Conference
on Information and Communication Technologies
and Programming, 2000, pp. 21-31 (with Y. Loyer and
[17]Computing and Comparing
Semantics of Programs in Four-valued Logics.
Proceedings of the the
24th International Symposium on Mathematical Foundations of Comp. Science,
LNCS No. 1672 (Springer Verlag),
1999, pp. 59-69 (with Y. Loyer and N. Spyratos)
[18]Semantics
and Containment of Queries with Internal and External conjunctions.
Proceedings of the 6th International Conference
on Database Theory, LNCS No. 1186
(Springer Verlag),
1997, pp. 71-82 (with G. Grahne and
[19]Multivalued
Stable Semantics for Updating Databases with
Uncertain Information.
Information Modelling and Knowledge Bases, VIII,
IOS Press, 1997, pp. 129-144 (with
[20]Semantics
and Containment of Queries in Multimedia Information Systems.
Proceedings of the 2nd International Workshop on
Multimedia Information Systems,
West Point, USA, pp. 82-87 (with G. Grahne and N. Spyratos)
[21]A
Class of Active Database Constraints.
Proceedings of the International Conference on
Information Technology '96, 1996
(with M. Halfeld Ferrari Alves, D. Laurent
and
[22]A
general Model for the Answer-Perturbation Techniques.
Proceedings of the 7th International Working
Conference on Scientific and Statistical Database
Management, 1994, pp. 90-96 (with H. Luchian and B. Peacher)
[23]Statistical
Protection for Statistical Databases.
Proceedings of the 6th International Working
Conference on Scientific and Statistical
Database
Management,
[24]Test d'Hypothèses pour
l'Intégration d'Informations en Logique à Quatre Valeurs (in French)
Proceedings of
JFPLC'2000 (Journées Francophones de Programmation Logique et Programmation
par Contraintes), Hermes,
2000, pp. 265-278 (with Y. Loyer and
N. Spyratos)
[25]Unification des Semantiques Usuelles de Programmes Logiques (in French)
Proceedings of
JFPLC'98 (Journées Francophones de Programmation Logique et Programmation
par Contraintes), Hermes,
1998, pp. 135-150 (with Y. Loyer and
N. Spyratos)
[26]Bases de Données avec
Informations Incertaines. Sémantique et Mises à Jour (in French)
Proceedings of
JFPLC'96 (Journées Francophones de Programmation Logique et Programmation
par Contraintes), Hermes,
1996, pp. 49-63 (with N. Spyratos)
Research reports:
[27]Update Rules and
Revision Programs.
LIFO Research report no. 95-21,
(with M. Halfeld
Ferrari Alves, D. Laurent and
[28]Multivalued
Stable Semantics for Updating Incomplete Information
Databases.
LRI Research
report no. 991, Université de Paris-Sud,
[29]Unification des Semantiques Usuelles de Programmes Logiques.
LRI Research report no. 1179, Université de Paris-Sud,
(with Y. Loyer and
Theses:
[30]Applications of Multivalued Logics in Databases with Uncertainty (in
French)
PhD Thesis, University of Paris-South 11, Laboratoire de Recherche en Informatique LRI, Orsay, France, 1999