Reports of the AAAI 2010 Conference Workshops
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Conference Program Contents AAAI-14 Conference Committee
Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI-14) Twenty-Sixth Conference on Innovative Applications of Artificial Intelligence (IAAI-14) Fih Symposium on Educational Advances in Artificial Intelligence (EAAI-14) July 27 – 31, 2014 Québec Convention Centre Québec City, Québec, Canada Sponsored by the Association for the Advancement of Artificial Intelligence Cosponsored by the AI Journal, National Science Foundation, Microso Research, Google, Amazon, Disney Research, IBM Research, Nuance Communications, Inc., USC/Information Sciences Institute, Yahoo Labs!, and David E. Smith In cooperation with the Cognitive Science Society and ACM/SIGAI Conference Program Contents AAAI-14 Conference Committee AI Video Competition / 7 AAAI acknowledges and thanks the following individuals for their generous contributions of time and Awards / 3–4 energy to the successful creation and planning of the AAAI-14, IAAI-14, and EAAI-14 Conferences. Computer Poker Competition / 7 Committee Chair Conference at a Glance / 5 CRA-W / CDC Events / 4 Subbarao Kambhampati (Arizona State University, USA) Doctoral Consortium / 6 AAAI-14 Program Cochairs EAAI-14 Program / 6 Carla E. Brodley (Northeastern University, USA) Exhibition /24 Peter Stone (University of Texas at Austin, USA) Fun & Games Night / 4 IAAI Chair and Cochair General Information / 25 David Stracuzzi (Sandia National Laboratories, USA) IAAI-14 Program / 11–19 David Gunning (PARC, USA) Invited Presentations / 3, 8–9 EAAI-14 Symposium Chair and Cochair Posters / 4, 23 Registration / 9 Laura -
Traceability and Securing of Results As Essential Challenges of Research in the Digital Age
The Digital Turn in the Sciences and Humanities Traceability and securing of results as essential challenges of research in the digital age April 8-9, 2019 Hörsaalruine Berlin Museum of Medical History Charitéplatz 1, 10117 Berlin DFG About this conference One currently pivotal global challenge for scientific research in the digital age concerns the potential contradiction between (largely) automatized processing of an ever-growing amount of data and the need for validating, verifying and securing results. This two-day conference will illustrate how these essential challenges regarding data provenance, collection, storage, processing and interpretation are tackled in a number of different disciplines such as physics, bioinformatics, materials science and the digital humanities as represented by computational linguistics. In addition to gathering state-of-the- art facts and insights from these different subjects, the conference aims at promoting exchange and reflection from a broader, interdisciplinary perspective. The focus will thereby lie on methodological issues and deliberately refrain from addressing -equally essential- ethical and legal aspects. The conference is part of the Digital Turn in the Sciences and Humanities project of the Head Office of the German Research Foundation (DFG). The DFG Head Office has launched this project to assess the current situation of the sciences and humanities in the digital age. The aim of this work is to put the DFG in a better position to respond to key developments from a scientific point of view -
AI Profiles: an Interview with Kristian Kersting
AI MATTERS, VOLUME 4, ISSUE 3 4(3) 2018 AI Profiles: An Interview with Kristian Kersting Marion Neumann (Washington University in St. Louis; [email protected]) DOI: 10.1145/3284751.3284758 Introduction on the PC (often at senior level) for several top conference and co-chaired the PC of ECML This column is the sixth in our series profiling PKDD 2013 and UAI 2017. He is the Special- senior AI researchers. This month we inter- ity Editor in Chief for Machine Learning and AI view Kristian Kersting, Professor in Computer of Frontiers in Big Data, and is/was an action Science and Deputy Director of the Centre for editor of TPAMI, JAIR, AIJ, DAMI, and MLJ. Cognitive Science at the Technical University of Darmstadt, Germany. Getting to Know Kristian Kersting When and how did you become interested in AI? As a student, I was attending an AI course of Bernhard Nebel at the University of Freiburg. This was the first time I dived deep into AI. However, my interest in AI was probably trig- gered earlier. Around the age of 16, I think, I was reading about AI in some popular science magazines. I did not get all the details, but I was fascinated. What professional achievement are you most proud of? Figure 1: Kristian Kersting We were collaborating with biologists on un- derstanding better how plants react to (a)biotic Biography stress using machine learning to analyze hy- perspectral images. We got quite encourag- After receiving his Ph.D. from the University of ing results. The first submission to a jour- Freiburg in 2006, he was with the MIT, Fraun- nal, however, got rejected. -
Curriculum Vitae
Kristian Kersting On move to the Computer Science and Artificial Intelligence Laboratory (CSAIL) at Massachusetts Institute of Technology (MIT), Cambridge, MA, USA Machine Learning Lab, Albert-Ludwigs-Universit¨at Georges-Koehler-Allee, Building 079 79110 Freiburg, Germany Voice: +49-761-203-8013 Fax: +49-761-203-8007 E-mail: [email protected] Web: http://www.informatik.uni-freiburg.de/˜kersting/ Research Creating smart systems. Developing a theory of and techniques for statistical learning and acting Interests within worlds of objects and relations among these objects. Implementing these techniques for real-world applications. Keywords: artificial intelligence, machine learning, data mining, statistical learning, inductive logic programming, statistical relational learning, relational reinforcement learning. Personal Born on November 28, 1973 in Cuxhaven, Germany, as son of the lawyer and notary Dr. Uwe Record Kersting und the lawyer Dr. Marianne Kersting. Sister Dr. Annette Kersting, born on September 7, 1971 studied Law and currently works for the government of Hamburg, Germany. Martial status: unmarried. Education Albert-Ludwigs-Universit¨at, Freiburg, Germany April 2006 Dr. rer.-nat. (Ph.D.), Computer Science, summa cum laude (”1.0 mit Auszeichnung”) “An Inductive Logic Programming Approach to Statistical Relational Learning” Promoter: Prof. Dr. Luc De Raedt, Albert-Ludwigs-Universit¨at, Freiburg, Germany Reader: Prof. Dr. Stephen Muggleton, Imperial College, London, UK Albert-Ludwigs-Universit¨at, Freiburg, Germany -
Locandina Seminario 1
Prof. Dr. Kristian Kersting Computer Science Department Data Mining Group TU Dortmund University, Germany Martedì 27 settembre, ore 10,30, Sala Consiglio, VII Piano, Dipartimento di Informatica Lifted Machine Learning Our minds make inferences that appear to go far beyond standard data science approaches. Whereas people can learn richer representations and use them for a wider range of data science tasks, data science algorithms have been mainly employed in a stand-alone context, constructing a single function from a table of training examples. In this seminar, I shall touch upon an approach to data science that can capture these human learning aspects by combining graphs, databases, and relational logic in general with statistical learning and optimization. Here, high-level (logical) features such as individuals, relations, functions, and connectives provide declarative clarity and succinct characterizations of the data science problem. While attractive from a modeling viewpoint, this declarative data science programming also often assuredly complicates the underlying model, making solving it potentially very slow. Hence, I shall also touch upon ways to reduce the solver costs. One promising direction to speed up is to cache local structures in the computational models. I shall illustrate this for probabilistic inference, linear programs, and convex quadratic programs, all working horses of data science. Based on joint works with Martin Mladenov, Amir Globerson, Martin Grohe, Christopher Re, Sriraam Natarjan and many more. Kristian Kersting is an Associate Professor for Computer Science at the TU Dortmund University, Germany. He received his PhD from the University of Freiburg, Germany, in 2006. After a PostDoc at MIT, he moved to the Fraunhofer IAIS and the University of Bonn using a Fraunhofer ATTRACT Fellowship. -
Conference Committees
Conference Committees AAAI Conference Committee Chair Subbarao Kambhampati (Arizona State University, USA) AAAI-13 Program Cochairs Marie desJardins (University of Maryland, Baltimore County, USA) Michael L. Littman (Brown University, USA) IAAI-13 Conference Chair and Cochair Hector Munoz-Avila (Lehigh University, USA) David Stracuzzi (Sandia National Laboratories, USA) EAAI-13 Symposium Cochairs Laura E. Brown (Michigan Technological University, USA) David Kauchak (Middlebury College, USA) Special Track on Artificial Intelligence and the Web Cochairs Jeff Heflin (Lehigh University, USA) Markus Krötzsch (University of Oxford, UK) Special Track on Cognitive Systems Cochairs Matthias Scheutz (Tufts University, USA) James Allen (University of Rochester, USA) Special Track on Computational Sustainability and Artificial Intelligence Cochairs Carla P. Gomes (Cornell University, USA) Doug Fisher (Vanderbilt University, USA) Special Track on Robotics Cochairs Siddhartha Srinivasa (Carnegie Mellon University, USA) Andrea L. Thomaz (Georgia Institute of Technology, USA) Tutorial Program Cochairs Carmel Domshlak (Technion Israel Institute of Technology, Israel) Kevin Leyton-Brown (University of British Columbia, Canada) Workshop Program Cochairs Eric Eaton (Bryn Mawr College, USA) Holger Hoos (University of British Columbia, Canada) Doctoral Consortium Cochairs Peter McBurney (King’s College London, UK) Ayanna Howard (Georgia Institute of Technology, USA) Student Abstract and Poster Cochairs Rudolph Triebel (University of Oxford, UK) Kristian Kersting -
Curriculum Vitae
Kristian Kersting Computer Science and Artificial Intelligence Laboratory (CSAIL) Massachusetts Institute of Technology (MIT) Cambridge, MA 02139-4307 USA Voice: +1 617 253 7781 E-mail: [email protected] Web: http://people.csail.mit.edu/kersting/ Research Creating smart systems. Developing a theory of and techniques for statistical learning and acting Interests within worlds of objects and relations among these objects. Implementing these techniques for real-world applications. Keywords: artificial intelligence, machine learning, data mining, statistical learning, inductive logic programming, statistical relational learning, relational reinforcement learning. Personal Born on November 28, 1973 in Cuxhaven, Germany, as son of the lawyer and notary Dr. Uwe Record Kersting und the lawyer Dr. Marianne Kersting. Sister Dr. Annette Kersting, born on September 7, 1971 studied Law and currently works for the government of Hamburg, Germany. On April 13, 2007, married Xenia Kersting (n´eeSchnabel), who is a medical doctor. Education Albert-Ludwigs-Universit¨at, Freiburg, Germany April 2006 Dr. rer.-nat. (Ph.D.), Computer Science, summa cum laude (”1.0 mit Auszeichnung”) “An Inductive Logic Programming Approach to Statistical Relational Learning” Promoter: Prof. Dr. Luc De Raedt, Albert-Ludwigs-Universit¨at, Freiburg, Germany Reader: Prof. Dr. Stephen Muggleton, Imperial College, London, UK Albert-Ludwigs-Universit¨at, Freiburg, Germany May 2000 Diplom (M.Sc.), Computer Science (major), Cognitive Sciences (minor), summa cum laude (”1.0 mit Auszeichnung”) -
Lifted Machine Learning
Prof. Dr. Kristian Kersting Computer Science Department Data Mining Group TU Dortmund University, Germany Martedì 27 settembre, ore 10,30, Sala Consiglio, VII Piano, Dipartimento di Informatica Lifted Machine Learning Our minds make inferences that appear to go far beyond standard data science approaches. Whereas people can learn richer representations and use them for a wider range of data science tasks, data science algorithms have been mainly employed in a stand-alone context, constructing a single function from a table of training examples. In this seminar, I shall touch upon an approach to data science that can capture these human learning aspects by combining graphs, databases, and relational logic in general with statistical learning and optimization. Here, high-level (logical) features such as individuals, relations, functions, and connectives provide declarative clarity and succinct characterizations of the data science problem. While attractive from a modeling viewpoint, this declarative data science programming also often assuredly complicates the underlying model, making solving it potentially very slow. Hence, I shall also touch upon ways to reduce the solver costs. One promising direction to speed up is to cache local structures in the computational models. I shall illustrate this for probabilistic inference, linear programs, and convex quadratic programs, all working horses of data science. Based on joint works with Martin Mladenov, Amir Globerson, Martin Grohe, Christopher Re, Sriraam Natarjan and many more. Kristian Kersting is an Associate Professor for Computer Science at the TU Dortmund University, Germany. He received his PhD from the University of Freiburg, Germany, in 2006. After a PostDoc at MIT, he moved to the Fraunhofer IAIS and the University of Bonn using a Fraunhofer ATTRACT Fellowship. -
Statistical Relational Artificial Intelligence
Statistical Relational Artificial Intelligence Logic, Probability, and Computation Synthesis Lectures on Artificial Intelligence and Machine Learning Editors Ronald J. Brachman, Yahoo! Labs William W. Cohen, Carnegie Mellon University Peter Stone, University of Texas at Austin Statistical Relational Artificial Intelligence: Logic, Probability, and Computation Luc De Raedt, Kristian Kersting, Sriraam Natarajan, and David Poole 2016 Representing and Reasoning with Qualitative Preferences: Tools and Applications Ganesh Ram Santhanam, Samik Basu, and Vasant Honavar 2016 Metric Learning Aurélien Bellet, Amaury Habrard, and MarcSebban 2015 Graph-Based Semi-Supervised Learning Amarnag Subramanya and Partha Pratim Talukdar 2014 Robot Learning from Human Teachers Sonia Chernova and Andrea L. omaz 2014 General Game Playing Michael Genesereth and Michael ielscher 2014 Judgment Aggregation: A Primer Davide Grossi and Gabriella Pigozzi 2014 iii An Introduction to Constraint-Based Temporal Reasoning Roman Barták, Robert A. Morris, and K. Brent Venable 2014 Reasoning with Probabilistic and Deterministic Graphical Models: Exact Algorithms Rina Dechter 2013 Introduction to Intelligent Systems in Traffic and Transportation Ana L.C. Bazzan and Franziska Klügl 2013 A Concise Introduction to Models and Methods for Automated Planning Hector Geffner and Blai Bonet 2013 Essential Principles for Autonomous Robotics Henry Hexmoor 2013 Case-Based Reasoning: A Concise Introduction Beatriz López 2013 Answer Set Solving in Practice Martin Gebser, Roland Kaminski, Benjamin