Technical Program
Friday, August 15

[TS] Technical Sessions

AI and Data Integration 2

• Query rewriting and answering under constraints in data integration systems.
  Andrea Calì, Domenico Lembo and Riccardo Rosati
• Logic Programs for Consistently Querying Data Integration Systems.
  Loreto Bravo and Leopoldo Bertossi

9:00am-10:00am
- Cholula 5 -

Natural Language 2

• Evaluating Coverage for Large Symbolic NLG Grammars.
  Charles B. Callaway
• GRAEL: an agent-based evolutionary computing approach for natural language grammar development.
  . Guy De Pauw

9:00am-10:00am
- Cholula 6 -

Learning 7: Inductive Logic Programming

• Learning Minesweeper with Multirelational Learning.
  Lourdes Peña Castillo and Stefan Wrobel
• Spaces of Theories with Ideal Refinement Operators.
  Nicola Fanizzi, Stefano Ferilli, Nicola Di Mauro and Teresa M. A. Basile

9:00am-10:00am
- Cholula 7 -

Vision

• Switching Hypothesized Measurements: A Dynamic Model with Applications to Occlusion Adaptive Joint Tracking.
  Yang Wang, Tele Tan and Kia-Fock Loe
• Use of Off-line Dynamic Programming for Efficient Image Interpretation.
  Ramana Isukapalli and Russell Greiner

10:30am-11:30am
- Cholula 5 -

User Modeling

• A General Model for Online Probabilistic Plan Recognition.
  Hung H. Bui
• Corpus-based, Statistical Goal Recognition.
  Nate Blaylock and James Allen

10:30am-11:30am
- Cholula 6 -

Probabilistic Planning 1: Abstraction, Transfer

• Generalizing Plans to New Environments in Relational MDPs.
  Carlos Guestrin, Daphne Koller, Chris Gearhart and Neal Kanodia
• SMDP Homomorphisms: An Algebraic Approach to Abstraction in Semi-Markov Decision Processes.
  Balaraman Ravindran and Andrew G. Barto

10:30am-11:30am
- Cholula 7 -

Search 1

• Faster Heuristic Search Algorithms for Planning with Uncertainty and Full Feedback.
  Blai Bonet and Héctor Geffner
• An Improved Algorithm for Optimal Bin Packing.
  Richard E. Korf

11:40am-12:40am
- Cholula 3 -

Description Logics 3

• Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies.
  Stefan Schlobach and Ronald Cornet
• On the Undecidability of Description and Dynamic Logics with Recursion and Counting.
  Piero A. Bonatti

11:40am-12:40am
- Cholula 5 -

Probabilistic Planning 2

• Covariant Policy Search.
  J. Andrew Bagnell and Jeff Schneider
• Point-based value iteration: An anytime algorithm for POMDPs.
  Joelle Pineau, Geoff Gordon and Sebastian Thrun

11:40am-12:40am
- Cholula 7 -

Knowledge Representation 2

• From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief.
  Thomas Bolander
• Evaluating Significance of Inconsistencies.
  Anthony Hunter
• Inverse Circumscription.
  Hubie Chen

2:00pm-3:30pm
- Cholula 5 -

Multi-Agent Systems 9: Nonmanipulability and Fault-tolerance

• Universal Voting Protocol Tweaks to Make Manipulation Hard.
  Vincent Conitzer and Tuomas Sandholm
• Probabilistically Survivable MASs.
  Sarit Kraus, V. S. Subrahmanian and N. Cihan Tas
• Minimally intrusive negotiating agents for resource sharing.
  Fariba Sadri, Francesca Toni and Paolo Torroni

2:00pm-3:30pm
- Cholula 6 -

Satisfiability

• Backbone Guided Local Search for Maximum Satisfiability.
  Weixiong Zhang, Ananda Rangan and Moshe Looks
• Backdoors To Typical Case Complexity.
  Ryan Williams, Carla P. Gomes and Bart Selman
