IJCAI-03 Preliminary Schedule

Monday, August 11

6:15 pm

IJCAI-03 Opening Ceremony
Acapulco Convention Center

7:15 – 9:15 pm

IJCAI-03 Opening Reception
Acapulco Convention Center

Tuesday, August 12

9:00 - 10:00 am

Keynote Address
Computer Vision: AI or Non-AI Problem
Takeo Kanade, Carnegie Mellon University, USA

10:30 – 11:30 am

Invited Talk
Quantum Information: Fundamentals and Applications
Anton Zeilinger, Vienna University, Austria

Technical Sessions

Nonmonotonic Reasoning 1: Default Logic

114: Ordering Default Theories
Chiaki Sakama

514: Outlier Detection Using Default Logic
Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, and Luigi Palopoli

Cognitive Modeling

685: Dynamic Bayesian modeling of the cerebral activity
Vincent Labatut, Josette Pastor, and Serge Ruff

292: GHOST: experimenting conflicts countermeasures in the pilot's activity
FrÈdÈric Dehais and Catherine Tessier

11:40 am - 12:40 pm

Invited Talk
Constraint Satisfaction, Databases, and Logic
Phokion G. Kolaitis, University of California, Santa Cruz, USA

Technical Sessions

Multi-Agent Systems 1: Multiagent Tracking

649: On Identifying and Managing Relationships in Multi-Agent Systems
Ronald Ashri, Mark d'Inverno, and Michael Luck

702: ODISET: On-line Distributed Session Tracing using Agents
Arturo Galvan-Rodriguez and Salvador Mandujano

Cognitive Robotics

182: Body Movement Analysis of Human-Robot Interaction
Michita Imai, Hiroshi Ishiguro, Takayuki Kanda, and Tetsuo Ono

815: Qualitative Map Learning Based on Co-visibility of Objects
Koichi Hori and Takehisa Yairi

12:40 – 2:00 pm

Lunch

2:00 - 3:30 pm

Technical Sessions

Causality

583: Responsibility and Blame: A Structural-Model Approach
Hana Chockler and Joseph Halpern

843: Causes and Explanations Revisited
James Park

7: A Logic for Causal Reasoning
Alexander Bochman

AI and the Internet

567: A semantic framework for multimedia document adaptation
Jérôme Euzenat, Nabil Layaïda, and Victor Dias

795: An Ontology-based Architecture for Cooperative Information Agents
Guilherme Bittencourt and Frederico Freitas

654: Web Page Cleaning for Web Mining through Feature eighting
Bing Liu and Lan Yi

Constraints 1

491: Solving constraint optimization problems in anytime contexts
Samir Loudni and Boizumault Patrice

214: Scenario-based Stochastic Constraint Programming
Suresh Manandhar, Armagan Tarim, and Toby Walsh

271: Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques
Carmel Domshlak, Francesca Rossi, Brent Venable, and Toby Walsh

Decision Theory 1

142: Qualitative Decision under Uncertainty: Back to Expected Utility
HÈlËne Fargier and RÈgis Sabbadin

318: On the Foundations of Expected Expected Utility
Craig Boutilier

348: Incremental Utility Elicitation with the Minimax Regret Decision Criterion
Craig Boutilier and Tianhan Wang

Learning 1: Partially Labeled Data

731: Semi-Supervised Learning with Explicit Misclassification Modeling
Massih Amini and Patrick Gallinari

35: SVMC: Single-Class Classification With Support Vector Machines
Yu Hwanjo

939: Spectral Learning
Sepandar Kamvar, Dan Klein, and Christopher Manning

Multi-Agent Systems 2: Nash Equilibria

530: Complexity Results about Nash Equilibria
Vincent Conitzer and Tuomas Sandholm

930: A Continuation Method for Nash Equilibria in Graphical Games
Ben Blum and Christian Shelton

955: Local Effect Games
Kevin Leyton-Brown and Moshe Tennenholtz

Temporal Reasoning

359: Tractable Pareto Optimization of Temporal Preferences
Lina Khatib, Paul Morris, Robert Morris, and Brent Venable

