BibSonomy :: author  ::

bookmarks

publications

(85)

• Combining Tree Partitioning, Precedence, and Incomparability Constraints.
  Nicolas Beldiceanu and Pierre Flener and Xavier Lorca Constraints 13 459-489 (2008)
  to dblp by dblp on 2008-11-26 00:00:00
  | URL | BibTeX  
• On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects
  Pierre Flener and Lubos Popelinsky Proceedings of the 4th International Workshops on Logic Programming Synthesis and Transformationn -- Meta-Programming in Logic 69--87 (1994)
  to ilp inductive_programming inproceedings position_paper program_synthesis software_engineering by emanuel on 2008-05-16 18:04:10
  | URL | BibTeX  
• Inductive Synthesis of Recursive Logic Programs: Achievements and Prospects.
  Pierre Flener and Serap Yilmaz J. Log. Program. 41 141-195 (1999)
  to imported by mh and 4 other people on 2008-04-23 16:38:41
  | BibTeX  
• Inductive logic program synthesis with Dialogs
  Pierre Flener Proceedings of the 6th International Workshop on Inductive Logic Programming 28-51 (1996)
  to imported by mh and 2 other people on 2008-04-23 16:38:41
  | URL | BibTeX  
• A redefinition of least generalizations and its application to inductive logic program synthesis
  Esra Erdem and Pierre Flener (1997)
  to imported by mh on 2008-04-23 16:38:41
  | URL | BibTeX  
• Specifications are necessarily informal or: some more myths of formal methods
  Baudouin Le Charlier and Pierre Flener Journal of Systems and Software 40 275--296 (1998)
  to article ase comparison formal_methods position_paper program_synthesis software_engineering by emanuel and 2 other people on 2008-04-18 17:43:10
  | URL | BibTeX  
• Inductive Programming
  Pierre Flener and Derek Partridge Automated Software Engineering 8 131--137 (2001)
  to article ase induction inductive_programming position_paper program_synthesis software_engineering by emanuel and 2 other people on 2008-04-18 17:29:28
  | URL | BibTeX  
• Inductive logic program synthesis with DIALOGS
  Pierre Flener Inductive Logic Programming, 6th International Workshop, ILP'96, Selected Papers 175--198 (1997)
  to analytical_ip dialogs ilp induction inductive_programming inproceedings program_synthesis by emanuel and 1 other person on 2008-04-15 17:41:34
  | URL | BibTeX  
• Inductive synthesis of recursive logic programs: achievements and prospects
  Pierre Flener and Serap Yilmaz The Journal of Logic Programming 41 141--195 (1999)
  to article comparison dialogs ilp inductive_programming program_synthesis survey by emanuel and 4 other people on 2008-04-14 16:26:40
  | URL | BibTeX  
• Completing open logic programs by constructive induction
  Esra Erdem and Pierre Flener International Journal of Intelligent Systems 14 995-1019 (1999)
  to imported by ip on 2007-11-21 11:50:54
  | URL | BibTeX