( en | de | ru )

 

Disambiguation of "Chatalic, Philippe"

Author of the publication

copydeleteadd this publication to your clipboard
ZRES: The Old Davis-Putman Procedure Meets ZBDD.

, and . CADE, volume 1831 of Lecture Notes in Computer Science, page 449-454. Springer, (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Philippe Zysset

Philippe Dreuw

Philippe Kersting

Philippe Bopp

Philippe Moisan

 

Other publications of authors with the same name

Scalability Study of Peer-to-Peer Consequence Finding., , , and . (2005)Multi-resolution on compressed sets of clauses., and . ICTAI, page 2-10. IEEE Computer Society, (2000)Keeping Track of Data Dependencies for Incremental Execution in Logic Programming.. LPE, page 6-11. (1990)SomeWhere in the Semantic Web., , , , and . PPSWR, volume 3703 of Lecture Notes in Computer Science, page 1-16. Springer, (2005)SomeWhere: A Scalable Peer-to-Peer Infrastructure for Querying Distributed Ontologies., , , , and . OTM Conferences (1), volume 4275 of Lecture Notes in Computer Science, page 698-703. Springer, (2006)Somewhere2 - A Robust Package for Collaborative Decentralized Consequence-Finding., and . IDC, volume 511 of Studies in Computational Intelligence, page 103-108. Springer, (2013)ZRES: The Old Davis-Putman Procedure Meets ZBDD., and . CADE, volume 1831 of Lecture Notes in Computer Science, page 449-454. Springer, (2000)Graded Default Logics., , and . ECSQARU, volume 548 of Lecture Notes in Computer Science, page 70-75. Springer, (1991)Viewing Hypothesis Theories as Constrained Graded Theories.. JELIA, volume 838 of Lecture Notes in Computer Science, page 261-278. Springer, (1994)Lattice-based Graded Logic: A Multimodal Approach., and . UAI, page 33-40. Morgan Kaufmann, (1992)