433: Incremental Tractable Reasoning about Qualitative Temporal Constraints
Alfonso Gerevini

504: Automatic Video Interpretation: A Novel Algorithm for Temporal Scenario Recognition
FranÁois BrÈmond, Monique Thonnat, and Van-Thinh Vu

4:00 - 5:30 pm

Belief Revision and Update

426: On the Revision of Probabilistic Beliefs using Uncertain Evidence
Hei Chan and Adnan Darwiche

553: Quantifying information and contradiction in propositional logic through epistemic actions
Sebastien Konieczny, Jerome Lang, and Pierre Marquis

92: Minimal Change and Maximal Coherence for Epistemic Logic Program Updates
Yan Zhang

Diagnosis 1

295: Automatic Abstraction in Component-Based Diagnosis Driven by System Observability
Pietro Torasso and Gianluca Torta

774: Automated Qualitative Domain Abstraction
Martin Sachenbacher and Peter Struss

501: Formal Verification of Diagnosability via Symbolic Model Checking
Roberto Cavada, Alessandro Cimatti, and Charles Pecheur

Constraints 2

505: Non-Binary Constraints and Optimal Dual-Graph Representations
Gianluigi Greco and Francesco Scarcello

273: Multiset Ordering Constraints
Alan Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, and Toby Walsh

310: A fast and simple algorithm for bounds consistency of the alldifferent constraint
A. Lopez-Ortiz, C.-G. Quimper, J. Tromp, and Peter van Beek

Description Logics 1

118: Terminological cycles in a description logic with existential restrictions
Franz Baader

244: Decidability of SHIQ with Complex Role Inclusion Axioms
Ian Horrocks and Ulrike Sattler

246: Keys, Nominals, and Concrete Domains
Carlos Areces, Ian Horrocks, Carsten Lutz, and Ulrike Sattler

Learning 2: Clustering & Bayes Net Learning

844: Data Clustering: Principal Components, Hopfield and Self-Aggregation Networks
Chris Ding

881: Distributed Clustering Based on Sampling Local Density Estimates
Matthias Klusch, Stefano Lodi, and Gianluca Moro

513: When Discriminative Learning of Bayesian Network Parameters Is Easy
Peter Gr¸nwald, Petri Myllym‰ki, Teemu Roos, Henry Tirri, and Hannes Wettig

Multi-Agent Systems 3: Coalition Formation

668: Complexity of Determining Nonemptiness of the Core
Vincent Conitzer and Tuomas Sandholm

192: Dynamics of Coalition Formation in Combinatorial Trading
Yuhai Tu and Yiming Ye

520: An Integrated Multilevel Learning Approach to Multiagent Coalition Formation
Xin Li and Leen-Kiat Soh

Reasoning about Actions and Change 1

170: Describing Additive Fluents in Action Language C+
Joohyung Lee and Vladimir Lifschitz

840: Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus
Alfredo Gabaldon

915: Reasoning about Knowledge, Time and Concurrency in the Situation Calculus
Richard Scherl

5:45 – 7:00 pm

IJCAI Computers & Thought Award Lecture
Making Markets and Democracy Work: A Story of Incentives and Computing
Tuomas Sandholm, Carnegie Mellon University, USA

Wednesday, August 13

9:00 - 10:00 am

Invited Talk
The Past, Present and Future of Web Information Retrieval
Mehran Sahami, Google, Inc. and Stanford University, USA

Technical Sessions

Multi-Agent Systems 4: Game Playing

802: Improving Coevolutionary Search for Optimal Multiagent Behaviors
Sean Luke, Liviu Panait, and R. Paul Wiegand

202: When Evolving Populations Is Better than Co-Evolving Individuals: The Blind Mice Problem
Thomas Miconi

Robotics: SLAM 1

Distinguished Paper Award
705: Thin Junction Tree Filters for Simultaneous Localization and Mapping
Mark Paskin

833: DP-SLAM: Fast, Robust Simultaneous Localization and Mapping Without Predetermined Landmarks
Austin Eliazar and Ronald Parr

