BibSonomy :: author :: Flener ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(71)

<< < 1 | 2 | 3 > >>

Inductive Synthesis of Recursive Logic Programs: Achievements and Prospects.
Pierre Flener, and Serap Yilmaz J. Log. Program. 41(2-3):141-195 (1999)
to dblp by dblp and 3 other users on Dec 1, 2011, 12:00 AM
URL | BibTeX
Inductive Programming.
Pierre Flener, and Ute Schmid Encyclopedia of Machine Learning, Springer, (2010)
to dblp by dblp on Nov 25, 2011, 12:00 AM
URL | BibTeX
Programming by Demonstration.
Pierre Flener, and Ute Schmid Encyclopedia of Machine Learning, Springer, (2010)
to dblp by dblp on Nov 25, 2011, 12:00 AM
URL | BibTeX
Trace-Based Programming.
Pierre Flener, and Ute Schmid Encyclopedia of Machine Learning, Springer, (2010)
to dblp by dblp on Nov 25, 2011, 12:00 AM
URL | BibTeX
An Abstract Formalization of Correct Schemas for Program Synthesis.
Pierre Flener, Kung-Kiu Lau, Mario Ornaghi, and Julian Richardson J. Symb. Comput. 30(1):93-127 (2000)
to dblp by dblp on Sep 20, 2011, 12:00 AM
URL | BibTeX
Logic Program Synthesis from Incomplete Specifications.
Pierre Flener, and Yves Deville J. Symb. Comput. 15(5/6):778-805 (1993)
to dblp by dblp on Sep 20, 2011, 12:00 AM
URL | BibTeX
Foreword to the Special Issue on Schemas.
Pierre Flener, Kung-Kiu Lau, and Wolfgang Bibel J. Symb. Comput. 30(1):1-3 (2000)
to dblp by dblp on Sep 20, 2011, 12:00 AM
URL | BibTeX
An automaton Constraint for Local Search.
Jun He, Pierre Flener, and Justin Pearson Fundam. Inform. 107(2-3):223-248 (2011)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
Financial Portfolio Optimisation.
Pierre Flener, Justin Pearson, and Luis G. Reyna CP, volume 3258 of Lecture Notes in Computer Science, page 227-241. Springer, (2004)
to dblp by dblp on Aug 10, 2011, 12:00 AM
URL | BibTeX
Synthesis of Programs in Computational Logic.
David A. Basin, Yves Deville, Pierre Flener, Andreas Hamfelt, and Jørgen Fischer Nilsson Program Development in Computational Logic, volume 3049 of Lecture Notes in Computer Science, page 30-65. Springer, (2004)
to dblp by dblp on Jul 7, 2011, 12:00 AM
URL | BibTeX
Introducing esra, a Relational Language for Modelling Combinatorial Problems.
Pierre Flener, Justin Pearson, and Magnus Ågren LOPSTR, volume 3018 of Lecture Notes in Computer Science, page 214-232. Springer, (2003)
to dblp by dblp and 1 other user on Jul 6, 2011, 12:00 AM
URL | BibTeX
Introducing ESRA, a Relational Language for Modelling Combinatorial Problems.
Pierre Flener, Justin Pearson, and Magnus Ågren CP, volume 2833 of Lecture Notes in Computer Science, page 971. Springer, (2003)
to dblp by dblp and 1 other user on Jul 5, 2011, 12:00 AM
URL | BibTeX
Achievements and Prospects of Program Synthesis.
Pierre Flener Computational Logic: Logic Programming and Beyond, volume 2407 of Lecture Notes in Computer Science, page 310-346. Springer, (2002)
to dblp by dblp on Jul 1, 2011, 12:00 AM
URL | BibTeX
Towards Inferring Labelling Heuristics for CSP Application Domains.
Zeynep Kiziltan, Pierre Flener, and Brahim Hnich KI/ÖGAI, volume 2174 of Lecture Notes in Computer Science, page 275-289. Springer, (2001)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX
A Meta-heuristic for Subset Problems.
Pierre Flener, Brahim Hnich, and Zeynep Kiziltan PADL, volume 1990 of Lecture Notes in Computer Science, page 274-287. Springer, (2001)
to dblp by dblp on Jun 22, 2011, 12:00 AM
URL | BibTeX
Compiling High-Level Type Constructors in Constraint Programming.
Pierre Flener, Brahim Hnich, and Zeynep Kiziltan PADL, volume 1990 of Lecture Notes in Computer Science, page 229-244. Springer, (2001)
to dblp by dblp on Jun 22, 2011, 12:00 AM
URL | BibTeX
Generalised Logic Program Transformation Schemas.
Halime Büyükyildiz, and Pierre Flener LOPSTR, volume 1463 of Lecture Notes in Computer Science, page 49-68. Springer, (1997)
to dblp by dblp on Jun 17, 2011, 12:00 AM
URL | BibTeX
On Correct Program Schemas.
Pierre Flener, Kung-Kiu Lau, and Mario Ornaghi LOPSTR, volume 1463 of Lecture Notes in Computer Science, page 128-147. Springer, (1997)
to dblp by dblp on Jun 17, 2011, 12:00 AM
URL | BibTeX
Schema-Guided Synthesis of CLP Programs.
Hamza Zidoum, Pierre Flener, and Brahim Hnich LOPSTR, volume 1559 of Lecture Notes in Computer Science, page 309-312. Springer, (1998)
to dblp by dblp on Jun 17, 2011, 12:00 AM
URL | BibTeX
On the Desirable Link Between Theory and Practice in Abstract Interpretation Extended Abstract.
Baudouin Le Charlier, and Pierre Flener SAS, volume 1302 of Lecture Notes in Computer Science, page 379-387. Springer, (1997)
to dblp by dblp on Jun 16, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100