Search

Search Results

• A New Approach to Knowledge Base Revision in DL-Lite

  Zhe Wang, Kewen Wang, Rodney Topor

  369-374

  2010-07-03

• Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities

  Thomas Eiter, Wolfgang Faber, Mushthofa Mushthofa

  303-308

  2010-07-03

• Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription

  Heng Zhang, Mingsheng Ying

  375-380

  2010-07-03

• Automated Program Debugging Via Multiple Predicate Switching

  Yongmei Liu, Bing Li

  327-332

  2010-07-03

• First-Order Indefinability of Answer Set Programs on Finite Structures

  Yin Chen, Yan Zhang, Yi Zhou

  285-290

  2010-07-03

• Inducing Probability Distributions from Knowledge Bases with (In)dependence Relations

  Jianbing Ma, Weiru Liu, Anthony Hunter

  339-344

  2010-07-03

• Knowledge Compilation in the Modal Logic S5

  Meghyn Bienvenu, Hélène Fargier, Pierre Marquis

  261-266

  2010-07-03

• Topological Relations between Convex Regions

  Sanjiang Li, Weiming Liu

  321-326

  2010-07-03

• A Belief Revision Framework for Revising Epistemic States with Partial Epistemic States

  Jianbing Ma, Weiru Liu, Salem Benferhat

  333-338

  2010-07-03

• Representing Preferences Among Sets

  Gerhard Brewka, Miroslaw Truszczynski, Stefan Woltran

  273-278

  2010-07-03

• An Inconsistency-Tolerant Approach to Information Merging Based on Proposition Relaxation

  Steven Schockaert, Henri Prade

  363-368

  2010-07-03

• Ontologies and Representations of Matter

  Ernest Davis

  291-296

  2010-07-03

• Decomposed Utility Functions and Graphical Models for Reasoning about Preferences

  Ronen Brafman, Yagil Engel

  267-272

  2010-07-03

• Past and Future of DL-Lite

  Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev

  243-248

  2010-07-03

• Clickthrough Log Analysis by Collaborative Ranking

  Bin Cao, Dou Shen, Kuansan Wang, Qiang Yang

  224-229

  2010-07-03

• Transfer Learning in Collaborative Filtering for Sparsity Reduction

  Weike Pan, Evan Xiang, Nathan Liu, Qiang Yang

  230-235

  2010-07-03

• Collaborative Filtering Meets Mobile Recommendation: A User-Centered Approach

  Vincent Zheng, Bin Cao, Yu Zheng, Xing Xie, Qiang Yang

  236-241

  2010-07-03

• Goal-Driven Autonomy in a Navy Strategy Simulation

  Matthew Molineaux, Matthew Klenk, David Aha

  1548-1554

  2010-07-05

• Integrating a Closed World Planner with an Open World Robot: A Case Study

  Kartik Talamadupula, J. Benton, Paul Schermerhorn, Subbarao Kambhampati, Matthias Scheutz

  1561-1566

  2010-07-05

• Integrating Constraint Satisfaction and Spatial Reasoning

  Unmesh Kurup, Nicholas Cassimatis

  1536-1541

  2010-07-05

• Supporting Wilderness Search and Rescue with Integrated Intelligence: Autonomy and Information at the Right Time and the Right Place

  Lanny Lin, Michael Roscheck, Michael Goodrich, Bryan Morse

  1542-1547

  2010-07-05

• An Integrated Systems Approach to Explanation-Based Conceptual Change

  Scott Friedman, Kenneth Forbus

  1523-1529

  2010-07-05

• Learning Methods to Generate Good Plans: Integrating HTN Learning and Reinforcement Learning

  Chad Hogg, Ugur Kuter, Hector Munoz-Avila

  1530-1535

  2010-07-05

• Using Imagery to Simplify Perceptual Abstraction in Reinforcement Learning Agents

  Samuel Wintermute

  1567-1573

  2010-07-05

• Integrated Systems for Inducing Spatio-Temporal Process Models

  Chunki Park, Will Bridewell, Pat Langley

  1555-1560

  2010-07-05