Report from Dagstuhl Seminar 15411 Multimodal Manipulation Under Uncertainty

This report documents the program and the outcomes of Dagstuhl Seminar 15411 “Multimodal Manipulation Under Uncertainty”. The seminar was organized around brief presentations designed to raise questions and initiate discussions, multiple working groups addressing specific topics, and extensive plenary debates. Section 3 reproduces abstracts of brief presentations, and Section 4 summarizes the results of the working groups. Seminar October 4–9, 2015 – http://www.dagstuhl.de/15411 1998 ACM Subject Classification I.2.9 Robotics

[1]  Niels Schwartz,et al.  Spectral Reflections of Topological Spaces , 2017, Appl. Categorical Struct..

[2]  Sumit Gulwani,et al.  Programming by Examples - and its applications in Data Wrangling , 2016, Dependable Software Systems Engineering.

[3]  P. Parrend,et al.  Software is Not Fragile , 2016 .

[4]  James Babcock,et al.  Artificial General Intelligence , 2016, Lecture Notes in Computer Science.

[5]  Conor Ryan,et al.  Handbook of Genetic Programming Applications , 2015, Springer International Publishing.

[6]  Sumit Gulwani,et al.  Inductive programming meets the real world , 2015, Commun. ACM.

[7]  José Hernández-Orallo,et al.  Knowledge acquisition with forgetting: an incremental and developmental setting , 2015, Adapt. Behav..

[8]  Jurriaan Rot,et al.  Lax Bialgebras and Up-To Techniques for Weak Bisimulations , 2015, CONCUR.

[9]  Luc De Raedt,et al.  Inducing Probabilistic Relational Rules from Probabilistic Examples , 2015, IJCAI.

[10]  Stephen Muggleton,et al.  Learning Efficient Logical Robot Strategies Involving Composable Objects , 2015, IJCAI.

[11]  Shane Legg,et al.  Human-level control through deep reinforcement learning , 2015, Nature.

[12]  Mark Harman,et al.  Ieee Transactions on Evolutionary Computation 1 , 2022 .

[13]  Tarek R. Besold,et al.  The Artificial Jack of All Trades : The Importance of Generality in Approaches to Human-Level Artificial Intelligence , 2015 .

[14]  William B. Langdon,et al.  Genetically Improved Software , 2015, Handbook of Genetic Programming Applications.

[15]  Zhi-Hua Zhou,et al.  Logical Vision: Meta-Interpretive Learning for Simple Geometrical Concepts , 2015, ILP.

[16]  Mariano Alcañiz Raya,et al.  Markerless monocular tracking system for guided external eye surgery , 2014, Comput. Medical Imaging Graph..

[17]  Stephen Muggleton,et al.  Bias reformulation for one-shot function induction , 2014, ECAI.

[18]  Stephen Muggleton,et al.  Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited , 2013, Machine Learning.

[19]  William B. Langdon,et al.  Mycoplasma contamination in the 1000 Genomes Project , 2014, BioData Mining.

[20]  M. J. Rupérez,et al.  Automatic supervision of gestures to guide novice surgeons during training , 2014, Surgical Endoscopy.

[21]  Luc De Raedt,et al.  A particle filter for hybrid relational domains , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[22]  Niels Schwartz Locales as spectral spaces , 2013 .

[23]  J. Hernández-Orallo Deep Knowledge : Inductive Programming as an Answer , 2013 .

[24]  R. Quiroga Concept cells: the building blocks of declarative memory functions , 2012, Nature Reviews Neuroscience.

[25]  Luc De Raedt,et al.  Learning relational affordance models for robots in multi-object manipulation tasks , 2012, 2012 IEEE International Conference on Robotics and Automation.

[26]  Ute Schmid,et al.  Inductive rule learning on the knowledge level , 2011, Cognitive Systems Research.

[27]  Luc De Raedt,et al.  The magic of logical inference in probabilistic programming , 2011, Theory and Practice of Logic Programming.

[28]  W. Langdon,et al.  Unexpected presence of mycoplasma probes on human microarrays. , 2009, BioTechniques.

[29]  Ute Schmid,et al.  A Unifying Framework for Analysis and Evaluation of Inductive Programming Systems , 2009 .

[30]  Y. Niv Reinforcement learning in the brain , 2009 .

[31]  Michael Winter,et al.  Distributive contact lattices: Topological representations , 2008, J. Log. Algebraic Methods Program..

[32]  Riccardo Poli,et al.  A Field Guide to Genetic Programming , 2008 .

[33]  Ute Schmid,et al.  Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach , 2006, J. Mach. Learn. Res..

[34]  Michael Winter,et al.  A representation theorem for Boolean contact algebras , 2005, Theor. Comput. Sci..

[35]  Steven Vickers THE DOUBLE POWERLOCALE AND EXPONENTIATION: A CASE STUDY IN GEOMETRIC LOGIC , 2004 .

[36]  V. Pestov,et al.  Fraïssé Limits, Ramsey Theory, and topological dynamics of automorphism groups , 2003, math/0305241.

[37]  Hideki Tsuiki,et al.  Real number computation through Gray code embedding , 2002, Theor. Comput. Sci..

[38]  Willem L. Fouché,et al.  Symmetry and the Ramsey Degrees of Finite Relational Structures , 1999, J. Comb. Theory, Ser. A.

[39]  J. Michael Dunn,et al.  Positive modal logic , 1995, Stud Logica.

[40]  Taisuke Sato,et al.  A Statistical Learning Method for Logic Programs with Distribution Semantics , 1995, ICLP.

[41]  Stephen Grossberg,et al.  The ART of adaptive pattern recognition by a self-organizing neural network , 1987, Computer.

[42]  Peter Freyd All topoi are localic or why permutation models prevail , 1987 .

[43]  A. Blass Prime ideals yield almost maximal ideals , 1987 .

[44]  Dana S. Scott,et al.  Data Types as Lattices , 1976, SIAM J. Comput..

[45]  Melvin Hochster,et al.  Prime ideal structure in commutative rings , 1969 .

[46]  C. S. Wallace,et al.  An Information Measure for Classification , 1968, Comput. J..

[47]  B. Ripley,et al.  Pattern Recognition , 1968, Nature.