Philippe Chatalic

According to our database, Philippe Chatalic authored at least 21 papers between 1990 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Transducer Cascades for Biological Literature-Based Discovery.

Denis Maurel, Sandy Chéry, Nicole Bidoit, Philippe Chatalic, Aziza Filali, Christine Froidevaux, Anne Poupon

Inf., 2022

2015

A Multi-Layered Architecture for Collaborative and Decentralized Consequence Finding.

Philippe Chatalic, André de Amorim Fonseca

Comput. Informatics, 2015

2013

Somewhere2 - A Robust Package for Collaborative Decentralized Consequence-Finding.

Philippe Chatalic, André de Amorim Fonseca

Proceedings of the Intelligent Distributed Computing VII, 2013

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, Spyros Zoupanos

Proc. VLDB Endow., 2008

A probabilistic trust model for semantic peer-to-peer systems.

Gia Hien Nguyen, Philippe Chatalic, Marie-Christine Rousset

Proceedings of the ECAI 2008, 2008

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

SomeWhere: A Scalable Peer-to-Peer Infrastructure for Querying Distributed Ontologies.

Marie-Christine Rousset, Philippe Adjiman, Philippe Chatalic, François Goasdoué, Laurent Simon

Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

Reasoning with Inconsistencies in Propositional Peer-to-Peer Inference Systems.

Philippe Chatalic, Gia Hien Nguyen, Marie-Christine Rousset

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2005

SomeWhere in the Semantic Web.

Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2005

Scalability Study of Peer-to-Peer Consequence Finding.

Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

2004

Distributed Reasoning in a Peer-to-Peer Setting.

Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2001

Multiresolution for SAT Checking.

Philippe Chatalic, Laurent Simon

Int. J. Artif. Intell. Tools, 2001

SatEx: A Web-based Framework for SAT Experimentation.

Laurent Simon, Philippe Chatalic

Electron. Notes Discret. Math., 2001

2000

Multi-resolution on compressed sets of clauses.

Philippe Chatalic, Laurent Simon

Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 2000

ZRES: The Old Davis-Putman Procedure Meets ZBDD.

Philippe Chatalic, Laurent Simon

Proceedings of the Automated Deduction, 2000

1997

Graded Hypothesis Theories.

Philippe Chatalic, Christine Froidevaux, Camilla Schwind

Theor. Comput. Sci., 1997

1994

Viewing Hypothesis Theories as Constrained Graded Theories.

Philippe Chatalic

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1994

1992

Lattice-based Graded Logic: A Multimodal Approach.

Philippe Chatalic, Christine Froidevaux

Proceedings of the UAI '92: Proceedings of the Eighth Annual Conference on Uncertainty in Artificial Intelligence, 1992

1991

Graded Logics: A Framework for Uncertain and Defeasible Knowledge.

Philippe Chatalic, Christine Froidevaux

Proceedings of the Methodologies for Intelligent Systems, 6th International Symposium, 1991

Graded Default Logics.

Christine Froidevaux, Philippe Chatalic, Jérôme Mengin

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1991

1990

Keeping Track of Data Dependencies for Incremental Execution in Logic Programming.

Philippe Chatalic

Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, 1990