Decision Theory 2

592: Great Expectations. Part I: On the Customizability of Generalized Expected Utility
Francis Chu and Joseph Halpern

596: Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule
Francis Chu and Joseph Halpern

Constraints 3

322: In the quest of the best form of local consistency for weighted CSP
Javier Larrosa and Thomas Schiex

582: On a generalization of triangulated graphs for domains decomposition of CSPs
Assef Chmeiss, Philippe Jegou, and Lamia Keddar

10:30 - 11:30 am

Invited Talk
User Interfaces: An AI Challenge
Daniel S. Weld, University of Washington, USA

Technical Sessions

Multi-Agent Systems 5: Evolution and Genetic Algorithms

Distinguished Paper Award
899: Approximating Game-Theoretic Optimal Strategies for Full-scale Poker
Darse Billings, Neil Burch, Aaron Davidson, Robert Holte, Jonathan Schaeffer, Terence Schauenberg, and Duane Szafron

722: Last-Branch and Speculative Pruning Algorithms for Maxn
Nathan Sturtevant

Robotics: SLAM 2

907: FastSLAM 2.0: An Improved Particle Filtering Algorithm for Simultaneous Localization and Mapping that Provably Converges
Daphne Koller, Mike Montemerlo, Sebastian Thrun, and Ben Wegbreit

831: Consistent, Convergent, and Constant-Time SLAM
John Leonard and Paul Newman

Knowledge Representation 1

633: A Theory of Average-Case Compilability in Knowledge Representation
Hubie Chen

793: A Language to Describe Drawing, Display, and Editing in Sketch Recognition
Randall Davis and Tracy Hammond

Constraints 4

432: Algorithms for Identifying Rigid Subsystems in Geometric Constraint Systems
Christophe Jermann, Bertrand Neveu, and Gilles Trombettoni

121: A Maximal Tractable Class of Soft Constraints
David Cohen, Martin Cooper, Peter Jeavons, and Andrei Krokhin

11:40 am - 12:40 pm

Invited Talk
New Trends in Automated Reasoning
Andrei Voronkov, Manchester University, UK

Technical Sessions

Multi-Agent Systems 6: Emergent Behavior

697: Emergence of Cooperation in a Pursuit-Evasion Game
Geoff Nitschke

674: Compilation and Biologically Inspired Self-Assembly of Two-Dimensional Shapes
Attila Kondacs

AI and Data Integration 1

178: Learning Value Predictors for the Speculative Execution of Information Gathering Plans
Greg Barish and Craig Knoblock

366: Integrating Multiple Internet Directories by Instance-based Learning
Shinichi Honiden, Ryutaro Ichise, and Hideaki Takeda

Learning 3: Ensembles

734: Constructing Diverse Classifier Ensembles using Artificial Training Examples
Prem Melville and Raymond Mooney

745: Monte Carlo Theory as an Explanation of Bagging and Boosting
Roberto Esposito and Lorenza Saitta

Constraints and Symmetry

478: Efficient Symmetry Breaking for Boolean Satisfiability
Fadi Aloul, Igor Markov, and Karem Sakallah

575: Tractable Symmetry Breaking for CSPs with Interchangeable Values
Magnus Agren, Pierre Flener, Justin Pearson, and Pascal van Hentenryck

12:40 – 2:00 pm

Lunch

2:00 – 5:30 pm

IJCAI-03 Poster Session

2:00 – 4:00 pm

Invited Tutorial
Intelligent Information Integration
Maurizio Lenzerini

7:00 – 10:30 pm

IJCAI-03 Banquet
Hyatt Regency Acapulco

Thursday, August 14

9:00 - 10:00 am

Invited Talk
Automated Verification = Graphs, Automata and Logic
Moshe Vardi, Rice University, USA

Technical Sessions

Natural Language 1

924: Extended Gloss Overlaps as a Measure of Semantic Relatedness
Satanjeev Banerjee and Ted Pedersen

571: Hierarchical Semantic Classification: Word Sense Disambiguation with World Knowledge
Massimiliano Ciaramita, Thomas Hofmann, and Mark Johnson

