1. P. Codognet (Editeur),
Proceedings of ICLP’2001, 17th
International Conference on Logic Programming, LNCS 2237, Springer Verlag,
November 2001.
2. P. Codognet (Editeur). Actes de JFPLC2001, 9th Journées Francophones de Programmation Logique et programmation par Constraintes, Hermès, April 2001.
3. P. Codognet et F. Rossi (Editeurs), "Special issue on Soft Constraints", CONSTRAINTS, an International Journal, à paraître, 2002.
4. P. Codognet et F. Pachet (Editeurs), "Special issue on Constraints for multimedia applications", CONSTRAINTS, an International Journal, vol. 6, no. 1, 2001.
5. P. Codognet (Editeur). "Special issue on Concurrent Constraint Programming", Science of Computer Programming, vol. 30, no. 1 & 2, Janvier 1998.
1. P. Codognet, “ Ancient
Images and New Technologies : the Semiotics of the Web ”, In : Leonardo, vol. 35, no. 1, Jan. 2002, MIT Press.
2. D. Diaz and P.
Codognet , “ The Design and Implementation of the GNU Prolog system ”, Journal
of Functional and Logic Programming, vol. 2001, no. 6, Oct 2001.
3. P. Codognet, “A
Constraint-based Language for Virtual Agents,” In: New Trends in Constraints, LNAI 1865, Springer Verlag 2000.
4. S. Bistarelli, P.
Codognet, Y. Georget, and F. Rossi, “Abstracting Soft Constraints,” In: New Trends in Constraints, LNAI 1865,
Springer Verlag 2000.
5. Y. Georget, P.
Codognet and F. Rossi, "Constraint Retraction in CLP(FD): Formal Framework
and Performance Results", CONSTRAINTS,
an International Journal, vol. 4, no. 1, 1999.
6. V. Saraswat, P. Van Hentenryck, P. Codognet et al., "Constraint Programming", ACM Computing Surveys, vol. 28, no. 4, Décembre 1996.
7. P. Codognet, "The Virtuality of Constraints and the Constraints of Virtuality. Constraints", CONSTRAINTS, an International Journal, vol. 2, no. 1, 1997.
8. P. Codognet and D.
Diaz, "Local Propagation Methods for Solving Boolean Constraints in
Constraint Logic Programming", Journal
of automated reasoning, vol. 17, no. 1, 1996.
9. P. Codognet and D.
Diaz, "Compiling Constraints in clp(FD)", Journal of Logic Programming, vol. 27, no. 3, 1996.
10. P. Codognet, "Programmation Logique avec Contraintes : une introduction",. Technique et Science Informatiques, vol. 14, no. 6, 1995.
11. P. Codognet and G.
Nardiello, "Enhancing the constraint-solving power of clp(FD) by means of
path-consistency methods", In:
Constraint Programming : Basics and Trends, A. Podelski (Ed.), LNCS 910,
Springer Verlag 1995.
12. P. Codognet and C. Codognet, "A generalized semantics for concurrent constraint languages and their abstract interpretation",. In: Constraint Processing, M. Meyer (Ed.), LNCS 923, Springer Verlag, 1995.
13. P. Codognet and J.
Chassin de Kergommeaux, "Parallel Logic Programming Systems", ACM Computing Surveys, vol. 26, no.2,
Juillet 1994.
14. P. Codognet, F. Fages
and T. Sola, "A meta-level compiler for CLP(FD) and its combination with
intelligent backtracking", In: Constraint
Logic Programming : Selected Research, A. Colmerauer, F. Benhamou (Eds.),
MIT Press, 1993.
15. P. Codognet, J. Chassin de Kergommeaux, P. Robert et J-C Syre, "Une revue des modèles de programmation logique parallèle", Technique et Science Informatiques, vol. 8, no 3 & 4, 1989.
1. P. Codognet and D. Diaz. “Yet Another Local
Search Method for Constraint Solving ”, proceedings
of SAGA 2001, first Symposium on
Stochastic Algorithms : Foundations and Applications, K. Steinhöfel (Ed.),
LNCS 2246, Springer Verlag, decembre 2001.
2. C. Truchet, P.
Codognet and G. Assayag. “ Visual and Adaptive Constraint Programming in Music ”,. proceedings of ICMC'2001, International
Computer Music Conference, La Habana, Cuba, IMA Press 2001.
3. N. Richard, P. Codognet and A. Grumbach. “ The InViWo Toolkit : Describing Autonomous Virtual Agents and Avatars”, proceedings of IVA'2001, Intelligent Virtual Agents, A. de Antonio et al. (Eds), LNAI 2190, Springer Verlag 2001.
4. P. Codognet,
“Animating virtual creatures by constraint-based adaptive search”, proceedings VSMM2000, Virtual Systems
and Multimedia, Gifu, Japan, IOS Press 2000. Abstract presented at
SIGGRAPH2000, sketches and applications section, New Orleans, USA, ACM Press
2000.
5. P. Codognet, “Adaptive
search : preliminary results”, proceedings
ERCIM / CompulogNet Workshop on Constraints, Venise, Italy, June 2000.
6. S. Bistarelli, P.
Codognet, F. Rossi, “An Abstraction Framework for Soft Constraints, And Its
Relationship with Constraint Propagation”, proceedings
SARA 2000 (Symposium on Abstraction, Reformulation, and Approximation), Austin
Texas, LNAI 1864, Springer Verlag 2000.
7. S. Bistarelli, P.
Codognet, Y. Georget, and F. Rossi, “Labeling and Partial Local Consistency for
Soft Constraint Programming,” proceedings
PADL'00, 2nd international workshop on Practical Aspects of
Declarative Languages, Boston, USA, LNCS 1753, Springer Verlag 2000.
8. D. Diaz and P.
Codognet, “GNU Prolog: beyond compiling Prolog to C”, proceedings PADL'00, , 2nd international workshop on
Practical Aspects of Declarative Languages, Boston, USA, LNCS 1753,
Springer Verlag 2000.
9. D. Diaz and P.
Codognet, “The GNU Prolog System and its Implementation,”, proceedings of SAC'00, 14th ACM Symposium on Applied Computing, Como,
Italy, 2000.
10. P. Codognet,
"Animating Autonomous Agents in Shared Virtual Worlds", proceedings DMS'99, IEEE International
Conference on Distributed Multimedia Systems, Aizu, Japan, IEEE Press 1999.
11. P. Codognet,
“Declarative Behaviors for Virtual Creatures,” proceedings of ICAT'99, 8th International Conference on Artificial
Reality and Tele-presence, Tokyo, Japon, IOS Press 1999. Abstract presented
at SIGGRAPH99, sketches and applications section, Los Angeles, USA, ACM Press
1999.
12. P. Codognet, “An
Historical Account of Indexical Images : from Ancient Art to the Web,” proceedings of VL'99, 7th IEEE
International Conference on Visual Languages, Tokyo, Japon, IEEE Press
1999.
13. N. Richard, P.
Codognet, A. Grumbach, "The InViWo virtual agents", short papers proceedings of Eurographics'99, Milan, Italie, 1999.
14. P. Codognet, “A
Constraint-based Language for describing Agent Behaviors in Virtual Worlds,” proceedings of VSMM'98, 6th international
conference onVirtual Systems and Multimedia, Gifu, Japon, IOS Press 1998.
15. P. Codognet and Y.
Georget, “Encoding Global Constraints in Semiring-based Constraint Solving,” proceedings of ICTAI'98, IEEE International
Conference on Tools with Artificial Intelligence, Taipeh, Taiwan, IEEE
Press1998.
16. P. Codognet and Y.
Georget, “Compiling Semiring-based Constraints with clp(FD,S),” proceedings of CP'98, 4th
International conference on principle and practice of Constraint Programming,
Pise, Italie, LNCS, Springer Verlag 1998.
17. N. Richard, P.
Codognet, and A. Grumbach, “Using constraints to describe high-level behaviours
in Virtual Worlds,” short papers
proceedings of Eurographics'98, Lisbonne, Portugal, 1998.
18. P. Codognet, Y.
Georget and F. Rossi, "Implementing Constraint Retraction for Finite
Domains", proceedings of ASIAN'97,
3rd Asian Computing Conference, R. Shyamasundar and K. Ueda (Ed.),
Kathmandou, Népal, LNCS 1345, Springer Verlag 1997.
19. P. Codognet and E.
Chailloux, "Towards Visual Constraint Programming (abstract)", proceedings of VL'98, 6th IEEE International
Conference on Visual Languages, Capri, Italie, IEEE Press 1997.
20. P. Codognet, D. Diaz
and F. Rossi, "Constraint Retraction in FD", proceedings of FST&TCS, 16th Conference on Foundations of Software
Technology and Theoretical Computer Science, V. Chandru et V. Vinay (Ed.),
Hyderabad, Inde, LNCS 1180, Springer Verlag 1996.
21. P. Codognet, "The
semiotics of the Web", 2nd Fall School on Semiotics, Varna, Bulgarie,
Septembre 1996.
22. P. Codognet and C.
Codognet, "Guarded Constructive Disjunction : Angel or Demon ?", proceedings of CP'95, 1st
International Conference on Principles and Practice of Constraint Programming,
Cassis, LNCS 976, Springer Verlag 1995.
23. P. Codognet and
Francesca Rossi, "NMCC Programming: Constraint Enforcement and Retraction
in CC Programming", proceedings of
ICLP'95, 12th International Conference on Logic Programming, Tokyo, Japan,
MIT Press 1995.
24. P. Codognet and D.
Diaz, "WAMCC: Compiling Prolog to C", proceedings of ICLP'95, 12th International Conference on Logic
Programming, Tokyo, Japon, MIT Press 1995.
25. P. Codognet, "The
Art of Logic and the Logic of Art (abstract)", proceedings of LMPS'95, 10th International Congress on Logic,
Methodology and Philosophy of Science, Florence, Italy, 1995.
26. P. Codognet and D.
Diaz, "Finite Domain Constraints in Constraint Logic Programming
(abstract)", proceedings of EURO XIV, 14th European Conference on Operational
Research, Jerusalem, Israel, 1995.
27. P. Codognet, "A
Tabulation Method for Constraint Logic Programming", proceedings of INAP'95, 8th Symposium and Exhibition on Industrial
Applications of Prolog, Tokyo, Japan, Oct. 1995.
28. P. Codognet and C.
Codognet, "Abduction and Concurrent Logic Languages", proceedings of ECAI'94, European Conference
on Artificial Intelligence A. G. Cohn (Ed.), Amsterdam, Pays-Bas, Wiley
1994.
29. P. Codognet and G. Nardiello, "Path consistency in clp(FD)", proceedings of CCL'94, First International Conference on Constraints in Computational Logic, J-P. Jouannaud (Ed.), Munich, Germany, LNCS 845, Springer Verlag 1994.
30. P. Codognet and D.
Diaz, "clp(B) : Combining Simplicity and Efficiency in Boolean Constraint
Solving", proceeding of PLILP'94,
Programming Languages Implementation and Logic Programming, M. Hermenegildo
(Ed.), Madrid, Spain, LNCS 844, Springer Verlag 1994.
31. P. Codognet, C.
Codognet, M. Quaggetto and V. Loia, "Sleepers: a versatile high-level
control mechanism", proceeding of
PLILP'94, Programming Languages Implementation and Logic Programming, M. Hermenegildo
(Ed.), Madrid, Spain, LNCS 844, Springer Verlag 1994.
32. E. Chailloux, C.
Codognet and P. Codognet, "Finite Domain Constraints in the ML Functional
Language (abstract)", proceedings of
ICTAI'94, 6th IEEE International Conference on Tools with Artificial
Intelligence, P. Takis Metaxas (Ed.), New Orleans, USA, IEEE Press 1994.
33. D. Diaz and P.
Codognet, "A Minimal Extension of the WAM for clp(FD)", proceedings of ICLP'93, 10th International
Conference on Logic Programming, Budapest, Hungary, MIT Press 1993.
34. F. Menezes, P.
Codognet and P. Barahona, "An incremental hierarchical constraint
solver", proceedings of PPCP'93,
First Workshop on Principle and Practice of Constraint Processing, Newport,
USA, 1993.
35. P. Codognet and D.
Diaz, "Boolean Constraint Solving using clp(B/FD)", proceedings of ILPS'93, International Logic
Programming Symposium, Vancouver, Canada, MIT Press 1993.
36. F. Menezes, P.
Codognet and P. Barahona, "An incremental hierarchical constraint solver
applied to a time-tabling problem", proceedings
of the 10th Workshop on expert systems and applications, Avignon, France,
1993.
37. P. Codognet, S. Abreu,
L. M. Pereira, "Improving Backward execution in the Andorra Family of
Languages", proceedings of
JICSLP'92, Joint International Conference and Symposium on Logic Programming,
K. Apt (Ed.), Washington, USA, MIT Press 1992.
38. P. Codognet and G.
Filé, "Computations, Abstractions and Constraints in Logic Programs",
proceedings of ICCL'92, IEEE
International Conference on Computer Languages, Oakland, USA, IEEE Press
1992.
39. P. Codognet and V.
Saraswat, "Abduction in Concurrent Constraint Languages", proceedings of the first Compulog network
meeting on Logic Programming and Artificial Intelligence, London, U.K.,
1992.
40. P. Codognet and T.
Sola, "Extending the WAM for Intelligent Backtracking", proceedings of ICLP'91, 8th International
Conference on Logic Programming, K. Furukawa (Ed.), Paris, France, MIT
Press 1991.
41. P. Codognet and G. Filé, "Abstractions and Constraints", proceedings JTASPEFL'91, BIGRE 74, Bordeaux, France, 1991.
42. P. Codognet, C.
Codognet and M.-M. Corsini, "Abstract Interpretation for Concurrent
Logic Languages", proceedings of
NACLP'90, North-American Conference on Logic Programming, M. Hermenegildo
and S. Debray (Eds.), Austin, USA, MIT Press 1990.
43. P. Codognet and P.
Savéant, "A Metalanguage for Representation and Control in
Assumption-based Problem Solvers", proceedings
of SEKE'90, 2nd International Conference on Software and knowledge Engineering,
Skokie, USA, 1990.
44. P. Codognet, "An
extended concurrent logic language with non-determinism", proceedings of ICYCS'91, 2nd International
Conference for Young Computer Scientists, Beijing, China, International
Academic Publishers 1991.
45. P. Codognet and C.
Codognet, "Non-deterministic Stream And-parallelism via Intelligent
Backtracking", proceedings of
ICLP'89, 6th International Conference on Logic Programming, L. Pereira and
A. Porto (Eds.), Lisbonne, MIT Press 1989.
46. P. Codognet, C.
Codognet and G. Filé, "Yet another Intelligent Backtracking Method", proceedings of ICLP'88, 5th
International Conference/Symposium on Logic Programming, R. A. Kowalski
(Ed.), Seattle, USA, MIT Press 1988.
47. P. Codognet, C.
Codognet, G. Filé, "A very intelligent backtracking method for logic
Programs", proceedings of ESOP 86,
European Symposium On Programming, Saarbrucken, Germany, LNCS 213, Springer
Verlag 1986.
1. G. Dore and P.
Codognet, "A Prototype Compiler for Prolog with Booleans", proceedings of GULP 93, 8th Italian
Conference on Logic Programming, Gizzeria Lido, Italy, 1993.
2. P. Codognet, C. Codognet, G. Filé, "Depth-first Intelligent Backtracking", actes de la conférence AFCET-GROPLAN "langages et algorithmes", Rennes, BIGRE+GLOBULE 59, Avril 1988.
3. P. Codognet, "Programmation Logique Parallèle", actes du séminaire sur la Programmation en Logique, CNET, Trégastel, 1987.
4. P. Codognet, C. Codognet and G. Filé, "Backtracking Intelligent en Programmation Logique", actes du séminaire sur la Programmation en Logique, CNET, Trégastel, 1986.