Keeping Track of Data Dependencies for Incremental Execution in Logic Programming. - Philippe Chatalic (LPE, 1990)

Graded Default Logics. - Christine Froidevaux; Philippe Chatalic; Jérôme Mengin (ECSQARU, 1991)

Graded Logics: A Framework for Uncertain and Defeasible Knowledge. - Philippe Chatalic; Christine Froidevaux (ISMIS, 1991)

Lattice-based Graded Logic: A Multimodal Approach. - Philippe Chatalic; Christine Froidevaux (UAI, 1992)

Viewing Hypothesis Theories as Constrained Graded Theories. - Philippe Chatalic (JELIA, 1994)

Graded Hypothesis Theories. - Philippe Chatalic; Christine Froidevaux; Camilla Schwind (Theor. Comput. Sci., 1997)

ZRES: The Old Davis-Putman Procedure Meets ZBDD. - Philippe Chatalic; Laurent Simon (CADE, 2000)

Multi-resolution on compressed sets of clauses. - Philippe Chatalic; Laurent Simon (ICTAI, 2000)

SatEx: A Web-based Framework for SAT Experimentation. - Laurent Simon; Philippe Chatalic (Electron. Notes Discret. Math., 2001)

Multiresolution for SAT Checking. - Philippe Chatalic; Laurent Simon (Int. J. Artif. Intell. Tools, 2001)

Distributed Reasoning in a Peer-to-Peer Setting. - Philippe Adjiman; Philippe Chatalic; François Goasdoué; Marie-Christine Rousset; Laurent Simon (ECAI, 2004)

Scalability Study of Peer-to-Peer Consequence Finding. - Philippe Adjiman; Philippe Chatalic; François Goasdoué; Marie-Christine Rousset; Laurent Simon (IJCAI, 2005)

Reasoning with Inconsistencies in Propositional Peer-to-Peer Inference Systems. - Philippe Chatalic; Gia Hien Nguyen; Marie-Christine Rousset (ECAI, 2006)

SomeWhere: A Scalable Peer-to-Peer Infrastructure for Querying Distributed Ontologies. - Marie-Christine Rousset; Philippe Adjiman; Philippe Chatalic; François Goasdoué; Laurent Simon (OTM Conferences (1), 2006)

SomeWhere in the Semantic Web. - Marie-Christine Rousset; Philippe Adjiman; Philippe Chatalic; François Goasdoué; Laurent Simon (SOFSEM, 2006)

Distributed Reasoning in a Peer-to-Peer Setting: Application to the Semantic Web. - Philippe Adjiman; Philippe Chatalic; François Goasdoué; Marie-Christine Rousset; Laurent Simon (J. Artif. Intell. Res., 2006)

A probabilistic trust model for semantic peer-to-peer systems. - Gia Hien Nguyen; Philippe Chatalic; Marie-Christine Rousset (ECAI, 2008)

WebContent: efficient P2P Warehousing of web data. - Serge Abiteboul; Tristan Allard; Philippe Chatalic; Georges Gardarin; A. Ghitescu; François Goasdoué; Ioana Manolescu; Benjamin Nguyen; M. Ouazara; A. Somani; Nicolas Travers; Gabriel Vasile; et al. (Proc. VLDB Endow., 2008)

Somewhere2 - A Robust Package for Collaborative Decentralized Consequence-Finding. - Philippe Chatalic; André de Amorim Fonseca (IDC, 2013)

A Multi-Layered Architecture for Collaborative and Decentralized Consequence Finding. - Philippe Chatalic; André de Amorim Fonseca (Comput. Informatics, 2015)

Argumentation and Inconsistency-Tolerant Reasoning. - Leila Amgoud; Philippe Besnard; Claudette Cayrol; Philippe Chatalic; Marie-Christine Lagasquie-Schiex (A Guided Tour of Artificial Intelligence Research (1) (I), 2020)

Transducer Cascades for Biological Literature-Based Discovery. - Denis Maurel; Sandy Chéry; Nicole Bidoit; Philippe Chatalic; Aziza Filali; Christine Froidevaux; Anne Poupon (Inf., 2022)