Search

Search Results

• Blended Planning and Acting: Preliminary Approach, Research Challenges

  Dana Nau, Malik Ghallab, Paolo Traverso

  2015-03-04

• Conducting Neuroscience to Guide the Development of AI

  Jeffrey Siskind

  2015-03-04

• Speech Adaptation in Extended Ambient Intelligence Environments

  Bonnie Dorr, Lucian Galescu, Ian Perera, Kristy Hollingshead-Seitz, David Atkinson, Micah Clark, William Clancey, Yorick Wilks, Eric Fosler-Lussier

  2015-03-04

• Towards a Programmer’s Apprentice (Again)

  Howard Shrobe, Boris Katz, Randall Davis

  2015-03-04

• Mechanism Learning with Mechanism Induced Data

  Tie-Yan Liu, Wei Chen, Tao Qin

  2015-03-04

• Compile!

  Pierre Marquis

  2015-03-04

• On the Diagnosis of Cyber-Physical Production Systems

  Oliver Niggemann, Volker Lohweg

  2015-03-04

• Impact of Modeling Languages on the Theory and Practice in Planning Research

  Jussi Rintanen

  2015-03-04

• Machine Teaching: An Inverse Problem to Machine Learning and an Approach Toward Optimal Education

  Xiaojin Zhu

  2015-03-04

• Semantic Representation

  Lenhart Schubert

  2015-03-04

• Steering Evolution Strategically: Computational Game Theory and Opponent Exploitation for Treatment Planning, Drug Design, and Synthetic Biology

  Tuomas Sandholm

  2015-03-04

• Abstraction for Solving Large Incomplete-Information Games

  Tuomas Sandholm

  2015-03-04

• Strong Bounds Consistencies and Their Application to Linear Constraints

  Christian Bessiere, Anastasia Paparrizou, Kostas Stergiou

  2015-03-04

• SAT Modulo Monotonic Theories

  Sam Bayless, Noah Bayless, Holger Hoos, Alan Hu

  2015-03-04

• The Extendable-Triple Property: A New CSP Tractable Class beyond BTP

  Philippe Jégou, Cyril Terrioux

  2015-03-04

• SMT-Based Validation of Timed Failure Propagation Graphs

  Marco Bozzano, Alessandro Cimatti, Marco Gario, Andrea Micheli

  2015-03-04

• SAT-Based Strategy Extraction in Reachability Games

  Niklas Een, Alexander Legg, Nina Narodytska, Leonid Ryzhyk

  2015-03-04

• On Computing Maximal Subsets of Clauses that Must Be Satisfiable with Possibly Mutually-Contradictory Assumptive Contexts

  Philippe Besnard, Eric Grégoire, Jean-Marie Lagniez

  2015-03-04

• Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs

  Valeriy Balabanov, Jie-Hong Jiang, Mikolas Janota, Magdalena Widl

  2015-03-04

• Binarisation via Dualisation for Valued Constraints

  David Cohen, Martin Cooper, Peter Jeavons, Stanislav Zivny

  2015-03-04

• Finding Meaningful Gaps to Guide Data Acquisition for a Radiation Adjudication System

  Nick Gisolfi, Madalina Fiterau, Artur Dubrawski

  2015-03-04

• Representation Discovery for MDPs Using Bisimulation Metrics

  Sherry Ruan, Gheorghe Comanici, Prakash Panangaden, Doina Precup

  2015-03-04

• Leveraging Common Structure to Improve Prediction across Related Datasets

  Matt Barnes, Nick Gisolfi, Madalina Fiterau, Artur Dubrawski

  2015-03-04

• A Sequence Labeling Approach to Deriving Word Variants

  Jennifer D'Souza

  2015-03-04

• On Manipulablity of Random Serial Dictatorship in Sequential Matching with Dynamic Preferences

  Hadi Hosseini, Kate Larson, Robin Cohen

  2015-03-04