| 2008 |
20 | | Gia Hien Nguyen,
Philippe Chatalic,
Marie-Christine Rousset:
A probabilistic trust model for semantic peer to peer systems.
DaMaP 2008: 59-65 |
19 | | Gia Hien Nguyen,
Philippe Chatalic,
Marie-Christine Rousset:
A probabilistic trust model for semantic peer-to-peer systems.
ECAI 2008: 881-882 |
18 | | 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.
PVLDB 1(2): 1428-1431 (2008) |
| 2006 |
17 | | Philippe Chatalic,
Gia Hien Nguyen,
Marie-Christine Rousset:
Reasoning with Inconsistencies in Propositional Peer-to-Peer Inference Systems.
ECAI 2006: 352-356 |
16 | | 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: 698-703 |
15 | | Marie-Christine Rousset,
Philippe Adjiman,
Philippe Chatalic,
François Goasdoué,
Laurent Simon:
SomeWhere in the Semantic Web.
SOFSEM 2006: 84-99 |
14 | | 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. (JAIR) 25: 269-314 (2006) |
| 2005 |
13 | | Philippe Adjiman,
Philippe Chatalic,
François Goasdoué,
Marie-Christine Rousset,
Laurent Simon:
Scalability Study of Peer-to-Peer Consequence Finding.
IJCAI 2005: 351-356 |
12 | | Philippe Adjiman,
Philippe Chatalic,
François Goasdoué,
Marie-Christine Rousset,
Laurent Simon:
SomeWhere in the Semantic Web.
PPSWR 2005: 1-16 |
| 2004 |
11 | | Philippe Adjiman,
Philippe Chatalic,
François Goasdoué,
Marie-Christine Rousset,
Laurent Simon:
Distributed Reasoning in a Peer-to-Peer Setting.
ECAI 2004: 945-946 |
| 2001 |
10 | | Laurent Simon,
Philippe Chatalic:
SatEx: A Web-based Framework for SAT Experimentation.
Electronic Notes in Discrete Mathematics 9: 129-149 (2001) |
9 | | Philippe Chatalic,
Laurent Simon:
Multiresolution for SAT Checking.
International Journal on Artificial Intelligence Tools 10(4): 451-481 (2001) |
| 2000 |
8 | | Philippe Chatalic,
Laurent Simon:
ZRES: The Old Davis-Putman Procedure Meets ZBDD.
CADE 2000: 449-454 |
7 | | Philippe Chatalic,
Laurent Simon:
Multi-resolution on compressed sets of clauses.
ICTAI 2000: 2-10 |
| 1997 |
6 | | Philippe Chatalic,
Christine Froidevaux,
Camilla Schwind:
Graded Hypothesis Theories.
Theor. Comput. Sci. 171(1-2): 247-280 (1997) |
| 1994 |
5 | | Philippe Chatalic:
Viewing Hypothesis Theories as Constrained Graded Theories.
JELIA 1994: 261-278 |
| 1992 |
4 | | Philippe Chatalic,
Christine Froidevaux:
Lattice-based Graded Logic: A Multimodal Approach.
UAI 1992: 33-40 |
| 1991 |
3 | | Christine Froidevaux,
Philippe Chatalic,
Jérôme Mengin:
Graded Default Logics.
ECSQARU 1991: 70-75 |
2 | | Philippe Chatalic,
Christine Froidevaux:
Graded Logics: A Framework for Uncertain and Defeasible Knowledge.
ISMIS 1991: 479-489 |
| 1990 |
1 | | Philippe Chatalic:
Keeping Track of Data Dependencies for Incremental Execution in Logic Programming.
LPE 1990: 6-11 |