Search

Search Results

• Towards Tractable and Practical ABox Abduction over Inconsistent Description Logic Ontologies

  Jianfeng Du, Kewen Wang, Yi-Dong Shen

  2015-02-18

• The Relative Expressiveness of Abstract Argumentation and Logic Programming

  Hannes Strass

  2015-02-18

• Structured Embedding via Pairwise Relations and Long-Range Interactions in Knowledge Base

  Fei Wu, Jun Song, Yi Yang, Xi Li, Zhongfei Zhang, Yueting Zhuang

  2015-02-18

• An Abstract View on Modularity in Knowledge Representation

  Yuliya Lierler, Miroslaw Truszczynski

  2015-02-18

• Parallelized Hitting Set Computation for Model-Based Diagnosis

  Dietmar Jannach, Thomas Schmitz, Kostyantyn Shchekotykhin

  2015-02-18

• Grounded Fixpoints

  Bart Bogaerts, Joost Vennekens, Marc Denecker

  2015-02-18

• Belief Revision with General Epistemic States

  Hua Meng, Hui Kou, Sanjiang Li

  2015-02-18

• Answering Conjunctive Queries over EL Knowledge Bases with Transitive and Reflexive Roles

  Giorgio Stefanoni, Boris Motik

  2015-02-18

• CORPP: Commonsense Reasoning and Probabilistic Planning, as Applied to Dialog with a Mobile Robot

  Shiqi Zhang, Peter Stone

  2015-02-16

• Game-Theoretic Approach for Non-Cooperative Planning

  Jaume Jordán, Eva Onaindia

  2015-02-16

• Toward Mobile Robots Reasoning Like Humans

  Jean Oh, Arne Suppé, Felix Duvallet, Abdeslam Boularias, Luis Navarro-Serment, Martial Hebert, Anthony Stentz, Jerry Vinokurov, Oscar Romero, Christian Lebiere, Robert Dean

  2015-02-16

• Pattern-Based Variant-Best-Neighbors Respiratory Motion Prediction Using Orthogonal Polynomials Approximation

  KinMing Kam, Shouyi Wang, Stephen Bowen, Wanpracha Chaovalitwongse

  2015-02-16

• Tackling Mental Health by Integrating Unobtrusive Multimodal Sensing

  Dawei Zhou, Jiebo Luo, Vincent Silenzio, Yun Zhou, Jile Hu, Glenn Currier, Henry Kautz

  2015-02-16

• Integration and Evaluation of a Matrix Factorization Sequencer in Large Commercial ITS

  Carlotta Schatten, Ruth Janning, Lars Schmidt-Thieme

  2015-02-16

• RANSAC versus CS-RANSAC

  Geun Jo, Kee-Sung Lee, Devy Chandra, Chol-Hee Jang, Myung-Hyun Ga

  2015-02-16

• Learning to Manipulate Unknown Objects in Clutter by Reinforcement

  Abdeslam Boularias, James Bagnell, Anthony Stentz

  2015-02-16

• Going Beyond Literal Command-Based Instructions: Extending Robotic Natural Language Interaction Capabilities

  Tom Williams, Gordon Briggs, Bradley Oosterveld, Matthias Scheutz

  2015-02-16

• Bayesian Active Learning-Based Robot Tutor for Children's Word-Reading Skills

  Goren Gordon, Cynthia Breazeal

  2015-02-16

• Efficient Benchmarking of Hyperparameter Optimizers via Surrogates

  Katharina Eggensperger, Frank Hutter, Holger Hoos, Kevin Leyton-Brown

  2015-02-16

• Limitations of Front-To-End Bidirectional Heuristic Search

  Joseph Barker, Richard Korf

  2015-02-16

• BDD-Constrained Search: A Unified Approach to Constrained Shortest Path Problems

  Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata

  2015-02-16

• Stochastic Local Search for Satisfiability Modulo Theories

  Andreas Fröhlich, Armin Biere, Christoph Wintersteiger, Youssef Hamadi

  2015-02-16

• Pruning Game Tree by Rollouts

  Bojun Huang

  2015-02-16

• Convergent Plans for Large-Scale Evacuations

  Caroline Even, Victor Pillac, Pascal Van Hentenryck

  2015-02-16

• Resilient Upgrade of Electrical Distribution Grids

  Emre Yamangil, Russell Bent, Scott Backhaus

  2015-02-16