Philippe Chatalic

Publication Activity (10 Years)

Years Active: 1990-2022
Publications (10 Years): 1

Top Topics

Predicate Logic

Consequence Finding

Layered Architecture

Prime Implicants

Top Venues

Comput. Informatics

Publications

Denis Maurel, Sandy Chéry, Nicole Bidoit, Philippe Chatalic, Aziza Filali, Christine Froidevaux, Anne Poupon
Transducer Cascades for Biological Literature-Based Discovery. Inf. 13 (5) (2022)
Philippe Chatalic, André de Amorim Fonseca
A Multi-Layered Architecture for Collaborative and Decentralized Consequence Finding. Comput. Informatics 34 (1) (2015)
Philippe Chatalic, André de Amorim Fonseca
Somewhere2 - A Robust Package for Collaborative Decentralized Consequence-Finding. IDC (2013)
Philippe Chatalic, Christine Froidevaux
Lattice-Based Graded Logic: a Multimodal Approach CoRR (2013)
Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon
Distributed Reasoning in a Peer-to-Peer Setting: Application to the Semantic Web CoRR (2011)
Gia Hien Nguyen, Philippe Chatalic, Marie-Christine Rousset
A probabilistic trust model for semantic peer to peer systems. DaMaP (2008)
Gia Hien Nguyen, Philippe Chatalic, Marie-Christine Rousset
A probabilistic trust model for semantic peer-to-peer systems. ECAI (2008)
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
WebContent: efficient P2P Warehousing of web data. Proc. VLDB Endow. 1 (2) (2008)
Philippe Chatalic, Gia Hien Nguyen, Marie-Christine Rousset
Reasoning with Inconsistencies in Propositional Peer-to-Peer Inference Systems. ECAI (2006)
Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon
Distributed Reasoning in a Peer-to-Peer Setting: Application to the Semantic Web. J. Artif. Intell. Res. 25 (2006)
Marie-Christine Rousset, Philippe Adjiman, Philippe Chatalic, François Goasdoué, Laurent Simon
SomeWhere in the Semantic Web. SOFSEM (2006)
Marie-Christine Rousset, Philippe Adjiman, Philippe Chatalic, François Goasdoué, Laurent Simon
SomeWhere: A Scalable Peer-to-Peer Infrastructure for Querying Distributed Ontologies. OTM Conferences (1) (2006)
Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon
Scalability Study of Peer-to-Peer Consequence Finding. IJCAI (2005)
Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon
SomeWhere in the Semantic Web. PPSWR (2005)
Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon
Distributed Reasoning in a Peer-to-Peer Setting. ECAI (2004)
Laurent Simon, Philippe Chatalic
SatEx: A Web-based Framework for SAT Experimentation. Electron. Notes Discret. Math. 9 (2001)
Philippe Chatalic, Laurent Simon
Multiresolution for SAT Checking. Int. J. Artif. Intell. Tools 10 (4) (2001)
Philippe Chatalic, Laurent Simon
ZRES: The Old Davis-Putman Procedure Meets ZBDD. CADE (2000)
Philippe Chatalic, Laurent Simon
Multi-resolution on compressed sets of clauses. ICTAI (2000)
Philippe Chatalic, Christine Froidevaux, Camilla Schwind
Graded Hypothesis Theories. Theor. Comput. Sci. 171 (1-2) (1997)
Philippe Chatalic
Viewing Hypothesis Theories as Constrained Graded Theories. JELIA (1994)
Philippe Chatalic, Christine Froidevaux
Lattice-based Graded Logic: A Multimodal Approach. UAI (1992)
Christine Froidevaux, Philippe Chatalic, Jérôme Mengin
Graded Default Logics. ECSQARU (1991)
Philippe Chatalic, Christine Froidevaux
Graded Logics: A Framework for Uncertain and Defeasible Knowledge. ISMIS (1991)
Philippe Chatalic
Keeping Track of Data Dependencies for Incremental Execution in Logic Programming. LPE (1990)