From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

SYNAPSE- A System for Logic Program Synthesis from Incomplete Specifications., и . LPE, стр. 9-15. Case Western Reserver University, Cleveland, (1992)An Introduction to Inductive Programming, и . Artificial Intelligence Review, 29 (1): 45-62 (2008)Trace-Based Programming., и . Encyclopedia of Machine Learning, Springer, (2010)On Correct Program Schemas., , и . LOPSTR, том 1463 из Lecture Notes in Computer Science, стр. 128-147. Springer, (1997)Generalised Logic Program Transformation Schemas., и . LOPSTR, том 1463 из Lecture Notes in Computer Science, стр. 49-68. Springer, (1997)Exploring Declarative Local-Search Neighbourhoods with Constraint Programming., , , и . CP, том 11802 из Lecture Notes in Computer Science, стр. 37-53. Springer, (2019)Constraint Solving on Bounded String Variables., , и . CPAIOR, том 9075 из Lecture Notes in Computer Science, стр. 375-392. Springer, (2015)A New Declarative Bias for ILP: Construction Modes., и . ILP Work-in-progress reports, том 35 из CEUR Workshop Proceedings, CEUR-WS.org, (2000)Generation of Implied Constraints for Automaton-Induced Decompositions., , и . ICTAI, стр. 1076-1083. IEEE Computer Society, (2013)Time-Series Constraints: Improvements and Application in CP and MIP Contexts., , , , , , и . CPAIOR, том 9676 из Lecture Notes in Computer Science, стр. 18-34. Springer, (2016)