Learning 4: Evaluating Classifiers

532: AUC: a Statistically Consistent and more Discriminating Measure than Accuracy
Jin Huang, Charles X. Ling, and Harry Zhang

765: Evaluating Classifiers by Means of Test Data with Noisy Labels
Chuck Lam and David Stork

Robotics

960: Non-Invasive Brain-Actuated Control of a Mobile Robot
Wulfram Gerstner, JosÈ Mill·n, Josep MouriÒo, and FrÈdÈric Renkens

776: Exploring Unknown Environments with Mobile Robots using Coverage Maps
Wolfram Burgard and Cyrill Stachniss

10:30 - 11:30 am

Invited Talk
Data Integration: Successes and Challenges
Alon Halevy, University of Washington, USA

Technical Sessions

Spatial Reasoning

274: Layered Mereotopology
Maureen Donnelly

119: Reasoning about Distances
Frank Wolter and Michael Zakharyaschev

Learning 5: Tree Learning

175: Skewing: An Efficient Alternative to Lookahead for Decision Tree Induction
David Page and Soumya Ray

546: Inductive Learning in Less Than One Sequential Scan
Wei Fan, Shaw-hwa Lo, Haixun Wang, and Philip S Yu

Probabilistic Inference 1

952: Variable Resolution Particle Filter
Reid Simmons, Sebastian Thrun, and Vandi Verma

409: Optimal Time-Space Tradeoff in Probabilistic Inference
David Allen and Adnan Darwiche

Qualitative Reasoning 1

589: Categorizing classes of signals by means of fuzzy gradual rules
Didier Dubois, Sylvie Galichet, and Henri Prade

526: Qualitatively Faithful Quantitative Prediction
Ivan Bratko, Dorian Suc, and Daniel Vladusic

11:40 am - 12:40 pm

Invited Talk CANCELLED
Optimality of Collective Choice in Social Insects and Social Robots
Jean-Louis Deneubourg, University Libre du Bruxelles, Belgium

Technical Sessions

Description Logics 2

651: Abductive Matchmaking using Description Logics
Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, and Marina Mongiello

120: Least common subsumers and most specific concepts in a description logic with existential restrictions and terminological cycles
Franz Baader

Learning 6: Kernel Methods

268: Multi-prototype Support Vector Machines
Fabio Aiolli and Alessandro Sperduti

854: Nonlinear dimensionality reduction by kernel eigenmaps
Matthew Brand

Probabilistic Inference 2: First Order

632: First-order probabilistic inference
David Poole

883: Dynamic Probabilistic Relational Models
Pedro Domingos, Sumit Sanghai, and Daniel Weld

Qualitative Reasoning 2

825: Gaussian Process Models of Spatial Aggregation Algorithms
Chris Bailey-Kellogg and Naren Ramakrishnan

126: A New Look at the Semantics and Optimization Methods of CP-Networks
Ronen Brafman and Yannis Dimopoulos

12:40 – 2:00 pm

Lunch

2:00 - 3:30 pm

Technical Sessions

Automated Reasoning

682: A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases
Hector Levesque and Yongmei Liu

913: Logical Filtering
Eyal Amir and Stuart Russell

906: Practical Partition-Based Theorem Proving for Large Knowledge Bases
Eyal Amir, Bill MacCartney, Sheila McIlraith, and Tomas Uribe

Constraints 5

534: Propagate the Right Thing: How Preferences Can Speed-Up Constraint Solving
Christian Bessiere, Anais Fabre, and Ulrich Junker

421: Consistency and Set Intersection
Roland Yap and Yuanlin Zhang

493: Amalgams of Constraint Satisfaction Problems
Andrei Bulatov and Eugeny Skvortsov

Information Extraction 1

830: Active learning with strong and weak views: a case study on wrapper induction
Craig Knoblock, Steven Minton, and Ion Muslea

163: Information Extraction from Web Documents Based on Local Unranked Tree Automaton Inference
Hendrik Blockeel, Maurice Bruynooghe, Raymond Kosala, and Jan Van den Bussche

