PUBLICATIONS

Philippe Codognet

Edited Books and Special Issues of Journals

 

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.

 

International Journals and Book Chapters

7.      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. online Oct 2011.

8.      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. online Nov 2011.

9.      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.

10.  P. Codognet and O. Pasquet, “Ambient Sound Spaces”, Multimedia Tools and Applications, vol. 58, no. 2, Springer Verlag 2012, pp 355-370. online Dec 2010.

11.  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.

12.  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.

13.  H. Hosobe, K. Satoh, and P. Codognet, “Agent-Based Speculative Constraint Processing”, IEICE Transactions, 90-D(9):1354-1362, 2007

14.  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.

15.  C. Truchet and P. Codognet, “Musical constraint satisfaction problems solved with adaptive search”, Soft Computing, Vol. 8 No. 9, Springer Verlag 2004.

16.  P. Codognet “ Transgene Archive”, in: Leidenschaften der Bürokratie. Kultur- und Mediengeschichte im Archiv, Sven Speiker (Ed.), Kadmos Verlag, Berlin, 2004.

17.  P. Codognet, “Artificial Nature and Natural Artifice” in: Future Cinema, J. Shaw and P. Weibel (Eds.), MIT Press, 2003

18.  N. Richard, P. Codognet, and A. Grumbach, “ Créatures Virtuelles ”, Technique et Science Informatiques, Hermès/Lavoisier, vol. 22 no. 2, février 2003.

19.  S. Bistarelli, P. Codognet, F. Rossi, “Abstraction for Soft Constraints : Framework, Properties, Examples ”, Artificial Intelligence, vol. 139, no. 2, Août 2002.

20.  P. Codognet, “ Ancient Images and New Technologies : the Semiotics of the Web ”, Leonardo, vol. 35, no. 1,  Jan. 2002, MIT Press.

21.  D. Diaz and P. Codognet , “ The Design and Implementation of the GNU Prolog system ”, Journal of Functional and Logic Programming, no. 6, Octobre 2001.

22.  P. Codognet, “A Constraint-based Language for Virtual Agents,” In: New Trends in Constraints, LNAI 1865, Springer Verlag 2000.

23.  S. Bistarelli, P. Codognet, Y. Georget, and F. Rossi, “Abstracting Soft Constraints,” In: New Trends in Constraints, LNAI 1865, Springer Verlag 2000.

24.  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.

25.  V. Saraswat, P. Van Hentenryck, P. Codognet et al. "Constraint Programming", ACM Computing Surveys, vol. 28, no. 4, Décembre 1996.

26.  P. Codognet, "The Virtuality of Constraints and the Constraints of Virtuality. Constraints", CONSTRAINTS, an International Journal, vol. 2, no. 1, 1997.

27.  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.

28.  P. Codognet and D. Diaz, "Compiling Constraints in clp(FD)", Journal of Logic Programming, vol. 27, no. 3, 1996.

29.  P. Codognet, "Programmation Logique avec Contraintes : une introduction",. Technique et Science Informatiques, vol. 14, no. 6, 1995.

30.  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.

31.  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.

32.  P. Codognet and J. Chassin de Kergommeaux, "Parallel Logic Programming Systems", ACM Computing Surveys, vol. 26, no.2, Juillet 1994.

33.  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.

34.  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.

International Conferences

 

  1. 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, Lecture Notes in Computer Science, Vienna, Austria, Springer Verlag 2013.
  1. 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.
  2. 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.
  3. 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.
  4. 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 Press February 2012.
  5. 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.
  6. 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.
  7. P. Codognet, "A simple language for describing autonomous agent behaviors", proceedings of ICAS2011, 7th Int. Conference on Autonomic and Autonomous Systems, Mestre, Italy, 2011 (best paper award).
  8. 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.
  9. 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.
  10. P. Codognet, “Digital Collages”, proceedings of ACE2010, 7th International Conference on Advances in Computer Entertainment Technology, Taiwan, 2010.
  11. 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.
  12. 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.
  13. P. Codognet and O. Pasquet, “Sound Agents”, proceedings of EvoApplications 2010, C. Di Chio et al. (Eds.), LNCS 6025, Springer Verlag 2010.
  14. P. Codognet and O. Pasquet, “Swarm Intelligence for Generative Music”, proceedings of ISM2009, IEEE International Symposium on Multimedia, San Diego, IEEE Press 2009.
  15. 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.
  16. 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.
  17. P. Codognet, “The Palimpsest system”, proceedings of ACM Multimedia conference 2008, Vancouver, Canada, ACM Press 2008 (short paper, acceptance rate: 30%).
  18. 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.
  19. P. Codognet, “A Tool for turning a Series of digital Photographs into dynamic Video Flux”, proceedings of 12th EUROMEDIA conference, Porto, Portugal, April 2008.
  20. 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. 

18.  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.

19.  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.

20.  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.

21.  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.

22.  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.

23.  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.

24.   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).

25.   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.

26.  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.

27.  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.

28.  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.

29.  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.

30.  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.

31.  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.

32.  P. Codognet, “Adaptive search : preliminary results”, proceedings ERCIM / CompulogNet Workshop on Constraints, Venise, Italy, June 2000.

33.  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.

34.  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.

35.  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.

36.  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.

37.  P. Codognet, "Animating Autonomous Agents in Shared Virtual Worlds", proceedings DMS'99, IEEE International Conference on Distributed Multimedia Systems,  Aizu, Japan, IEEE Press 1999.

38.  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.

39.  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.

40.  N. Richard, P. Codognet, A. Grumbach, "The InViWo virtual agents", short papers proceedings of Eurographics'99,  Milan, Italie, 1999.

41.  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.

42.  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.

43.  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.

44.  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.

45.  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.

46.  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.

47.  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.

48.  P. Codognet, "The semiotics of the Web", 2nd Fall School on Semiotics, Varna, Bulgarie, Septembre 1996.

49.  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.

50.  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.

51.  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.

52.  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.

53.  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.

54.  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.

55.  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.

56.  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.

57.  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.

58.  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.

59.  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.

60.  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.

61.  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.

62.  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.

63.  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.

64.  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.

65.  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.

66.  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.

67.  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.

68.  P. Codognet and G. Filé, "Abstractions and Constraints", proceedings JTASPEFL'91, BIGRE 74, Bordeaux, France, 1991.

69.  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.

70.  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.

71.  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.

72.  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.

73.  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.

74.  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.