|
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
|