847: Hierarchical Hidden Markov Models for Information Extraction
Mark Craven, Soumya Ray, and Marios Skounakis

Multi-Agent Systems 7: Multiagent Reinforcement Learning and POMDPs

931: Simultaneous Adversarial Multi-Robot Learning
Michael Bowling and Manuela Veloso

349: A Bayesian Approach to Imitation in Reinforcement Learning
Craig Boutlier and Bob Price

943: Taming Decentralized POMDPs: Towards Efficient Policy Computation for Multiagent Settings
Stacy Marsella, Ranjit Nair, David Pynadath, Milind Tambe, and Makoto Yokoo

Nonmonotonic Reasoning 2: Logic Programming

573: Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV
Tina Dellarmi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, and Gerald Pfeifer

227: On Tight Logic Programs and Yet Another Translation from Logic Programs to Propositional Logic
Fangzhen Lin and Jicheng Zhao

107: On the Equivalence between Answer Sets and Models of Completion for Nested Logic Programs
Jia-Huai You, Li-Yan Yuan, and Mingyi Zhang

Planning 1

574: Generalizing GraphPlan by Formulating Planning as a CSP
Fahiem Bacchus and Adriana Lopez

241: On the application of least-commitment and heuristic search in temporal planning
Antonio Garrido and Eva Onaindia

229: In Defense of PDDL Axioms
Joerg Hoffmann, Bernhard Nebel, and Sylvie Thiebaux

Diagnosis and MAS

498: Coupling CSP Decomposition Methods and Diagnosis Algorithms for Tree-Structured Systems
Markus Stumptner and Franz Wotawa

917: Model-based Diagnosis of Hybrid Systems
Gautam Biswas and Sriram Narasimhan

610: On the Design of Social Diagnosis Algorithms for Multi-Agent Teams
Meir Kalech and Gal Kaminka

4:00 - 5:30 pm

Technical Sessions

Case-based Reasoning

128: Increasing Dialogue Efficiency in Case-Based Reasoning Without Loss of Solution Quality
David McSherry

499: A Weighted Polynomial Information Gain Kernel for resolving PP attachment Ambiguities with Support Vector Machines
Bram Vanschoenwinkel

75: The Power of Suggestion
Lorraine McGinty and Barry Smyth

Satisfiability and Phase Transitions

94: Understanding the Power of Clause Learning
Paul Beame, Henry Kautz, and Ashish Sabharwal

644: Phase Transitions of Bounded Satisfiability Problems
Delbert Bailey and Phokion Kolaitis

786: Phase Transitions of the Asymmetric Traveling Salesman
Weixiong Zhang

Information Extraction 2

529: Intelligent Multimedia Indexing and Retrieval through Multi-source Information Extraction and Merging
Hamish Cunningham, Thierry Declerck, Jan Kuper, Dennis Reidsma, and Horacio Saggion

60: Coherent Keyphrase Extraction via Web Mining
Peter Turney

871: Bayesian Information Extraction Network
Leonid Peshkin and Avi Pfeffer

Multi-Agent Systems 8: Logic-based MAS and Communication Languages

515: Protocol Conformance for Logic Based Agents
Ulle Endriss, Nicolas Maudet, Fariba Sadri, and Francesca Toni

446: Hidden Uncertainty in the Logical Representation of Desires
Jerome Lang, Leendert van der Torre, and Emil Weydert

564: Constitutive Rules for Agent Communication Languages
Jeremy Pitt

Nonmonotonic Reasoning 3

206: Recycling Computed Answers in Rewrite Systems for Abduction
Fangzhen Lin and Jia-Huai You

286: Answer Set Optimization
Gerhard Brewka, Ilkka Niemela, and Miroslaw Truszczynski

168: Weak Conditional Logics of Normality
James Delgrande

Planning 2

771: Factored Planning
Eyal Amir and Barbara Engelhardt

569: A Parametric Hierarchical Planner for Experimenting Abstraction Techniques
Giuliano Armano, Giancarlo Cherchi, and Eloisa Vargiu

