Computing Extensions of Default Theories. - François Lévy (ECSQARU, 1991)

Weak Extensions for Default Theories. - François Lévy (ECSQARU, 1993)

A survey of belief revision and updating in classical logic. - François Lévy (Int. J. Intell. Syst., 1994)

Representing Beliefs in a Situated Event Calculus. - François Lévy; Joachim Quantz (ECAI, 1998)

Monitoring and Alarm Interpretation in Industrial Environments. - Sylvie Cauvin; Marie-Odile Cordier; Christophe Dousson; Philippe Laborie; François Lévy; Jacky Montmain; Marc Porcheron; Isabelle Servet; Louise Travé-Massuyès (AI Commun., 1998)

Simulating faults in telecommunication network: Reasoning about uncertain propagation of events. - Aomar Osmani; François Lévy (CATA, 2000)

A Comparative Analysis of AI and Control Theory Approaches to Model-based Diagnosis. - Marie-Odile Cordier; Philippe Dague; Michel Dumas; François Lévy; Jacky Montmain; Marcel Staroswiecki; Louise Travé-Massuyès (ECAI, 2000)

A Constraint-Based Approach to Simulate Faults in Telecommunication Networks. - Aomar Osmani; François Lévy (IEA/AIE, 2000)

Distributed Model for an SDH Telecommunication Network Diagnosis. - Philippe Dague; Francine Krief; François Lévy; Aomar Osmani (IS, 2001)

Conflicts versus analytical redundancy relations: a comparative analysis of the model based diagnosis approach from the artificial intelligence and automatic control perspectives. - Marie-Odile Cordier; Philippe Dague; François Lévy; Jacky Montmain; Marcel Staroswiecki; Louise Travé-Massuyès (IEEE Trans. Syst. Man Cybern. Part B, 2004)

Web Services Subsumption with a Specific PDL. - Laure Bourgois; Alexandre Delteil; François Lévy (AICT/ICIW, 2006)

Challenging the principle of compositionality in interpreting natural language texts - Françoise Gayral; Daniel Kayser; François Lévy (CoRR, 2006)

The role of time in considering collections - Françoise Gayral; Daniel Kayser; François Lévy (CoRR, 2006)

Rapport technique du projet OGRE - Gérard Becher; Patrice Enjalbert; Estelle Fievé; Laurent Gosselin; François Lévy; Gérard Ligozat (CoRR, 2006)

A Formalism for Active and Informative Web Services. - Alexandre Delteil; Laure Bourgois; François Lévy (ICIW, 2007)

Annotation sémantique de documents pour la révision des règles métiers. - Abdoulaye Guissé; François Lévy; Adeline Nazarenko; Sylvie Szulman (TIA, 2009)

An Environment for the Joint Management of Written Policies and Business Rules. - François Lévy; Abdoulaye Guissé; Adeline Nazarenko; Nouha Omrane; Sylvie Szulman (ICTAI (2), 2010)

Annotation, indexation et parcours de documents numériques. Consulter, explorer et maintenir les textes réglementaires. - François Lévy; Adeline Nazarenko; Abdoulaye Guissé (Document Numérique, 2010)

Un moteur sémantique pour explorer des textes réglementaires. - Abdoulaye Guissé; François Lévy; Adeline Nazarenko (IC, 2011)

Reasoning with Annotations of Texts. - Yue Ma; François Lévy; Sudeep Ghimire (FLAIRS, 2011)

Integrating Written Policies in Business Rule Management Systems. - Adeline Nazarenko; Abdoulaye Guissé; François Lévy; Nouha Omrane; Sylvie Szulman (RuleML Europe, 2011)

From Regulatory Texts to BRMS: How to Guide the Acquisition of Business Rules? - Abdoulaye Guissé; François Lévy; Adeline Nazarenko (RuleML, 2012)

Formalization of Natural Language Regulations through SBVR Structured English - (Tutorial). - François Lévy; Adeline Nazarenko (RuleML, 2013)

Combining Acquisition and Debugging of Business Rule Models. - Adeline Nazarenko; François Lévy (RuleML, 2013)

Semantic Annotation in Specific Domains with rich Ontologies (Annotation sémantique pour des domaines spécialisés et des ontologies riches) [in French]. - Yue Ma 009; François Lévy; Adeline Nazarenko (TALN (1), 2013)

OMTAT Annotation Tool: Semantical Enrichment for Legal Document Search. - Sylvie Szulman; François Lévy; Ève Paul (TIA, 2015)

Towards a High-Level Controlled Language for Legal Sources on the Semantic Web. - Adam Z. Wyner; Adeline Nazarenko; François Lévy (CNL, 2016)

Advantage based value iteration for Markov decision processes with unknown rewards. - Pegah Alizadeh; Yann Chevaleyre; François Lévy (IJCNN, 2016)

Towards a Methodology for Formalizing Legal Texts in LegalRuleML. - Adeline Nazarenko; François Lévy; Adam Z. Wyner (JURIX, 2016)

Solving MDPs with Unknown Rewards Using Nondominated Vector-Valued Functions. - Pegah Alizadeh; Yann Chevaleyre; François Lévy (STAIRS, 2016)

Blog Annotation: From Corpus Analysis to Automatic Tag Suggestion. - Ivan Garrido-Marquez; Jorge García Flores; François Lévy; Adeline Nazarenko (Res. Comput. Sci., 2016)

Mesurer la qualité des systèmes de catégories de blogs. - Ivan Garrido-Marquez; Jorge García Flores; François Lévy; Adeline Nazarenko (IC, 2017)

On Annotation of the Textual Contents of Scottish Legal Instruments. - Adam Z. Wyner; Fraser Gough; François Lévy; Matt Lynch; Adeline Nazarenko (JURIX, 2017)

Controlling the Drift of Semantic Indexing Systems. - Ivan Garrido-Marquez; Jorge García Flores; François Lévy; Adeline Nazarenko (KEOD, 2018)

An Annotation Language for Semantic Search of Legal Sources. - Adeline Nazarenko; François Lévy; Adam Z. Wyner (LREC, 2018)

Combining Free Collaborative and Controlled Annotation in Social Media. - Ivan Garrido-Marquez; Adeline Nazarenko; François Lévy (SNAMS, 2019)

A Pragmatic Approach to Semantic Annotation for Search of Legal Texts - An Experiment on GDPR. - Adeline Nazarenko; François Lévy; Adam Wyner 001 (JURIX, 2021)