PUBLICATIONS
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, January
1998.
7.
P. Codognet,
D. Munera, D. Diaz and S. Abreu, “Parallel Local
Search”, In: Handbook of Parallel Constraint Reasoning, Y. Hamadi, and L. Sais (Eds.) Springer 2018, pp 381-417.
8.
C. Truchet,
A. Arbelaez, F. Richoux and
P. Codognet, “Estimating parallel runtimes for randomized algorithms in constraint
solving”, Journal of Heuristics, vol. 22 no. 4, Springer 2016, pp
613-648, published online 2015/5/23.
9.
Y. Caniou,
P. Codognet, F. Richoux, D.
Diaz, S. Abreu, “Large-scale Parallelism for Constraint-based Local Search: the Costas Array Case Study”, Constraints, vol 20 no. 1, 2015, pp. 20-56, published online 2014/7/25.
10. F. Richoux, Y. Caniou,
P. Codognet, R. Suda, “A Massively Parallel Combinatorial Optimization Algorithm for the Costas
Array Problem”, (in Japanese) Supercomputing News, vol. 17 no. 1, 2015, pp.44-53.
11.
A. Arbelaez, C. Truchet and P. Codognet, “Using Sequential Runtime
Distributions for the Parallel Speedup Prediction of SAT Local Search”, Theory and
Practice of Logic Programming, vol. 13, no. 4-5, Cambridge University Press 2013, pp.
625-639.
12. 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.
13. 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.
14. 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.
15. P. Codognet
and O. Pasquet, “Ambient Sound Spaces”, Multimedia
Tools and Applications, vol. 58, no. 2, Springer Verlag 2012,
pp 355-370.
16. 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.
17. 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.
18. H. Hosobe, K. Satoh, and P. Codognet, “Agent-Based Speculative Constraint Processing”, IEICE Transactions, 90-D(9):1354-1362, 2007.
19. 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.
20. C. Truchet and P. Codognet, “Musical constraint satisfaction
problems solved with adaptive search”,
Soft Computing, Vol. 8
No. 9, Springer Verlag 2004.
21. P. Codognet “ Transgene Archive”, in: Leidenschaften
der Bürokratie. Kultur- und Mediengeschichte im Archiv, Sven Speiker (Ed.), Kadmos Verlag,
Berlin, 2004.
22. P. Codognet, “Artificial Nature and Natural Artifice” in: Future Cinema, J. Shaw and P. Weibel
(Eds.), MIT Press, 2003
23. N. Richard, P. Codognet, and A. Grumbach, “ Créatures Virtuelles ”, Technique et Science Informatiques, Hermès/Lavoisier, vol. 22 no. 2, février 2003.
24. S. Bistarelli, P. Codognet, F. Rossi, “Abstraction for Soft Constraints : Framework, Properties, Examples ”, Artificial Intelligence, vol. 139, no. 2, Août 2002.
25. P. Codognet,
“Ancient Images and New Technologies : the
Semiotics of the Web”, Leonardo, vol. 35, no. 1, Jan. 2002, MIT Press.
26. D. Diaz and P. Codognet , “ The Design and
Implementation of the GNU Prolog system ”, Journal of Functional and Logic Programming,
no. 6, Octobre 2001.
27. P. Codognet,
“A Constraint-based Language for Virtual Agents,” In: New Trends in Constraints, LNAI 1865, Springer Verlag
2000.
28. S. Bistarelli,
P. Codognet, Y. Georget,
and F. Rossi, “Abstracting Soft Constraints,” In: New Trends in Constraints, LNAI 1865, Springer Verlag
2000.
29.
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.
30. V. Saraswat, P. Van Hentenryck, P. Codognet et al. "Constraint Programming", ACM Computing Surveys, vol. 28, no. 4, Décembre 1996.
31. P. Codognet, "The Virtuality of Constraints and the Constraints of Virtuality. Constraints", CONSTRAINTS, an International Journal, vol. 2, no. 1, 1997.
32.
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.
33.
P.
Codognet and D. Diaz, "Compiling Constraints in clp(FD)", Journal
of Logic Programming, vol. 27, no. 3, 1996.
34. P. Codognet, "Programmation Logique avec Contraintes : une introduction",. Technique et Science Informatiques, vol. 14, no. 6, 1995.
35.
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.
36.
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.
37.
P.
Codognet and J. Chassin de Kergommeaux, "Parallel Logic Programming
Systems", ACM Computing Surveys,
vol. 26, no.2, Juillet 1994.
38.
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.
39. 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.
40.
D. Munera, D. Diaz, S. Abreu, F. Rossi, V. Saraswat,
P. Codognet, “Solving Hard Stable Matching Problems via Local Search and Cooperative
Parallelization”, proceedings of AAAI 2015, AAAI Press, 2015, pp 1212-1218.
41.
Y. Caniou and P. Codognet, “Dependant Walks in
Parallel Local Search”, in IEEE Workshop on new trends in Parallel Computing and Optimization (PCO’14), held in
conjunction with IPDPS 2014, Phoenix, USA, 2014.
42.
D. Munera, D. Diaz, S. Abreu
and P. Codognet, " A Parametric Framework
for Cooperative Parallel Local Search", proceedings of EvoCOP'14, 14th European Conference on Evolutionary Computation in Combinatorial
Optimisation, LNCS 7832, Granada, Spain, Springer Verlag 2014.
43.
D. Munera, D. Diaz, S. Abreu
and P. Codognet, “Flexible Cooperation
in Parallel Local Search”, poster paper, proceedings
of 29th ACM Symposium on Applied Computing, Gyeongju, Korea, ACM
Press 2014.
44.
A. Arbelaez and P. Codognet, “A GPU Implementation of Parallel Constraint-based Local Search“, proceedings of PDP2014, 22nd EuroMicro Conference on Parallel, Distributed and
Network-based Processing, Turin, Italy, IEEE Press 2014.
45.
C.
Truchet, F. Richoux and P. Codognet, “Prediction of Parallel Speed-ups for Las Vegas Algorithms”, proceedings of ICPP'2013, 42st International
Conference on Parallel Processing, Lyon, France, IEEE
Press 2013.
46.
Y. Caniou and P. Codognet, “Sequential and Parallel Restart Policies for Constraint-based Local
Search”, in IEEE Workshop on new trends in Parallel
Computing and Optimization (PCO’13), held in conjunction with IPDPS 2013, Boston, USA, 2013.
47.
G.
Antoniu, T. Boku, C.
Calvin, P. Codognet, M. Dayde
et al., “Towards exascale with
the ANR-JST Japanese-French project FP3C (Framework and Programming for Post- Petascale Computing)”, In: proceedings of 9th Int. Conf. on Computer Science and Information
Technologies, Yerevan, Armenia 2013.
48.
A. Arbelaez and P. Codognet, " A Survey of Parallel Local Search for SAT", In :
proceedings of JSAI 2013, 27th Annual Conference of the Japanese
Society for Artifcial
Intelligence, Toyama, Japan, 2013.
49.
A. Arbelaez and P. Codognet, "From Sequential to Parallel Local Search for SAT", proceedings
of EvoCOP'13, 13th European Conference on Evolutionary
Computation in Combinatorial Optimisation, LNCS 7832, Vienna, Austria, Springer Verlag 2013.
50.
A. Arbelaez and P. Codognet, "Massively Parallel Local Search for SAT", In : proceedings of ICTAI 2012, 24th
International Conference on Tools with Artificial Intelligence, Athens,
IEEE Press, 2012.
51.
A. Arbelaez and P. Codognet, "Towards Massively Parallel Local Search for SAT", poster paper, proceedings of SAT 2012, 15th Int. Conf. On Theory and Applications of
Satisfiability Testing, LNCS 7317, Springer Verlag,
pp 481-482.
52.
D. Diaz, F. Richoux, P. Codognet,
Y. Caniou and S. Abreu, "Parallel local search for the Costas
Array Problem", in IEEE Workshop on
new trends in Parallel Computing and Optimization (PCO’12), held in conjunction with IPDPS 2012, Shanghai, China, 2012.
53.
Y.
Caniou, D. Diaz, F. Richoux, P. Codognet
and S. Abreu, "Performance
analysis of constraint-based local search", poster paper, proceedings of PPoPP2012, 17th
ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming,
New Orleans, USA, ACM SIGPLAN Notices vol. 47, no. 8, 2012, pp 337-338.
54.
D.
Diaz, F. Richoux, P. Codognet, Y. Caniou, and S. Abreu "Constraint-Based
Local Search for the Costas Array Problem", proceedings of LION6, 6th Learning and Intelligent OptimizatioN
Conference, Paris, France, January 2012, Lecture Notes in Computer Science, Springer Verlag 2012.
55.
Y.
Caniou, P. Codognet, D. Diaz and S. Abreu,
"Experiments in parallel constraint-based local search", proceedings of EvoCOP'11, 11th European Conference on Evolutionary Computation in
Combinatorial Optimisation, Lecture Notes in Computer Science, Torino, Italy, Springer Verlag 2011.
56.
P. Codognet, "A simple language for describing autonomous agent
behaviors", proceedings of ICAS2011, 7th Int.
Conference on Autonomic and Autonomous Systems, Mestre,
Italy, 2011 (acceptance rate: 30%, best paper award).
57.
Y. Caniou, P. Codognet, D. Diaz and S. Abreu, “Parallel
Constraint-Based Local Search on the HA8000 supercomputer (Abstract)”, poster
paper, proceedings of 26th ACM
Symposium on Applied Computing, Taiwan, ACM Press March 2011.
58.
Y.
Caniou and P. Codognet,
"Communication in Parallel Algorithms for Constraint-Based Local
Search", in IEEE Workshop on new
trends in Parallel Computing and Optimization (PCO’11), held in conjunction
with IPDPS 2011, Anchorage, USA, 2011.
59.
P. Codognet, “Digital
Collages”, proceedings of ACE2010, 7th
International Conference on Advances in Computer Entertainment Technology,
Taiwan, 2010 (acceptance rate: 30%).
60.
D. Diaz, S. Abreu, and P. Codognet, “Parallel Constraint-based Local
Search on the Cell/BE Multicore
Architecture”, proceedings of IDC2010, Intelligent Distributed Computing IV, Studies on
Computational Intelligence 315, Springer Verlag 2010
(acceptance rate: 50%).
61. S. Dubnov and P. Codognet, “Opening the
can: public interaction with ready-made contents”, proceedings of ECS2010, 2nd
Entertainment Computing Symposium, E. Nakatsu et
al. (Eds.) IFIP AICT 333, Springer Verlag 2010.
62.
P. Codognet and O. Pasquet, “Sound Agents”, proceedings of EvoApplications 2010, C.
Di Chio et al. (Eds.), LNCS 6025, Springer Verlag 2010 (acceptance
rate: 44%).
63.
P. Codognet and O. Pasquet, “Swarm Intelligence for Generative Music”, proceedings of ISM2009, IEEE
International Symposium on Multimedia, San Diego, IEEE Press 2009 (acceptance
rate: 19%).
64.
S. Abreu, P. Codognet and D. Diaz, “Parallel local search
for solving Constraint Problems on the Cell Broadband Engine (Preliminary
Results)”, proceedings of 6th International Workshop on Local Search Techniques in Constraint
Satisfaction, Electronic proceedings in Theoretical Computer
Science, 2009.
65.
P. Codognet and G. Nouno, “From Landscape to Soundscape”, proceeding of VSMM’09, 15th
International Conference on Virtual Systems and Multimedia, Vienna,
IEEE Press 2009 (acceptance rate: 47%).
66.
P.
Codognet, “The Palimpsest system”, proceedings of ACM Multimedia conference 2008, Vancouver, Canada, ACM
Press 2008 (short paper, acceptance rate: 30%).
67. P. Codognet, G. Nouno: “Red Light
Spotters, Images-driven sound and rhythm landscape”, SAME2008, 1st ACM International Workshop on Semantic Ambient Media
Experience, Vancouver,
Canada, ACM Press 2008.
68.
P.
Codognet, “A Tool for turning a Series of digital
Photographs into dynamic Video Flux”,
proceedings of 12th EUROMEDIA conference, Porto, Portugal,
April 2008.
69.
P.
Codognet, “Computer Games and Digital Art: some early
examples”, proceedings of CG&AT,
international conference on Computer Games, Multimedia and Allied Technologies,
Singapore, April 2008.
70.
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.
71.
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.
72.
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.
73.
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.
74.
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.
75.
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.
76.
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).
77.
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.
78.
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.
79.
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.
80.
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.
81.
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.
82. 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.
83.
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.
84.
P.
Codognet, “Adaptive search :
preliminary results”, proceedings ERCIM /
CompulogNet Workshop on Constraints, Venise, Italy, June 2000.
85.
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.
86.
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.
87.
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.
88.
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.
89.
P.
Codognet, "Animating Autonomous Agents in Shared
Virtual Worlds", proceedings DMS'99,
IEEE International Conference on Distributed Multimedia Systems, Aizu,
Japan, IEEE Press 1999.
90.
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.
91.
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.
92.
N.
Richard, P. Codognet, A. Grumbach,
"The InViWo virtual agents", short papers proceedings of Eurographics'99, Milan,
Italie, 1999.
93.
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.
94.
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.
95.
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.
96.
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.
97.
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.
98.
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.
99.
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.
100.
P.
Codognet, "The semiotics of the Web", 2nd
Fall School on Semiotics, Varna, Bulgarie, Septembre 1996.
101.
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.
102.
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.
103.
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.
104.
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.
105.
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.
106.
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.
107.
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.
108. 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.
109.
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.
110.
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.
111.
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.
112.
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.
113.
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.
114.
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.
115.
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.
116.
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.
117.
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.
118.
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.
119.
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.
120. P. Codognet and G. Filé, "Abstractions and Constraints", proceedings JTASPEFL'91, BIGRE 74, Bordeaux, France, 1991.
121.
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.
122.
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.
123.
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.
124.
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.
125.
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.
126.
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.