240: Resource Temporal Networks: Definition and Complexity
Philippe Laborie

Perception

944: People Tracking with Anonymous and ID-Sensors Using Rao-Blackwellised Particle Filters
Dirk Schulz, Dieter Fox, and Jeffrey Hightower

775: Where is...? Learning and Exploiting Motion Patterns of Persons with Mobile Robots
Maren Bennewitz, Wolfram Burgard, and Grzegorz Cielniak

679: An Extension of the ICP Algorithm for Modeling Nonrigid Objects with Mobile Robots
Wolfram Burgard, Dirk Haehnel, and Sebastian Thrun

5:45 – 7:00 pm

IJCAI Award for Research Excellence Lecture
Adventures in Artificial Intelligence
Nils J. Nilsson, Stanford University, USA


Friday, August 15

9:00 - 10:00 am

Invited Talk
Self-reconfiguring Robots: Challenges and Successes
Daniela Rus, Dartmouth University, USA

Technical Sessions

Learning 7: Inductive Logic Programming

61: Learning Minesweeper: A Testbed for General Purpose Multirelational Learning
Lourdes Pena Castillo and Stefan Wrobel

330: Spaces of Theories with Ideal Refinement Operators
Teresa Basile, Nicola Di Mauro, Nicola Fanizzi, and Stefano Ferilli

AI and Data Integration 2

554: Query rewriting and answering under constraints in data integration systems
Andrea Cali', Domenico Lembo, and Riccardo Rosati

169: Logic Programs for Consistently Querying Data Integration Systems
Leopoldo Bertossi and Loreto Bravo

Natural Language 2

412: Evaluating Coverage for Large Symbolic NLG Grammars
Charles Callaway

510: GRAEL: an agent-based evolutionary computing approach for natural grammar development
Guy De Pauw

10:30 - 11:30 am

Invited Talk
Deploying Information Agents on the Web
Craig Knoblock, University of Southern California, USA

Technical Sessions

Vision

198: A Dynamic Model for Occlusion Adaptive Joint Tracking
Kia Fock Loe, Tele Tan, and Yang Wang

920: Use of Off-line Dynamic Programming in Efficient Image Interpretation
Russell Greiner and Ramana Isukapalli

User Modeling

136: A General Model for Online Probabilistic Plan Recognition
Hung Bui

934: Corpus-based, Statistical Goal Recognition
James Allen and Nate Blaylock

Probabilistic Planning 1: Abstraction, Transfer

926: Generalizing Plans to New Environments in Relational MDPs
Chris Gearhart, Carlos Guestrin, Neal Kanodia, and Daphne Koller

925: SMDP Homomorphisms: An Algebraic Approach to Abstraction in Semi-Markov Decision Processes
Andrew Barto and Balaraman Ravindran

11:40 am - 12:40 pm

Invited Talk
Web Intelligence (WI): A New Paradigm for Developing the Wisdom Web and Social Network Intelligence
Jiming Liu, Hong Kong Baptist University and Web Intelligence Consortium

Technical Sessions

Description Logics 3

485: Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies
Cornet Ronald and Stefan Schlobach

49: On the Undecidability of Description and Dynamic Logics with Recursion and Counting
Piero Bonatti

Search 1

949: Faster Heuristic Search Algorithms for Planning with Uncertainty and Full Feedback
Blai Bonet and Hector Geffner

787: An Improved Algorithm for Optimal Bin Packing
Richard Korf

Probabilistic Planning 2

872: Covariant Policy Search
J. Andrew Bagnell and Jeff Schneider

735: Point-based value iteration: An anytime algorithm for POMDPs
Geoff Gordon, Joelle Pineau, and Sebastian Thrun

12:40 – 2:00 pm

Lunch

2:00 - 3:00 pm

Invited Talk
Intelligent Systems in Travel and Tourism
Hannes Werthner, eCommerce and Tourism Research Lab (eCTRL)
ITC-irst and University of Trento, Italy

2:00 - 3:30 pm

Technical Sessions

Multi-Agent Systems 9: Nonmanipulability and Fault-tolerance