• A Structure-Based Variable Ordering Heuristic for SAT.
  Jinbo Huang and Adnan Darwiche

2:00pm-3:30pm
- Cholula 7 -

Resource-bounded Reasoning

• Belief, Awareness, and Two-Dimensional Logic.
  Hu Liu and Shier Ju
• Approximating Optimal Policies for Agents with Limited Execution Resources.
  Dmitri A. Dolgov and Edmund H. Durfee
• Definition and Complexity of Some Basic Metareasoning Problems.
  Vincent Conitzer and Tuomas Sandholm

2:00pm-3:30pm
- Cholula 8 -

Reasoning about Actions and Change 2

• Action representation and partially observable planning using epistemic logic.
  Andreas Herzig, Jérôme Lang, and Pierre Marquis
• The Concurrent, Continuous FLUX.
  Yves Martin
• Causal Theories of Action: A Computational Core.
  Jérôme Lang, Fangzhen Lin and Pierre Marquis

4:00pm-5:30pm
- Cholula 1 -

Art and Creativity

• Getting Serious about the Development of Computational Humor.
  Oliviero Stock and Carlo Strapparava
• Automated Generation of Graphic Sketches by Example.
  Michelle X. Zhou and Min Chen
• A Learning-Based Jam Session System that Imitates a Player's Personality Model.
  Masatoshi Hamanaka, Masataka Goto, Hideki Asoh and Nobuyuki Otsu

4:00pm-5:30pm
- Cholula 2 -

Search 2

• Comparing Best-First Search and Dynamic Programming for Optimal Multiple Sequence Alignment.
  Heath Hohwald, Ignacio Thayer and Richard E. Korf
• Sparse-Memory Graph Search.
  Eric Hansen and Rong Zhou
• Factored A* Search for Models over Sequences and Trees.
  Dan Klein and Christopher D. Manning

4:00pm-5:30pm
- Cholula 3 -

Scheduling

• Contract Algorithms and Robots on Rays: Unifying Two Scheduling Problems.
  Daniel S. Bernstein, Lev Finkelstein and Shlomo Zilberstein
• Distributed Patient Scheduling in Hospitals.
  T. O. Paulussen, N. R. Jennings, K. S. Decker and A. Heinzl
• Maximizing Flexibility: A Retrac-tion Heuristic for Oversubscribed Scheduling Problems.
  Laurence A. Kramer and Stephen F. Smith

4:00pm-5:30pm
- Cholula 5 -

Multiagent Systems 10

• Detecting & Avoiding Interference Between Goals in Intelligent Agents.
  John Thangarajah, Lin Padgham and Michael Winikoff
• Behavior Bounding: Toward Effective Comparisons of Agents & Humans. Scott A.
  Wallace and John E. Laird
• Characterization of Strategy/False-name Proof Combinatorial Auction Protocols: Price-oriented, Rationing-free Protocol.
  Makoto Yokoo

4:00pm-5:30pm
- Cholula 6 -

Learning 8: Text and Web

• A Learning Algorithm for Web Page Scoring Systems.
  Michelangelo Diligenti, Marco Gori and Marco Maggini
• Learning to Classify Texts Using Positive and Unlabeled Data.
  Xiaoli Li and Bing Liu
• Does a New Simple Gaussian Weighting Approach Perform Well in Text Categorization?.
  Giorgio Maria Di Nunzio and Alessandro Micarelli

4:00pm-5:30pm
- Cholula 7 -

Ontologies and Foundations

• Integrity and Change in Modular Ontologies.
  Heiner Stuckenschmidt and Michel Klein
• Tucking RCC in Cyc's Ontological Bed.
  Pierre Grenon
• What is Artificial Intelligence? Psychometric AI as an Answer.
  Selmer Bringsjord and Bettina Schimanski

4:00pm-5:30pm
- Cholula 8 -