-
L. Langevine,
P. Deransart,
and M. Ducassé.
A Generic Trace Schema for the Portability of CP(FD) Debugging Tools.
In J. Vancza,
K. Apt,
F. Fages,
F. Rossi,
and P. Szeredi, editors, Recent advances in Constraint Programming,
pages 171-195.
Springer-Verlag, Lecture Notes in Artificial Intelligence 3010,
2004.
@InCollection{langevine04,
Author={L. Langevine and P. Deransart and M. Ducassé},
Title={A Generic Trace Schema for the Portability of CP(FD) Debugging Tools},
BookTitle={Recent advances in Constraint Programming},
Editor={J. Vancza and K. Apt and F. Fages and F. Rossi and P. Szeredi},
Publisher={Springer-Verlag, Lecture Notes in Artificial Intelligence 3010},
pages = {171--195},
Year={2004}
}
-
Hervé Debar,
B. Morin,
Frédéric Cuppens,
Fabien Autrel,
Ludovic Mé,
Bernard Vivinis,
Salem Benferhat,
M. Ducassé,
and Rodolphe Ortalo.
Corrélation d'alertes en détection d'intrusions.
Technique et Science Informatiques,
23(3):323-358,
2004.
@Article{debar04,
Author={Hervé Debar and B. Morin and Frédéric Cuppens and Fabien Autrel and Ludovic Mé and Bernard Vivinis and Salem Benferhat and M. Ducassé and Rodolphe Ortalo},
Title={Corrélation d'alertes en détection d'intrusions},
Journal = {Technique et Science Informatiques},
volume = "23",
number = "3",
pages = "323--358",
year = "2004"
}
-
Sébastien Ferré and Olivier Ridoux.
An Introduction to Logical Information Systems.
Information Processing & Management,
40(3):383-419,
2004.
Keyword(s): information systems,
information search,
retrieval,
query formulation,
representation languages,
deduction,
theorem proving.
Abstract: |
Logical information systems (LIS) use logic in a uniform way to describe their contents, to query it, to navigate through it, to analyze it, and to maintain it. They can be given an abstract specification that does not depend on the choice of a particular logic, and concrete instances can be obtained by instantiating this specification with a particular logic. In fact, a logic plays in a LIS the role of a schema in databases. We present the principles of LIS, the constraints they impose on the expression of logics, and hints for their effective implementation. |
@Article{FerRid2004,
author = {Sébastien Ferré and Olivier Ridoux},
title = {An Introduction to Logical Information Systems},
journal = {Information Processing \& Management},
year = {2004},
volume = {40},
number = {3},
pages = {383--419},
abstract = {Logical information systems (LIS) use logic in a uniform way to describe their contents, to query it, to navigate through it, to analyze it, and to maintain it. They can be given an abstract specification that does not depend on the choice of a particular logic, and concrete instances can be obtained by instantiating this specification with a particular logic. In fact, a logic plays in a LIS the role of a schema in databases. We present the principles of LIS, the constraints they impose on the expression of logics, and hints for their effective implementation.},
keywords = {information systems; information search; retrieval; query formulation; representation languages; deduction; theorem proving},
}
-
Jeanne Villaneau,
Olivier Ridoux,
and Jean-Yves Antoine.
LOGUS : un système formel de compréhension de l'oral spontané.
RIA --- Revue d'Intelligence Artificielle, (à paraître),
2004.
@article{VRA-RIA2004,
author = {Jeanne Villaneau and Olivier Ridoux and Jean-Yves Antoine},
title = {LOGUS : un système formel de compréhension de l'oral spontané},
journal = "RIA --- Revue d'Intelligence Artificielle, (à paraître)",
year = 2004
}
-
D. Bechet,
A. Dikovsky,
A. Foret,
and E. Moreau.
On learning discontinuous dependencies from positive data.
In Proceedings of the Formal Grammar Conference (FG 2004),
August 2004.
@InProceedings{Foret04b,
author = {D. Bechet and A. Dikovsky and A. Foret and E. Moreau},
title = {On learning discontinuous dependencies from positive data},
booktitle = {Proceedings of the Formal Grammar Conference (FG~2004)},
month = aug,
year = 2004
}
-
Denis Bechet and Annie Foret.
On Intermediate Structures for Non-Associative Lambek Grammars and Learnability.
In Proceedings of the CG 2004 Conference : Categorial Grammars An efficient tool for Natural Language Processing,
June 2004.
@InProceedings{Foret04a,
author = {Denis Bechet and Annie Foret},
title = {On Intermediate Structures for Non-Associative {L}ambek Grammars and Learnability},
booktitle = {Proceedings of the CG 2004 Conference : Categorial Grammars "An efficient tool for Natural Language Processing" },
month = jun,
year = 2004
}
-
D. Bechet,
A. Foret,
and I. Tellier.
Learnability of Pregroup Grammars.
In Proceedings of the International Conference of grammatical Inference (ICGI 2004), LNAI 3264,
October 2004.
@InProceedings{Foret04c,
author = {D. Bechet and A. Foret and I. Tellier},
title = {Learnability of Pregroup Grammars},
booktitle = {Proceedings of the International Conference of grammatical Inference (ICGI~2004), LNAI 3264},
month = oct,
year = 2004
}
-
Sébastien Ferré and R. D. King.
BLID: an Application of Logical Information Systems to Bioinformatics.
In P. Eklund, editor,
Int. Conf. Formal Concept Analysis,
LNCS 2961,
pages 47-54,
2004.
Springer.
Keyword(s): logical concept analysis,
information system,
bioinformatics.
Abstract: |
BLID (Bio-Logical Intelligent Database) is a bioinformatic system designed to help biologists extract new knowledge from raw genome data by providing high-level facilities for both data browsing and analysis. We describe BLIDrsquos novel data browsing system which is based on the idea of Logical Information Systems. This enables combined querying and navigation of data in BLID (extracted from public bioinformatic repositories). The browsing language is a logic especially designed for bioinformatics. It currently includes sequence motifs, taxonomies, and macromolecule structures, and it is designed to be easily extensible, as it is composed of reusable components. Navigation is tightly combined with this logic, and assists users in browsing a genome through a form of human-computer dialog. |
@InProceedings{FerKin2004a,
author = {Sébastien Ferré and R. D. King},
title = {{BLID}: an Application of Logical Information Systems to Bioinformatics},
booktitle = {Int. Conf. Formal Concept Analysis},
pages = {47--54},
year = {2004},
series = {LNCS 2961},
editor = "P. Eklund",
publisher = {Springer},
keywords = {logical concept analysis, information system, bioinformatics},
abstract = {BLID (Bio-Logical Intelligent Database) is a bioinformatic system designed to help biologists extract new knowledge from raw genome data by providing high-level facilities for both data browsing and analysis. We describe BLIDrsquos novel data browsing system which is based on the idea of Logical Information Systems. This enables combined querying and navigation of data in BLID (extracted from public bioinformatic repositories). The browsing language is a logic especially designed for bioinformatics. It currently includes sequence motifs, taxonomies, and macromolecule structures, and it is designed to be easily extensible, as it is composed of reusable components. Navigation is tightly combined with this logic, and assists users in browsing a genome through a form of human-computer dialog.},
}
-
L. Langevine and M. Ducassé.
A tracer driver to enable debugging, monitoring and visualization of CLP executions from a single tracer.
In B. Demoen and V. Lifschtitz, editors,
Proceedings of the International Conference on Logic Programming,
pages 462-463,
September 2004.
Lecture Notes in Computer Science 3132, Springer-Verlag.
Note: Poster.
@InProceedings{langevine04c,
Author={L. Langevine and M. Ducassé},
Title={A tracer driver to enable debugging, monitoring and visualization of CLP executions from a single tracer},
BookTitle={Proceedings of the International Conference on Logic Programming},
Year={2004},
Editor={B. Demoen and V. Lifschtitz},
Publisher={Lecture Notes in Computer Science 3132, Springer-Verlag},
Pages = {462-463},
Month={September},
Note={Poster}
}
-
L. Langevine and M. Ducassé.
Un pilote de traceur pour la PLC. Déboguer, auditer et visualiser une exécution avec un même traceur.
In F. Mesnard, editor,
Actes des Journées Francophones de Programmation en Logique avec Contraintes,
pages 19-36,
Juin 2004.
HERMES Science Publications.
@InProceedings{langevine04b,
Author={L. Langevine and M. Ducassé},
Title={Un pilote de traceur pour la PLC. Déboguer, auditer et visualiser une exécution avec un m\^eme traceur},
Pages={19-36},
BookTitle={Actes des Journées Francophones de Programmation en Logique avec Contraintes},
Year={2004},
Editor={F. Mesnard},
Publisher={HERMES Science Publications},
Month={Juin}
}
-
Benjamin Sigonneau and Olivier Ridoux.
Indexation multiple et automatisée de composants logiciels orientés objet.
In AFADL --- Approches Formelles dans l'Assistance au Développement de Logiciels,
2004.
@inproceedings{RS-AFADL2004,
author = {Benjamin Sigonneau and Olivier Ridoux},
title = {Indexation multiple et automatisée de composants logiciels orientés objet},
booktitle = {AFADL --- Approches Formelles dans l'Assistance au Développement de Logiciels},
year = 2004
}
-
E. Tombini,
H. Debar,
L. Mé,
and M. Ducassé.
A serial combination of anomaly and misuse IDSes applied to HTTP traffic.
In D. Thomsen and C. Schuba, editors,
Proceedings of the Annual Computer Security Applications Conference,
December 2004.
@InProceedings{tombini04,
Author={E. Tombini and H. Debar and L. Mé and M. Ducassé},
Title={A serial combination of anomaly and misuse {IDSes} applied to {HTTP} traffic},
BookTitle={Proceedings of the Annual Computer Security Applications Conference},
Year={2004},
Editor={D. Thomsen and C. Schuba},
Month={December}
}