Book Chapter
A Meta-heuristic for Subset Problems
Pierre Flener, Brahim Hnich and Zeynep Kiziltan
Lecture Notes in Computer Science, 2001, Volume 1990, Practical Aspects of Declarative Languages, Pages 274-287
Book Chapter
Achievements and Prospects of Program Synthesis
Pierre Flener
Lecture Notes in Computer Science, 2002, Volume 2407, Computational Logic: Logic Programming and Beyond, Pages 1-43
Book Chapter
Learning Symbolic Formulations in Design Optimization
Somwrita Sarkar, Andy Dong and John S. Gero
2008, Design Computing and Cognition '08, Part 7, Pages 533-552
Journal Article
Deductive Synthesis of Numerical Simulation Programs from Networks of Algebraic and Ordinary Differential Equations
Thomas Ellman and Takahiro Murata
Automated Software Engineering, 1998, Volume 5, Number 3, Pages 291-319
Book Chapter
Key Constraints and Monotonic Aggregates in Deductive Databases
Carlo Zaniolo
Lecture Notes in Computer Science, 2002, Volume 2408, Computational Logic: Logic Programming and Beyond, Pages 189-205
Book Chapter
Iterative Part-of-Speech Tagging
Alípio Jorge and Alneu de Andrade Lopes
Lecture Notes in Computer Science, 2000, Volume 1925, Learning Language in Logic, Pages 399-413
Book Chapter
Inductive logic program synthesis with DIALOGS
Pierre Flener
Lecture Notes in Computer Science, 1997, Volume 1314, Inductive Logic Programming, Pages 175-198
Book Chapter
Learning Logic programs with random classification noise
Tamás Horváth, Robert H. Sloan and György Turán
Lecture Notes in Computer Science, 1997, Volume 1314, Inductive Logic Programming, Pages 315-336
Book Chapter
Bottom-up evaluation of Datalog programs with arithmetic constraints
Laurent Fribourg and Marcos Veloso Peixoto
Lecture Notes in Computer Science, 1994, Volume 814, Automated Deduction — CADE-12, Pages 311-325
Book Chapter
Compactness Properties for Stable Semantics of Logic Programs
Victor W. Marek and Jeffrey B. Remmel
Lecture Notes in Computer Science, 2007, Volume 4514, Logical Foundations of Computer Science, Pages 379-400