Philippe Chatalic

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
17EEGia Hien Nguyen, Philippe Chatalic, Marie-Christine Rousset: A probabilistic trust model for semantic peer to peer systems. DaMaP 2008: 59-65
2006
16 Philippe Chatalic, Gia Hien Nguyen, Marie-Christine Rousset: Reasoning with Inconsistencies in Propositional Peer-to-Peer Inference Systems. ECAI 2006: 352-356
15EEMarie-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
14EEMarie-Christine Rousset, Philippe Adjiman, Philippe Chatalic, François Goasdoué, Laurent Simon: SomeWhere in the Semantic Web. SOFSEM 2006: 84-99
13EEPhilippe 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
12EEPhilippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon: Scalability Study of Peer-to-Peer Consequence Finding. IJCAI 2005: 351-356
11EEPhilippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon: SomeWhere in the Semantic Web. PPSWR 2005: 1-16
2004
10 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
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
7EEPhilippe Chatalic, Laurent Simon: Multi-resolution on compressed sets of clauses. ICTAI 2000: 2-10
1997
6EEPhilippe 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
4EEPhilippe 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

Coauthor Index

1Philippe Adjiman [10] [11] [12] [13] [14] [15]
2Christine Froidevaux [2] [3] [4] [6]
3François Goasdoué [10] [11] [12] [13] [14] [15]
4Jérôme Mengin [3]
5Gia Hien Nguyen [16] [17]
6Marie-Christine Rousset [10] [11] [12] [13] [14] [15] [16] [17]
7Camilla Schwind [6]
8Laurent Simon [7] [8] [9] [10] [11] [12] [13] [14] [15]

Colors in the list of coauthors

Copyright © Fri Oct 3 18:41:27 2008 by Michael Ley (ley@uni-trier.de)