Technical Program
Thursday, August 14
[TS] Technical Sessions
Robotics
-
Non-Invasive Brain-Actuated Control of a Mobile Robot.
José del R. Millán, Frédéric Renkens, Josep Mouriño, and Wulfram Gerstner
-
Exploring Unknown Environments with Mobile Robots using Coverage
Maps.
Cyrill Stachniss and Wolfram Burgard
9:00am-10:00am
- Cholula 1 -
Natural Language 1
-
Extended Gloss Overlaps as a Measure of Semantic Relatedness.
Satanjeev Banerjee and Ted Pedersen
-
Hierarchical Semantic Classification: Word Sense Disambiguation
with World Knowledge.
Massimiliano Ciaramita, Thomas Hofmann and Mark Johnson
9:00am-10:00am
- Cholula 6 -
Learning 4: Evaluating Classifiers
-
AUC: a Statistically Consistent and more Discriminating Measure
than Accuracy.
Charles X. Ling, Jin Huang and Harry Zhang
-
Evaluating Classifiers by Means of Test Data with Noisy Labels.
Chuck P. Lam and David G. Stork
9:00am-10:00am
- Cholula 7 -
Probabilistic Inference 1
-
Variable Resolution Particle Filter.
Vandi Verma, Sebastian Thrun and Reid Simmons
-
Optimal Time-Space Tradeoff in Probabilistic Inference.
David Allen and Adnan Darwiche
10:30am-11:30am
- Cholula 3 -
Qualitative Reasoning 1
-
Categorizing classes of signals by means of fuzzy gradual rules.
Sylvie Galichet, Didier Dubois and Henri Prade
-
Qualitatively Faithful Quantitative Prediction.
Dorian Suc, Daniel Vladusic and Ivan Bratko
10:30am-11:30am
- Cholula 6 -
Learning 5: Tree Learning
-
Skewing: An Efficient Alternative to Lookahead for Decision Tree
Induction.
David Page and Soumya Ray
-
Inductive Learning in Less Than One Sequential Data Scan.
Wei Fan, Haixun Wang, Philip S. Yu and Shaw-Hwa Lo
10:30am-11:30am
- Cholula 7 -
Spatial Reasoning
-
Layered Mereotopology
Maureen Donnelly
-
Reasoning about Distances.
Frank Wolter and Michael Zakharyaschev.
10:30am-11:30am
- Cholula 8 -
Probabilistic Inference 2: First Order
-
First-order probabilistic inference.
David Poole
-
Dynamic Probabilistic Relational Models.
Sumit Sanghai, Pedro Domingos and Daniel Weld
11:40am-12:40pm
- Cholula 3 -
Description Logics 2
-
Abductive Matchmaking using Description Logics.
Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini and Marina Mongiello
-
Least Common Subsumers and Most Specific Concepts in a Description
Logic with Existential Restrictions and Terminological Cycles.
Franz Baader
11:40am-12:40pm
- Cholula 5 -
Qualitative Reasoning 2
-
Gaussian Process Models of Spatial Aggregation Algorithms.
Naren Ramakrishnan and Chris Bailey-Kellogg
-
A New Look at the Semantics and Optimization Methods of CP-Networks.
Ronen I. Brafman and Yannis Dimopoulos
11:40am-12:40pm
- Cholula 6 -
Learning 6: Kernel Methods
-
Multi-prototype Support Vector Machines.
Fabio Aiolli and Alessandro Sperduti
-
Continuous nonlinear dimensionality reduction by kernel eigenmaps.
Matthew Brand
11:40am-12:40pm
- Cholula 7 -
Information Extraction 1
-
Active Learning with Strong and Weak Views: A Case Study on Wrapper
Induction.
Fabio Aiolli and Alessandro Sperduti
-
Hierarchical Hidden Markov Models for Information Extraction.
Marios Skounakis, Mark Craven and Soumya Ray
2:00pm-3:30pm
- Cholula 1 -
Diagnosis and MAS
-
Coupling CSP Decomposition Methods and Diagnosis Algorithms for
Tree-Structured Systems.
Markus Stumptner and Franz Wotawa
-
Model-based Diagnosis of Hybrid Systems.
Sriram Narasimhan and Gautam Biswas
-
On the Design of Social Diagnosis Algorithms for Multi-Agent Teams.
Meir Kalech and Gal A. Kaminka
2:00pm-3:30pm
- Cholula 2 -
Constraints 5
-
Propagate the Right Thing: How Preferences Can Speed-Up Constraint
Solving.
Christian Bessière, Anaïs Fabre and Ulrich Junker
-
Consistency and Set Intersection.
Yuanlin Zhang and Roland H. C. Yap
-
Amalgams of Constraint Satisfaction Problems.
Andrei A. Bulatov and Eugeny S. Skvortsov
2:00pm-3:30pm
- Cholula 3 -
Nonmonotonic Reasoning 2: Logic Programming
-
Aggregate Functions in Disjunc-tive Logic Programming: Semantics,
Complexity, and Implementation in DLV.
T. Dell'Armi, W. Faber, G. Ielpa, Nicola Leone and Gerald Pfeifer
-
On Tight Logic Programs and Yet Another Translation from Normal
Log-ic Programs to Propositional Logic.
Fangzhen Lin and Jicheng Zhao
-
On the Equivalence between An-swer Sets and Models of Completion
for Nested Logic Programs.
. J. You, L. Yuan and Mingyi Zhang
2:00pm-3:30pm
- Cholula 5 -
Multi-Agent Systems 7: Multiagent Reinforcement
Learning and POMDPs
-
Simultaneous Adversarial Multi-Robot Learning.
Michael Bowling and Manuela Veloso
-
A Bayesian Approach to Imitation in Reinforcement Learning.
Bob Price and Craig Boutilier
-
A Bayesian Approach to Imitation in Reinforcement Learning. Bob
Price and Craig Boutilier Taming Decentralized POMDPs: Towards Efficient
Policy Computation for Multiagent Settings
R. Nair, M. Tambe, M. Yokoo, D. Pynadath and S. Marsella
2:00pm-3:30pm
- Cholula 6 -
Planning 1
-
Generalizing GraphPlan by Formulating Planning as a CSP.
Adriana Lopez and Fahiem Bacchus
-
On the application of least-commitment and heuristic search in
temporal planning.
Antonio Garrido and Eva Onaindia
-
In Defense of PDDL Axioms.
Sylvie Thiébaux, Jörg Hoffmann and Bernhard Nebel
2:00pm-3:30pm
- Cholula 7 -
Automated Reasoning
-
A Tractability Result for Reasoning with Incomplete First-Order
Knowledge Bases.
Yongmei Liu and Hector J. Levesque Logical Filtering. Eyal Amir and Stuart
Russell
-
Practical Partition-Based Theorem Proving for Large Knowledge Bases.
Bill MacCartney, Sheila McIlraith, Eyal Amir and Tomas E. Uribe
2:00pm-3:30pm
- Cholula 7 -
Information Extraction 2
-
Intelligent Multimedia Indexing and Retrieval through Multi-source
Information Extraction and Merging.
Jan Kuper, Horacio Saggion, Hamish Cunningham, Thierry Declerck, Franciska
de Jong, Dennis Reidsma, Yorick Wilks and Peter Wittenburg
-
Coherent Keyphrase Extraction via Web Mining.
Peter D. Turney
-
Bayesian Information Extraction Network.
Leonid Peshkin and Avi Pfeffer
4:00pm-5:30pm
- Cholula 1 -
Perception
-
People Tracking with Anonymous and ID-Sensors Using Rao-Blackwellised
Particle Filters.
Dirk Schulz, D. Fox and J. Hightower
-
Where is...? Learning and Utilizing Motion Patterns of Persons
with Mobile Robots.
Grzegorz Cielniak, Maren Bennewitz and Wolfram Burgard
-
An Extension of the ICP Algorithm for Modeling Nonrigid Objects
with Mobile Robots.
Dirk Hähnel, Sebastian Thrun and Wolfram Burgard
4:00pm-5:30pm
- Cholula 2 -
Satisfiability and Phase Transitions
-
Understanding the Power of Clause Learning.
Paul Beame, Henry Kautz and Ashish Sabharwal
-
Phase Transitions of Bounded Satisfiability Problems.
Delbert D. Bailey and Phokion G. Kolaitis
-
Phase Transitions of the Asymmetric Traveling Salesman.
Weixiong Zhang
4:00pm-5:30pm
- Cholula 3 -
Nonmonotonic Reasoning 3
4:00pm-5:30pm
- Cholula 5 -
Multi-Agent Systems 8: Logic-Based MAS
and Communication Languages
-
Protocol Conformance for Logic-Based Agents.
Ulrich Endriss, Nicolas Maudet, Fariba Sadri and F. Toni
-
Hidden Uncertainty in the Logical Representation of Desires.
Jérôme Lang, Leendert van der Torre and Emil Weydert
-
strong>Protocol Conformance for Logic-Based Agents.
Jeremy Pitt
4:00pm-5:30pm
- Cholula 6 -
Planning 2
-
Factored Planning.
Eyal Amir and Barbara Engelhardt
-
A Parametric Hierarchical Planner for Experimenting Abstraction
Techniques.
Giuliano Armano, Giancarlo Cherchi and Eloisa Vargiu
-
Resource Temporal Networks: Definition and Complexity.
Philippe Laborie
4:00pm-5:30pm
- Cholula 7 -
Case-based Reasoning
-
Increasing Dialogue Efficiency in Case-Based Reasoning Without
Loss of Solution Quality.
David McSherry
-
A Weighted Polynomial Information Gain Kernel for Resolving Prepositional
Phrase Attachment Ambiguities with Support Vector Machines.
Bram Vanschoenwinkel and Bernard Manderick
-
The Power of Suggestion.
Barry Smyth and Lorraine McGinty
4:00pm-5:30pm
- Cholula 8 -