859: Universal Voting Protocol Tweaks to Make Manipulation Hard
Vincent Conitzer and Tuomas Sandholm

676: Probabilistically Survivable MASs
Sarit Kraus, V. S. Subrahmanian, and Nazif Cihan Tas

552: Minimally intrusive negotiating agents for resource sharing
Paolo Torroni, Fariba Sadri, and Francesca Toni

Knowledge Representation 2

445: From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge & Belief
Thomas Bolander

100: Evaluating Significance of Inconsistencies
Anthony Hunter

634: Inverse Circumscription
Hubie Chen

Satisfiability

782: Backbone Guided Local Search for Maximum Satisfiability
Ananda Rangan and Weixiong Zhang

698: Backdoors To Typical Case Complexity
Carla Gomes, Bart Selman, and Ryan Williams

684: A Structure-Based Variable Ordering Heuristic for SAT
Adnan Darwiche and Jinbo Huang

Resource-bounded Reasoning

34: Belief, Awareness, and Two-Dimensional Logic
Shier Ju and Hu Liu

858: Approximating Optimal Policies for Agents with Limited Execution Resources
Dmitri Dolgov and Edmund Durfee

761: Definition and Complexity of Some Basic Metareasoning Problems
Vincent Conitzer and Tuomas Sandholm

 

4:00 - 5:30 pm

Technical Sessions

Art and Creativity

146: Getting Serious about the Development of Computational Humor
Oliviero Stock and Carlo Strapparava

804: Automated Generation of Graphic Sketches by Example
Min Chen and Michelle Zhou

466: A Learning-Based Jam Session System that Imitates a Player's Personality Model
Masatoshi Hamanaka, Masataka Goto, Hideki Asoh, and Nobuyuki Otsu

Multi-Agent Systems 10

224: Detecting & Avoiding Interference Between Goals in Intelligent Agents
Lin Padgham, John Thangarajah, and Michael Winikoff

729: Comparing Agents & Humans Using Behavior Bounding
John Laird and Scott Wallace

111: The Characterization of Strategy/False-name Proof Combinatorial Auction Protocols: Price-oriented, Rationing-free Protocol
Makoto Yokoo

Search 2

850: Comparing Best-First Search and Dynamic Programming for Optimal Multiple Sequence Alignment
Heath Hohwald, Richard Korf, and Ignacio Thayer

888: Sparse-Memory Graph Search
Eric Hansen and Rong Zhou

932: Factored A* Search for Models over Sequences and Trees
Dan Klein and Christopher Manning

Scheduling

174: Contract Algorithms and Robots on Rays: Unifying Two Scheduling Problems
Daniel Bernstein, Lev Finkelstein, and Shlomo Zilberstein

463: Distributed Patient Scheduling in Hospitals
Keith Decker, Armin Heinzl, Nicholas Jennings, and Torsten Paulussen

808: Maximizing Flexibility: A Retraction Heuristic for Oversubscribed Scheduling Problems
Laurence Kramer and Stephen Smith

Reasoning about Actions and Change 2

671: Action representation and partially observable planning using epistemic logic
Andreas Herzig, Jerome Lang, and Pierre Marquis

254: The Concurrent, Continuous FLUX
Yves Martin

437: Causal Theories of Action: A Computational Core
Jerome Lang, Fangzhen Lin, and Pierre Marquis

Ontologies and Foundations

468: Integrity and Change in Modular Ontologies
Michel Klein and Heiner Stuckenschmidt

620: Tucking RCC in Cyc's Ontological Bed
Pierre Grenon

746: What is Artificial Intelligence? Psychometric AI as an Answer
Selmer Bringsjord and Bettina Schimanski

Learning 8: Text and Web

272: A Learning Algorithm for Web Page Scoring Systems
Michelangelo Diligenti, Marco Gori, and Marco Maggini

657: Learning to Classify Texts Using Positive and Unlabeled Data
Bing Liu and Li Xiaoli

452: Does a New Simple Gaussian Weighting Approach Perform Well in Text Categorization?
Giorgio Maria Di Nunzio and Alessandro Micarelli