PUBLICATIONS
Philippe Codognet
1. R. Nakatsu, N. Tosa, F. Naghdy, K.-W. Wong and P.
Codognet (Eds.),
Proceedings of ECS2010, 2nd Entertainment Computing Symposium, IFIP
AICT series 333, Springer Verlag 2010.
2. P. Codognet
and F. Rossi (Eds), "Special issue on Soft
Constraints", CONSTRAINTS, an
International Journal, vol. 8, No. 1, 2003.
3. P. Codognet (Ed.), Proceedings of ICLP’2001, 17th International Conference on
Logic Programming, LNCS 2237, Springer Verlag, November
2001.
4. P. Codognet (Ed.) Actes de JFPLC2001, 9th Journées Francophones de Programmation Logique et programmation par Contraintes, Hermès, April 2001.
5. P. Codognet
and F. Pachet (Eds.), "Special
issue on Constraints for multimedia applications", CONSTRAINTS, an International Journal, vol. 6, no. 1, 2001.
6. P. Codognet
(Ed.), "Special issue on Concurrent
Constraint Programming", Science of
Computer Programming, vol. 30, no. 1 & 2, Janvier
1998.
10.
D. Diaz, S. Abreu,
and P. Codognet, "Targeting the Cell/BE for
Constraint-Based Local Search", Concurrency and Computation : Practice
and Experience, vol. 24, no. 6, Wiley 2012, pp 647-660.
11.
D. Diaz, S. Abreu,
and P. Codognet, “On the Implementation
of GNU Prolog”, Theory and
Practice of Logic Programming, vol. 12 no. 1-2, Cambridge University Press
2012, pp 253-282.
12.
P. Codognet,
“The Memory of Logic and the Logic of Memory”,
In: Emotions of Animals and Humans: Comparative
Perspectives, S. Watanabe and S. Kuczaj (Eds.),
Springer Verlag 2012.
13.
P. Codognet and O. Pasquet, “Ambient Sound Spaces”,
Multimedia Tools and Applications, vol. 58,
no.
2, Springer Verlag 2012, pp
355-370.
14.
S. Bistarelli, P. Codognet, H.K.C. Hui and J.H.M. Lee, “Solving finite domain constraint
hierarchies by local consistency and tree
search”, Journal of Theoretical and Experimental
Artificial Intelligence , Vol. 21, No. 4, Dec 2009, pp 233–257.
15.
P. Codognet, “Combinatorics,
Randomness, and the Art of Invention”, in: New Computational Paradigms for
Computer Music, G. Assayag and A. Gerzso (Eds.), IRCAM / Editions Delatour,
2009.
16.
H. Hosobe, K. Satoh, and P.
Codognet, “Agent-Based Speculative Constraint Processing”, IEICE Transactions, 90-D(9):1354-1362, 2007.
17.
P. Codognet,
“la pensée aveugle”, in: L’art a-t-il besoin du numérique, J-P. Balpe et M. de Barros (Eds.), Hermès, 2006.
18. C. Truchet and P. Codognet, “Musical constraint satisfaction
problems solved with adaptive search”,
Soft Computing, Vol. 8
No. 9, Springer Verlag 2004.
19.
P.
Codognet “ Transgene Archive”, in: Leidenschaften der Bürokratie. Kultur- und Mediengeschichte im Archiv, Sven Speiker (Ed.), Kadmos Verlag, Berlin,
2004.
20. P. Codognet,
“Artificial Nature and Natural Artifice” in: Future Cinema,
J. Shaw and P. Weibel (Eds.), MIT Press, 2003
21. N. Richard, P. Codognet, and A. Grumbach, “ Créatures Virtuelles ”, Technique et Science Informatiques, Hermès/Lavoisier, vol. 22 no. 2, février 2003.
22. S. Bistarelli, P. Codognet, F. Rossi, “Abstraction for Soft Constraints : Framework, Properties, Examples ”, Artificial Intelligence, vol. 139, no. 2, Août 2002.
23.
P. Codognet, “Ancient Images and New Technologies : the
Semiotics of the Web”, Leonardo, vol. 35, no. 1, Jan. 2002, MIT Press.
24.
D. Diaz
and P. Codognet , “ The Design and Implementation of
the GNU Prolog system ”, Journal of Functional and Logic Programming, no. 6, Octobre 2001.
25.
P. Codognet, “A Constraint-based Language for Virtual Agents,”
In: New Trends in Constraints, LNAI
1865, Springer Verlag 2000.
26.
S. Bistarelli, P. Codognet, Y. Georget, and F. Rossi, “Abstracting Soft Constraints,” In: New Trends in Constraints, LNAI 1865,
Springer Verlag 2000.
27. 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.
28. V. Saraswat, P. Van Hentenryck, P. Codognet et al. "Constraint Programming", ACM Computing Surveys, vol. 28, no. 4, Décembre 1996.
29. P. Codognet, "The Virtuality of Constraints and the Constraints of Virtuality. Constraints", CONSTRAINTS, an International Journal, vol. 2, no. 1, 1997.
30. 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.
31. P. Codognet and D.
Diaz, "Compiling Constraints in clp(FD)", Journal of Logic Programming, vol. 27,
no. 3, 1996.
32. P. Codognet, "Programmation Logique avec Contraintes : une introduction",. Technique et Science Informatiques, vol. 14, no. 6, 1995.
33. 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.
34. 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.
35. P. Codognet and J. Chassin de Kergommeaux,
"Parallel Logic Programming Systems", ACM Computing Surveys, vol. 26, no.2, Juillet
1994.
36. 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.
37. 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.
67. Alexis Anglada,
Philippe Codognet and Laurent Zimmer, “An Adaptive
Search for the NSCSPs”, in proceedings of the 8th ERCIM/CoLogNet workshop on Constraint Solving and Constraint
Logic Programming, Lausanne, juin 2004.
68. Vincent Labbé,
Olivier Sigaud and Philippe Codognet,
“Anticipation of Periodic Movements in Real Time 3D Environments”, proceedings
of ABIALS’04, 2nd Workshop of Anticipatory Behavior
in Adaptive Learning Systems, Los Angeles, juillet 2004.
69. S. Bistarelli, P. Codognet, H.K.C. Hui, and J.H.M.
Lee, ``Solving Finite Domain Constraint Hierarchies by Local Consistency and
Tree Search'', proceedings of CP2003, 9th International
Conference on Principle and Practice of Constraint Programming, F. Rossi
(Ed.), Cork, Ireland, LNCS, Springer Verlag 2003.
70. F. Baray, P. Codognet, D. Diaz and H. Michel. ``Code-based Test
Generation for Validation of Functional Processor Descriptions''. proceedings
of TACAS03, 9th International Conference on Tools and Algorithms for the
Construction and Analysis of Systems, Varsovie, Pologne, LNCS 2619, Springer Verlag
2003.
71. Philippe Codognet and
Daniel Diaz. “An Efficient Library for Solving CSP with Local Search''. Proceedings
of MIC’03, 5th International Conference on Metaheuristics,
T. Ibaraki (Ed.), Kyoto, Japan, 2003.
72. Charlotte Truchet, Gérard Assayag,
Philippe Codognet. “OMClouds, a heuristic solver for musical
constraints’’, proceedings of MIC’03, 5th International
Conference on Metaheuristics, T. Ibaraki (Ed.),
Kyoto, Japan, 2003.
73. Ken
Satoh, Philippe Codognet, Hiroshi Hosobe.
“Speculative Constraint Processing in Multi-agent Systems’’, proceedings of
PRIMA 2003, 6th Pacific Rim International Workshop on Multi-Agents,
J. Lee and M. Barley (Eds.), Seoul, Corée,
LNCS 2891 Springer Verlag 2003 (best paper award).
74. F. Baray, P. Codognet, D. Diaz, H.
Michel, “Validation of functional processor descriptions by test generation“, proceedings
DVCon 2003, 12th Design and Verification
Conference, San Jose, USA, février 2003.
75. P. Codognet, D. Diaz
and C. Truchet, “The Adaptive Search Method for
Constraint Solving and its Application to Musical CSPs”, In First International Workshop on Heuristics, Beijing, China 2002.
76. P. Codognet,
“Multi-Goal Pathfinding for Autonomous Creatures in
Virtual Words”, proceedings of IWEC2002,
Entertainment Computing :
Technologies and Applications, K. Nakatsu and J.
Hoshino (Eds.), Kluwer Academic Publisher, 2002.
77. 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 2264, Springer Verlag, décembre 2001.
78. 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.
79. 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.
80. 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.
81. P. Codognet,
“Adaptive search : preliminary results”, proceedings ERCIM / CompulogNet Workshop
on Constraints, Venise, Italy, June 2000.
82. 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.
83. 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.
84. 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.
85. 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.
86. P. Codognet,
"Animating Autonomous Agents in Shared Virtual Worlds", proceedings DMS'99, IEEE International
Conference on Distributed Multimedia Systems, Aizu, Japan, IEEE
Press 1999.
87. 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.
88. 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.
89. N. Richard, P. Codognet,
A. Grumbach, "The InViWo
virtual agents", short papers
proceedings of Eurographics'99,
Milan, Italie, 1999.
90. 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.
91. 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.
92. 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.
93. 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.
94. 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.
95. 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.
96. 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.
97. P. Codognet,
"The semiotics of the Web", 2nd Fall School on Semiotics, Varna, Bulgarie, Septembre 1996.
98. 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.
99. 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.
100. 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.
101. 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.
102. 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.
103. 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.
104. 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.
105. 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.
106. 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.
107. 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.
108. 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.
109. 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.
110. 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.
111. 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.
112. 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.
113. 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.
114. 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.
115. 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.
116. 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.
117. P. Codognet and G. Filé, "Abstractions and Constraints", proceedings JTASPEFL'91, BIGRE 74, Bordeaux, France, 1991.
118. 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.
119. 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.
120. 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.
121. 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.
122. 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.
123. 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.