I’ve just received the Program of the AAAI 2005 Conference (by email) and I post it below for your convenience. I’ll present a paper there “Controversial Users demand Local Trust Metrics: an Experimental Study on Epinions.com Community” (pdf). If you are interested or you’ll be in Pittsburgh for the conference and want to discuss, please contact me at massa AT itc DOT it.
[ keywords for being indexed: AAAI05, AAAI 05, AAAI2005 , AAAI 2005 ]
AAAI-05 Technical Program Schedule
Sunday, July 10
7:00 – 8:00 PM
AAAI-05 / IAAI-05 Opening Reception
Monday, July 11
8:30 – 9:00 AM
AAAI-05 Welcome and Opening Remarks / Paper Award
Presentations
Manuela Veloso and Subbarao Kambhampati, AAAI-05
Program Cochairs
IAAI-05 Welcome / Deployed Application Award
Announcements
Neil Jacobstein and Bruce Porter, Program Cochairs
AAAI Special Award Presentations
Tom Mitchell, Awards Committee Chair and Ron Brachman,
AAAI President
9:00 – 10:00 AM
AAAI-05 Keynote Address: Marvin Minsky, MIT Media
Laboratory
10:00 – 10:20 AM
Coffee Break
10:20 – 11:20 AM
Technical Paper Session: Machine Learning 1
Discriminative Model Selection for Belief Net
Structures
Yuhong Guo and Russ Greiner
nFOIL: Integrating Naïve Bayes and FOIL
Niels Landwehr, Kristian Kersting, and Luc De Raedt
Online Query Relaxation via Bayesian Causal Structures
Discovery
Ion Muslea and Thomas J. Lee
Technical Paper Session: Planning 1
State Agnostic Planning Graphs and the Application to
Belief-Space Planning
William Cushing and Daniel Bryce
Genome Rearrangement and Planning
Esra Erdem and Elisabeth Tillier
Conformant Planning for Domains with Constraints—A New
Approach
Tran Cao Son, Phan Huy Tu, Michael Gelfond, and A.
Ricardo Morales
Technical Paper Session: Multiagent Systems 1
Supporting Collaborative Activity
Meirav Hadad, Gilad Armon-Kest, Gal A. Kaminka, and
Sarit Kraus
OAR: A Formal Framework for Multi-Agent Negotiation
Jiaying Shen, Ingo Weber, and Victor Lesser
Distributing Coalitional Value Calculations among
Cooperative Agents
Talal Rahwan and Nicholas R. Jennings
Technical Paper Session: Nonmonotonic and Common-Sense
Reasoning
An Axiomatic Account of Formal Argumentation
Martin Caminada and Leila Amgoud
Cumulative Effects of Concurrent Actions on
Numeric-Valued Fluents
Esra Erdem and Alfredo Gabaldon
Practical First-Order Argumentation
Philippe Besnard and Anthony Hunter
Sister Conference Highlights Track
KDD 1: KDD-2004: The Tenth ACM SIGKDD International
Conference on Knowledge Discovery and Data Mining
ICAPS 1: ICAPS-2005: The International Conference on
Automated Planning and Scheduling
UAI 1: UAI-2004: The Twentieth Conference on
Uncertainty in Artificial Intelligence
11:30 AM – 12:30 PM
Technical Paper Session: Constraint Satisfaction 1
Generalized NoGoods in CSPs
George Katsirelos and Fahiem Bacchus
Constrained Decision Diagrams
Kenil C. K. Cheng and Roland H. C. Yap
A Fast Arc Consistency Algorithm for n-ary Constraints
Olivier Lhomme and Jean-Charles Régin
Technical Paper Session: Natural Language Processing 1
Scaling Up Word Sense Disambiguation via Parallel
Texts
Yee Seng Chan and Hwee Tou Ng
Exploiting Subjectivity Classification to Improve
Information Extraction
Ellen Riloff, Janyce Wiebe, and William Phillips
Capturing Expression Using Linguistic Information
Özlem Uzuner and Boris Katz
Technical Paper Session: Multi-Robot Systems
Coordination and Adaptation in Impromptu Teams
Michael Bowling and Peter McCracken
Robust and Self-Repairing Formation Control for Swarms
of Mobile Agents
Jimming Cheng, Winston Cheng, and Radhika Nagpal
Heterogeneous Multirobot Coordination with Spatial and
Temporal Constraints
Mary Koes, Illah Nourbakhsh, and Katia Sycara
Technical Paper Session: Automated Reasoning
Compact Propositional Encodings of First-Order
Theories
Deepak Ramachandran and Eyal Amir
Propositional Fragments for Knowledge Compilation and
Quantified Boolean Formulae
Sylvie Coste-Marquis, Daniel Le Berre, Florian
Letombe, and Pierre Marquis
Recommender Systems: Attack Types and Strategies
Michael P. O’Mahony, Neil J. Hurley, and Guénolé C. M.
Silvestre
Sister Conference Highlights Track
KDD 2: KDD-2004: The Tenth ACM SIGKDD International
Conference on Knowledge Discovery and Data Mining
ICAPS 2: ICAPS-2005: The International Conference on
Automated Planning and Scheduling
UAI 2: UAI-2004: The Twentieth Conference on
Uncertainty in Artificial Intelligence
12:30 – 1:50 PM
Lunch Break
1:50 – 2:50 PM
Technical Paper Session: Vision/Challenge
Tool Use for Autonomous Agents
Robert St. Amant and Alexander B. Wood
A Computational Model of the Cerebral Cortex
Thomas Dean
Samuel Meets Amarel: Automating Value Function
Approximation Using Global State Space Analysis
Sridhar Mahadevan
Technical Paper Session: Temporal Reasoning 1
Temporal Dynamic Controllability Revisited
Paul Morris and Nicola Muscettola
Anytime, Complete Algorithm for Finding Utilitarian
Optimal Solutions to STPPs
Bart Peintner and Martha E. Pollack
Exploiting the Structure of Hierarchical Plans in
Temporal Constraint Propagation
Neil Yorke-Smith
Technical Paper Session: Knowledge Acquisition and
Information Retrieval 1
Searching for Common Sense: Populating Cyc™ from the
Web
Cynthia Matuszek, Michael Witbrock, Robert C. Kahlert,
John Cabral, David Schneider, Purvesh Shah, and Doug
Lenat
Impact of Linguistic Analysis on the Semantic Graph
Coverage and Learning of Document Extracts
Jure Leskovec, Natasa Milic-Frayling, Marko Grobelnik
An Analysis of Knowledge Collected from Volunteer
Contributors
Timothy Chklovski and Yolanda Gil
Technical Paper Session: Human-Computer Interaction
Mathematical Domain Reasoning Tasks in Natural
Language Tutorial Dialog on Proofs
Christoph Benzmüller and Quoc Bao Vo
A Decision Theoretic Model for Stress Recognition and
User Assistance
Wenhui Liao, Weihong Zhang, Zhiwei Zhu, and Qiang Ji
On the Evaluation of Dynamic Critiquing: A Large-Scale
User Study
Kevin McCarthy, Lorraine McGinty, Barry Smyth, and
James Reilly
Sister Conference Highlights Track
CogSci 1: CogSci 2004: The Twenty-Sixth Annual Meeting
of the Cognitive Science Society
ICCBR 1: ICCBR 2003: The Fifth International
Conference on Case-Based Reasoning
KCAP 1: KCAP-2003: The Second International Conference
on Knowledge Capture
3:00 – 4:00 PM
Technical Paper Session: Information Integration
Constraint-Based Entity Matching
Warren Shen, Xin Li, and AnHai Doan
A Constraint Satisfaction Approach to Geospatial
Reasoning
Martin Michalowski and Craig A. Knoblock
Solving Everyday Physical Reasoning Problems by
Analogy Using Sketches
Matthew Klenk, Kenneth D. Forbus, Emmett Tomai,
Hyeonkyeong Kim, and Brian Kyckelhahn
Technical Paper Session: Planning 2
Planning for Stream Processing Systems
Anton Riabov and Zhen Liu
Coordinating Agile Systems through the Model-based
Execution of Temporal Plans
Thomas Léauté and Brian C. Williams
Prottle: A Probabilistic Temporal Planner
Iain Little, Douglas Aberdeen, and Sylvie Thiébaux
Technical Paper Session: Auctions and Market-Based
Systems 1
Profit Sharing Auction
Sandip Sen, Teddy Candale, and Susnata Basak
Approximating Revenue-Maximizing Combinatorial
Auctions
Anton Likhodedov and Tuomas Sandholm
A New Strategy-Proof Greedy-Allocation Combinatorial
Auction Protocol and Its Extension to Open Ascending
Auction Protocol
Takayuki Ito, Makoto Yokoo, Atsushi Iwasaki, and
Shigeo Matsubara
Technical Paper Session: Vision, Music, Speech
Learning Static Object Segmentation from Motion
Segmentation
Michael G. Ross and Leslie Pack Kaelbling
Modeling Form for On-line Following of Musical
Performances
Bryan Pardo and William Birmingham
Spotting Subsequences Matching an HMM Using the
Average Observation Probability Criteria with
Application to Keyword Spotting
Marius Calin Silaghi
Sister Conference Highlights Track
CogSci 2: CogSci 2004: The Twenty-Sixth Annual Meeting
of the Cognitive Science Society
ICCBR 2: ICCBR 2003: The Fifth International
Conference on Case-Based Reasoning
KCAP 2: KCAP-2003: The Second International Conference
on Knowledge Capture
4:00 – 4:20 PM
Coffee Break
4:20 – 5:20 PM
Technical Paper Session: Machine Learning 2
Towards Learning Stochastic Logic Programs from
Proof-Banks
Luc De Raedt, Kristian Kersting, and Sunna Torge
The Regularized EM Algorithm
Haifeng Li, Keshu Zhang, and Tao Jiang
Discovering Domain-Specific Composite Kernels
Thomas Briggs and Tim Oates
Technical Paper Session: Constraint Satisfaction 2
Finding Diverse and Similar Solutions in Constraint
Programming
Emmanuel Hebrard, Brahim Hnich, Barry O’Sullivan, and
Toby Walsh
SAT-Based versus CSP-Based Constraint Weighting for
Satisfiability
Duc Nghia Pham, John Thornton, Abdul Sattar, and
Abdelraouf Ishtaiwi
Generating Hard Satisfiable Formulas by Hiding
Solutions Deceptively
Haixia Jia, Cristopher Moore, and Doug Strain
Technical Paper Session: Multiagent Learning
Efficient No-Regret Multiagent Learning
Bikramjit Banerjee and Jing Peng
Agent-Organized Networks for Multi-Agent Production
and Exchange
Matthew E. Gaston and Marie desJardins
Optimal Efficient Learning Equilibrium: Imperfect
Monitoring in Symmetric Games
Ronen I. Brafman and Moshe Tennenholtz
Technical Paper Session: Markov Decision Processes 1
Planning and Execution with Phase Transitions
Håkan L. S. Younes
Efficient Maximization in Solving POMDPs
Zhengzhu Feng and Shlomo Zilberstein
Error Bounds for Approximate Value Iteration
Rémi Munos
Sister Conference Highlights Track
CP 1: CP 2004: The Tenth International Conference on
Principles and Practice of Constraint Programming
ISWC 1: ISWC-2004: The Third International Semantic
Web Conference
5:30 – 6:30 PM
Invited Talk Session
From Knowledge to Intelligence — Building Blocks and
Applications
Chitta Baral, Arizona State University
Invited Talk (Title TBA)
Amy Greenwald, Brown University
7:30 – 10:00 PM
Fellows Dinner
Tuesday, July 12
8:45 – 9:00 AM
Game Playing Competition Award Presentation
Michael Genesereth, Stanford University
9:00 – 10:00 AM
AAAI Presidential Address
Ronald J. Brachman, Corporation for National Research
Initiatives
10:00 – 10:20 AM
Coffee Break
10:20 – 11:20 AM
Technical Paper Session: Reinforcement Learning 1
Giving Advice about Preferred Actions to Reinforcement
Learners Via Knowledge-Based Kernel Regression
Richard Maclin, Jude Shavlik, Lisa Torrey, Trevor
Walker, and Edward Wild
Improving Action Selection in MDP’s via Knowledge
Transfer
Alexander A. Sherstov and Peter Stone
Reasoning about Intended Actions
Chitta Baral and Michael Gelfond
Technical Paper Session: Search
External-Memory Pattern Databases Using Structured
Duplicate Detection
Rong Zhou and Eric A. Hansen
The Max K-Armed Bandit: A New Model of Exploration
Applied to Search Heuristic Selection
Vincent A. Cicirello and Stephen F. Smith
Large-Scale Parallel Breadth-First Search
Richard E. Korf and Peter Schultze
Technical Paper Session: Constraint Satisfaction 3
SymChaff: A Structure-Aware Satisfiability Solver
Ashish Sabharwal
DC-SSAT: A Divide-and-Conquer Approach to Solving
Stochastic Satisfiability Problems Efficiently
Stephen M. Majercik and Byron Boots
Weighted Super Solutions for Constraint Programs
Alan Holland and Barry O’Sullivan
Technical Paper Session: Logic Programming
Properties of Programs with Monotone and Convex
Constraints
Lengning Liu and Miroslaw Truszczynski
Using SAT and Logic Programming to Design
Polynomial-Time Algorithms for Planning in
Non-Deterministic Domains
Chitta Baral, Thomas Eiter, and Jicheng Zhao
A Theory of Forgetting in Logic Programming
Kewen Wang, Abdul Sattar, and Kaile Su
Sister Conference Highlights Track
KR 1: KR-2004: The Ninth International Conference on
the Principles of Knowledge Representation and
Reasoning
ICML 1: ICML-2004: The Twenty-First International
Conference on Machine Learning
Russell Greiner, University of Alberta
AAMAS 1: AAMAS 2004: The Third International Joint
Conference on Autonomous Agents and Multi Agent
Systems
11:30 AM – 12:30 PM
Technical Paper Session: Machine Learning 3
Spectral Clustering of Biological Sequence Data
William Pentney and Marina Meila
Data-Driven MCMC for Learning and Inference in
Switching Linear Dynamic Systems
Sang Min Oh, James M. Rehg, Tucker Balch, and Frank
Dellaert
Analogical Learning of Visual/Conceptual Relationships
in Sketches
Kenneth D. Forbus, Jeffrey Usher, and Emmett Tomai
Technical Paper Session: Temporal Reasoning 2
Extending Continuous Time Bayesian Networks
Karthik Gopalratnam, Henry Kautz, and Daniel S. Weld
Augmenting Disjunctive Temporal Problems with
Finite-Domain Constraints
Michael D. Moffitt, Bart Peintner, and Martha E.
Pollack
Functional Specification of Probabilistic Process
Models
Avi Pfeffer
Technical Paper Session: Auctions and Market-Based
Systems 2
Solving the Auction-Based Task Allocation Problem in
an Open Environment
David Sarne and Sarit Kraus
Mechanism Design for Single-Value Domains
Moshe Babaioff, Ron Lavi, and Elan Pavlov
Combinatorial Auctions with k-wise Dependent
Valuations
Vincent Conitzer, Tuomas Sandholm, and Paolo Santi
Technical Paper Session: Robotics
Learning CPG Sensory Feedback with Policy Gradient for
Biped Locomotion for a Full-Body Humanoid
Gen Endo, Jun Morimoto, Takamitsu Matsubara, Jun
Nakanishi, and Gordon Cheng
A Relational Representation for Procedural Task
Knowledge
Stephen Hart, Roderic Grupen, and David Jensen
Recovery Planning for Ambiguous Cases in Perceptual
Anchoring
Mathias Broxvall, Silvia Cordeschi, Lars Karlsson, and
Alessandro Saffiotti
Sister Conference Highlights Track
KR 2: KR-2004: The Ninth International Conference on
the Principles of Knowledge Representation and
Reasoning
ICML 2: ICML-2004: The Twenty-First International
Conference on Machine Learning
Russell Greiner, University of Alberta
12:30 – 1:50 PM
Lunch Break
1:50 – 2:50 PM
Invited Talk Session
How Can AI and Robotics Help Us Understand Social
Animal Behavior?
Tucker Balch, Georgia Institute of Technology
May All Your Plans Succeed!
Dana S. Nau, University of Maryland
3:00 – 4:00 PM
Technical Paper Session: Knowledge Representation
Only-Knowing: Taking It Beyond Autoepistemic Reasoning
Gerhard Lakemeyer and Hector J. Levesque
Issues in Reasoning about Interaction Networks in
Cells: Necessity of Event Ordering Knowledge
Nam Tran, Chitta Baral, and Carron Shankland
Prioritized Component Systems
Gerhard Brewka, Ilkka Niemelä, and Miroslaw
Truszczynski
Technical Paper Session: Activity Recognition
Unsupervised Activity Recognition Using Automatically
Mined Common Sense
Danny Wyatt, Matthai Philipose, and Tanzeem Choudhury
Large-Scale Localization from Wireless Signal Strength
Julie Letchner, Dieter Fox, and Anthony LaMarca
Multiple Agent Event Detection and Representation in
Videos
Asaad Hakeem and Mubarak Shah
Technical Paper Session: Game Theory
Approximate Strategic Reasoning through Hierarchical
Reduction of Large Symmetric Games
Michael P. Wellman, Daniel M. Reeves, Kevin M.
Lochner, Shih-Fen Cheng, and Rahul Suri
Coalitional Games in Open Anonymous Environments
Makoto Yokoo, Vincent Conitzer, Tuomas Sandholm, Naoki
Ohta, and Atsushi Iwasaki
Mixed-Integer Programming Methods for Finding Nash
Equilibria
Tuomas Sandholm, Andrew Gilpin, and Vincent Conitzer
Technical Paper Session: Markov Decision Processes 2
Geometric Variance Reduction in Markov Chains.
Application to Value Function and Gradient Estimation
Rémi Munos
Risk-Sensitive Planning with One-Switch Utility
Functions: Value Iteration
Yaxin Liu and Sven Koenig
Networked Distributed POMDPs: New Approaches to
Optimization and Utility Elicitation in Autonomic
Computing
Relu Patrascu, Craig Boutilier, Rajarshi Das, Jeffrey
O. Kephart, Gerald Tesauro, and William E. Walsh
Sister Conference Highlights Track
ACL 1: ACL-2003: The Forty-first Annual Meeting of the
Association for Computational Linguistics
IUI 1: IUI-2005: 2005 International Conference on
Intelligent User Interfaces
SAT 1: SAT 2004: The Seventh International Conference
on Theory and Applications of Satisfiability Testing
4:00 – 4:20 PM
Coffee Break
4:20 – 5:20 PM
Technical Paper Session: Machine Learning 4
Unsupervised and Semi-Supervised Multi-Class Support
Vector Machines
Linli Xu and Dale Schuurmans
Semi-Supervised Sequence Modeling with Syntactic Topic
Models
Wei Li and Andrew McCallum
A Hybrid Generative/Discriminative Approach to
Semi-Supervised Classifier Design
Akinori Fujino, Naonori Ueda, and Kazumi Saito
Technical Paper Session: Case-Based Reasoning
Competence Driven Case-Base Mining
Rong Pan, Qiang Yang, Jeffrey Junfeng Pan, and Lei Li
Complexity-Guided Case Discovery for Case Based
Reasoning
Stewart Massie, Susan Craw, and Nirmalie Wiratunga
Interactive Knowledge Validation and Query Refinement
in CBR
Monica H. Ou, Geoff A. W. West, Mihai Lazarescu, and
Chris Clay
Technical Paper Session: Multiagent Systems 2
A Synthesis of Distributed Constraint Optimization and
POMDPs
Ranjit Nair, Pradeep Varakantham, Milind Tambe, and
Makoto Yokoo
Controversial Users Demand Local Trust Metrics: An
Experimental Study on Epinions.com Community
Paolo Massa and Paolo Avesani
Cooperative Exploration in the Electronic Marketplace
David Sarne and Sarit Kraus
Sister Conference Highlights Track
ACL 2: ACL-2003: The Forty-first Annual Meeting of the
Association for Computational Linguistics
IUI 2: IUI-2005: 2005 International Conference on
Intelligent User Interfaces
SAT 2: SAT 2004: The Seventh International Conference
on Theory and Applications of Satisfiability Testing
5:30 – 6:30 PM
Technical Paper Session: Natural Language Processing 2
Clustering and Classifying Person Names by Origin
Fei Huang, Stephan Vogel, and Alex Waibel
A Probabilistic Classification Approach for Lexical
Textual Entailment
Oren Glickman, Ido Dagan, and Moshe Koppel
Automatic Text Summarization of Newswire: Lessons
Learned from the Document Understanding Conference
Ani Nenkova
Technical Paper Session: Planning 3
Learning Measures of Progress for Planning Domains
SungWook Yoon, Alan Fern, and Robert Givan
Learning Planning Rules in Noisy Stochastic Worlds
Luke S. Zettlemoyer, Hanna M. Pasula, and Leslie Pack
Kaelbling
Lazy Approximation for Solving Continuous
Finite-Horizon MDPs
Lihong Li and Michael L. Littman
Technical Paper Session: Game Playing
Effective Short-Term Opponent Exploitation in
Simplified Poker
Bret Hoehn, Finnegan Southey, Robert C. Holte, and
Valeriy Bulitko
Search versus Knowledge for Solving Life and Death
Problems in Go
Akihiro Kishimoto and Martin Müller
The Semantics of Potential Intentions / 71
Xiaocong Fan and John Yen
6:30 – 9:30 PM
AAAI-05 Poster/Demo Session
Wednesday, July 13
9:00 – 10:00 AM
Invited Talk Session
Representation Policy Iteration: A Unified Framework
for Learning Behavior and Representation
Sridhar Mahadevan, University of Massachusetts,
Amherst
Faceted Metadata in Search Interfaces
Marti Hearst, University of California Berkeley School
of Information Management and Systems
10:00 – 10:20 AM
Coffee Break
10:20 – 11:20 AM
Technical Paper Session: Reinforcement Learning 2
Online Resource Allocation Using Decompositional
Reinforcement Learning
Gerald Tesauro
Planning in Models that Combine Memory with Predictive
Representations of State
Michael R. James and Satinder Singh
Value Functions for RL-Based Behavior Transfer: A
Comparative Study
Matthew E. Taylor, Peter Stone, and Yaxin Liu
Technical Paper Session: Natural Language Processing 3
Cross-Lingual Bootstrapping of Semantic Lexicons: The
Case of FrameNet
Sebastian Padó and Mirella Lapata
Robust Textual Inference Via Learning and Abductive
Reasoning
Rajat Raina, Andrew Y. Ng, and Christopher D. Manning
Learning to Transform Natural to Formal Languages
Rohit J. Kate, Yuk Wah Wong, and Raymond J. Mooney
Technical Paper Session: Preferences
Constraint-Based Preferential Optimization
Steve Prestwich, Francesca Rossi, Kristen Brent
Venable, and Toby Walsh
Optimal Recommendation Sets: Covering Uncertainty over
User Preferences
Robert Price and Paul R. Messinger
Anyone but Him: The Complexity of Precluding an
Alternative
Edith Hemaspaandra, Lane A. Hemaspaandra, and Jörg
Rothe
Technical Paper Session: Discovery and Learning
Representing Conditional Independence Using Decision
Trees
Jiang Su and Harry Zhang
Inducing Hierarchical Process Models in Dynamic
Domains
Ljupco Todorovski, Will Bridewell, Oren Shiran, and
Pat Langley
Incremental Estimation of Discrete Hidden Markov
Models Based on a New Backward Procedure
German Florez-Larrahondo, Susan Bridges, and Eric A.
Hansen
11:30 AM – 12:30 PM
Technical Paper Session: Constraint Satisfaction 4
Performing Bayesian Inference by Weighted Model
Counting
Tian Sang, Paul Beame, and Henry Kautz
Superstabilizing, Fault-Containing Distributed
Combinatorial Optimization
Adrian Petcu, Boi Faltings
Exploiting Temporal Flexibility to Obtain High Quality
Schedules
Nicola Policella, Xiaofang Wang, Stephen F. Smith, and
Angelo Oddi
Technical Paper Session: Search and Planning
Simultaneous Heuristic Search for Conjunctive Subgoals
Lin Zhu and Robert Givan
A Domain-Independent System for Case-Based Task
Decomposition without Domain Theories
Ke Xu and Hector Muñoz-Avila
Cost-Algebraic Heuristic Search
Stefan Edelkamp, Shahid Jabbar, and Alberto Lluch
Lafuente
Technical Paper Session: Data Mining
A Maximum Likelihood Framework for Integrating
Taxonomies
Suju Rajan, Kunal Punera, and Joydeep Ghosh
Enhanced Direct Linear Discriminant Analysis for
Feature Extraction on High Dimensional Data
A. K. Qin, S. Y. M. Shi, P. N. Suganthan, and Marco
Loog
Using Modified Lasso Regression to Learn Large
Undirected Graphs in a Probabilistic Framework
Fan Li and Yiming Yang
Technical Paper Session: Bayesian Networks
Identifying Direct Causal Effects in Linear Models
Jin Tian
A Multifrontal QR Factorization Approach to
Distributed Inference Applied to Multirobot
Localization and Mapping
Frank Dellaert, Alexander Kipp, and Peter Krauthausen
Distribution-Free Learning of Bayesian Network
Structure in Continuous Domains
Dimitris Margaritis
12:30 – 1:50 PM
Lunch Break
1:50 – 2:50 PM
Technical Paper Session: Machine Learning 5
Robust Supervised Learning
J. Andrew Bagnell
Finite Sample Error Bound for Parzen Windows
Peng Zhang, Jing Peng, and Norbert Riedel
Speeding Up Learning in Real-time Search via Automatic
State Abstraction
Vadim Bulitko, Nathan Sturtevant, and Maryia
Kazakevich
Technical Paper Session: Logics
Strong and Uniform Equivalence in Answer-Set
Programming: Characterizations and Complexity Results
for the Non-Ground Case
Thomas Eiter, Michael Fink, Hans Tompits, and Stefan
Woltran
Integrating Description Logics and Action Formalisms:
First Results
Franz Baader, Carsten Lutz, Maja Milicic, Ulrike
Sattler, and Frank Wolter
Diagnosing Terminologies
Stefan Schlobach
Technical Paper Session: Knowledge Acquisition and
Information Retrieval 2
Selection and Ranking of Propositional Formulas for
Large-Scale Service Directories
Ion Constantinescu, Walter Binder, and Boi Faltings
An Analysis of Procedure Learning by Instruction
Jim Blythe
A Learning-Based Term-Weighting Approach for
Information Retrieval
GuangCan Liu, Yong Yu, and Xing Zhu
Technical Paper Session: Diagnosis
On Compiling System Models for Faster and More
Scalable Diagnosis
Jinbo Huang and Adnan Darwiche
Model-Based Monitoring and Diagnosis of Systems with
Software-Extended Behavior
Tsoline Mikaelian, Brian C. Williams, and Martin
Sachenbacher
Diagnosis as Approximate Belief State Enumeration for
Probabilistic Concurrent Constraint Automata
Oliver B. Martin, Brian C. Williams, and Michel D.
Ingham