Table of Contents

• Learning Value Predictors for the Speculative Execution of Information Gathering PlansGreg Barish, Craig A. Knoblock. 3-9
• Logic Programs for Consistently Querying Data Integration SystemsLoreto Bravo, Leopoldo E. Bertossi. 10-15
• Query rewriting and answering under constraints in data integration systemsAndrea Calì, Domenico Lembo, Riccardo Rosati. 16-21
• Integrating Multiple Internet Directories by Instance-based LearningRyutaro Ichise, Hideaki Takeda, Shinichi Honiden. 22-30
• A semantic framework for multimedia document adaptationJérôme Euzenat, Nabil Layaïda, Victor Dias. 31-36
• An Ontology-based Architecture for Cooperative Information AgentsFrederico Luiz Gonçalves de Freitas, Guilherme Bittencourt. 37-42
• Web Page Cleaning for Web Mining through Feature WeightingLan Yi, Bing Liu. 43-50
• A Learning-Based Jam Session System that Imitates a Player s Personality ModelMasatoshi Hamanaka, Masataka Goto, Hideki Asoh, Nobuyuki Otsu. 51-58
• Getting Serious about the Development of Computational HumorOliviero Stock, Carlo Strapparava. 59-64
• Automated Generation of Graphic Sketches by ExampleMichelle X. Zhou, Min Chen. 65-74
• Logical FilteringEyal Amir, Stuart J. Russell. 75-82
• A Tractability Result for Reasoning with Incomplete First-Order Knowledge BasesYongmei Liu, Hector J. Levesque. 83-88
• Practical Partition-Based Theorem Proving for Large Knowledge BasesBill MacCartney, Sheila A. McIlraith, Eyal Amir, Tomás E. Uribe. 89-98
• On the Revision of Probabilistic Beliefs using Uncertain EvidenceHei Chan, Adnan Darwiche. 99-105
• Quantifying information and contradiction in propositional logic through test actionsSébastien Konieczny, Jérôme Lang, Pierre Marquis. 106-111
• Minimal Change and Maximal Coherence for Epistemic Logic Program UpdatesYan Zhang. 112-120
• Increasing Dialogue Efficiency in Case-Based Reasoning Without Loss of Solution QualityDavid McSherry. 121-126
• The Power of SuggestionBarry Smyth, Lorraine McGinty. 127-132
• A Weighted Polynomial Information Gain Kernel for Resolving Prepositional Phrase Attachment Ambiguities with Support Vector MachinesBram Vanschoenwinkel, Bernard Manderick. 133-140
• A Logic For Causal ReasoningAlexander Bochman. 141-146
• Responsibility and Blame: A Structural-Model ApproachHana Chockler, Joseph Y. Halpern. 147-153
• Causes and Explanations RevisitedJames D. Park. 154-162
• GHOST: experimenting conflicts countermeasures in the pilot s activityFrédéric Dehais, Catherine Tessier, Laurent Chaudron. 163-168
• Dynamic Bayesian modeling of the cerebral activityVincent Labatut, Josette Pastor, Serge Ruff. 169-176
• Body Movement Analysis of Human-Robot InteractionTakayuki Kanda, Hiroshi Ishiguro, Michita Imai, Tetsuo Ono. 177-182
• Qualitative Map Learning Based on Co-visibility of ObjectsTakehisa Yairi, Koichi Hori. 183-190
• Propagate the Right Thing: How Preferences Can Speed-Up Constraint SolvingChristian Bessière, Anaïs Fabre, Ulrich Junker. 191-196
• Amalgams of Constraint Satisfaction ProblemsAndrei A. Bulatov, Evgeny S. Skvortsov. 197-202
• On a generalization of triangulated graphs for domains decomposition of CSPsAssef Chmeiss, Philippe Jégou, Lamia Keddar. 203-208
• A Maximal Tractable Class of Soft ConstraintsDavid A. Cohen, Martin C. Cooper, Peter Jeavons, Andrei A. Krokhin. 209-214
• Reasoning about soft constraints and conditional preferences: complexity results and approximation techniquesCarmel Domshlak, Francesca Rossi, Kristen Brent Venable, Toby Walsh. 215-220
• Multiset Ordering ConstraintsAlan M. Frisch, Ian Miguel, Zeynep Kiziltan, Brahim Hnich, Toby Walsh. 221-226
• Non-Binary Constraints and Optimal Dual-Graph RepresentationsGianluigi Greco, Francesco Scarcello. 227-232
• Algorithms for Identifying Rigid Subsystems in Geometric Constraint SystemsChristophe Jermann, Bertrand Neveu, Gilles Trombettoni. 233-238
• In the quest of the best form of local consistency for Weighted CSPJavier Larrosa, Thomas Schiex. 239-244
• A Fast and Simple Algorithm for Bounds Consistency of the AllDifferent ConstraintAlejandro López-Ortiz, Claude-Guy Quimper, John Tromp, Peter van Beek. 245-250
• Solving Constraint Optimization Problems in Anytime ContextsSamir Loudni, Patrice Boizumault. 251-256
• Scenario-based Stochastic Constraint ProgrammingSuresh Manandhar, Armagan Tarim, Toby Walsh. 257-262
• Consistency and Set IntersectionYuanlin Zhang, Roland H. C. Yap. 263-270
• Efficient Symmetry Breaking for Boolean SatisfiabilityFadi A. Aloul, Karem A. Sakallah, Igor L. Markov. 271-276
• Tractable Symmetry Breaking for CSPs with Interchangeable ValuesPascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren. 277-284
• On the Foundations of Expected Expected UtilityCraig Boutilier. 285-290
• Great Expectations. Part I: On the Customizability of Generalized Expected UtilityFrancis C. Chu, Joseph Y. Halpern. 291-296
• Great Expectations. Part II: Generalized Expected Utility as a Universal Decision RuleFrancis C. Chu, Joseph Y. Halpern. 297-302
• Qualitative Decision under Uncertainty: Back to Expected UtilityHélène Fargier, Régis Sabbadin. 303-308
• Incremental Utility Elicitation with the Minimax Regret Decision CriterionTianhan Wang, Craig Boutilier. 309-318
• Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological CyclesFranz Baader. 319-324
• Terminological Cycles in a Description Logic with Existential RestrictionsFranz Baader. 325-330
• On the Undecidability of Description and Dynamic Logics with Recursion and CountingPiero A. Bonatti. 331-336
• Abductive Matchmaking using Description LogicsTommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello. 337-342
• Decidability of SHIQ with Complex Role Inclusion AxiomsIan Horrocks, Ulrike Sattler. 343-348
• Keys, Nominals, and Concrete DomainsCarsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler. 349-354
• Non-Standard Reasoning Services for the Debugging of Description Logic TerminologiesStefan Schlobach, Ronald Cornet. 355-362
• Formal Verification of Diagnosability via Symbolic Model CheckingAlessandro Cimatti, Charles Pecheur, Roberto Cavada. 363-369
• On the Design of Social Diagnosis Algorithms for Multi-Agent TeamsMeir Kalech, Gal A. Kaminka. 370-375
• Model-based Diagnosis of Hybrid SystemsSriram Narasimhan, Gautam Biswas. 376-381
• Automated Qualitative Domain AbstractionMartin Sachenbacher, Peter Struss. 382-387
• Coupling CSP Decomposition Methods and Diagnosis Algorithms for Tree-Structured SystemsMarkus Stumptner, Franz Wotawa. 388-393
• Automatic Abstraction in Component-Based Diagnosis Driven by System ObservabilityGianluca Torta, Pietro Torasso. 394-402
• Information Extraction from Web Documents Based on Local Unranked Tree Automaton InferenceRaymond Kosala, Maurice Bruynooghe, Jan Van den Bussche, Hendrik Blockeel. 403-408
• Intelligent Multimedia Indexing and Retrieval through Multi-source Information Extraction and MergingJan Kuper, Horacio Saggion, Hamish Cunningham, Thierry Declerck, Franciska de Jong, Dennis Reidsma, Yorick Wilks, Peter Wittenburg. 409-414
• Active Learning with Strong and Weak Views: A Case Study on Wrapper InductionIon Muslea, Steven Minton, Craig A. Knoblock. 415-420
• Bayesian Information Extraction NetworkLeonid Peshkin, Avi Pfeffer. 421-426
• Hierarchical Hidden Markov Models for Information ExtractionMarios Skounakis, Mark Craven, Soumya Ray. 427-433
• Coherent Keyphrase Extraction via Web MiningPeter D. Turney. 434-442
• From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and BeliefThomas Bolander. 443-448
• Inverse CircumscriptionHubie Chen. 449-454
• A Theory of Average-Case Compilability in Knowledge RepresentationHubie Chen. 455-460
• LADDER: A Language to Describe Drawing, Display, and Editing in Sketch RecognitionTracy Hammond, Randall Davis. 461-467
• Evaluating Significance of InconsistenciesAnthony Hunter. 468-478
• Data Clustering: Principal Components, Hopfield and Self-Aggregation NetworksChris H. Q. Ding. 479-484
• Distributed Clustering Based on Sampling Local Density EstimatesMatthias Klusch, Stefano Lodi, Gianluca Moro. 485-490
• When Discriminative Learning of Bayesian Network Parameters Is EasyHannes Wettig, Peter Grünwald, Teemu Roos, Petri Myllymäki, Henry Tirri. 491-498
• Monte Carlo Theory as an Explanation of Bagging and BoostingRoberto Esposito, Lorenza Saitta. 499-504
• Constructing Diverse Classifier Ensembles using Artificial Training ExamplesPrem Melville, Raymond J. Mooney. 505-512
• Evaluating Classifiers by Means of Test Data with Noisy LabelsChuck P. Lam, David G. Stork. 513-518
• AUC: a Statistically Consistent and more Discriminating Measure than AccuracyCharles X. Ling, Jin Huang, Harry Zhang. 519-526
• Spaces of Theories with Ideal Refinement OperatorsNicola Fanizzi, Stefano Ferilli, Nicola Di Mauro, Teresa Maria Altomare Basile. 527-532
• Learning Minesweeper with Multirelational LearningLourdes Peña Castillo, Stefan Wrobel. 533-540
• Multi-prototype Support Vector MachineFabio Aiolli, Alessandro Sperduti. 541-546
• Continuous nonlinear dimensionality reduction by kernel EigenmapsMatthew Brand. 547-554
• Semi-Supervised Learning with Explicit Misclassification ModelingMassih-Reza Amini, Patrick Gallinari. 555-560
• Spectral LearningSepandar D. Kamvar, Dan Klein, Christopher D. Manning. 561-566
• SVMC: Single-Class Classification With Support Vector MachinesHwanjo Yu. 567-574
• A Learning Algorithm for Web Page Scoring SystemsMichelangelo Diligenti, Marco Gori, Marco Maggini. 575-580
• Does a New Simple Gaussian Weighting Approach Perform Well in Text Categorization?Giorgio Maria Di Nunzio, Alessandro Micarelli. 581-586
• Learning to Classify Texts Using Positive and Unlabeled DataXiaoli Li, Bing Liu. 587-594
• Inductive Learning in Less Than One Sequential Data ScanWei Fan, Haixun Wang, Philip S. Yu, Shaw-hwa Lo. 595-600
• Skewing: An Efficient Alternative to Lookahead for Decision Tree InductionDavid Page, Soumya Ray. 601-612
• Complexity of Determining Nonemptiness of the CoreVincent Conitzer, Tuomas Sandholm. 613-618
• An Integrated Multilevel Learning Approach to Multiagent Coalition FormationLeen-Kiat Soh, Xin Li. 619-624
• Dynamics of Coalition Formation in Combinatorial TradingYiming Ye, Yuhai Tu. 625-632
• Biologically-Inspired Self-Assembly of Two-Dimensional Shapes Using Global-to-Local CompilationAttila Kondacs. 633-638
• Emergence of Cooperation in a Pursuit-Evasion GameGeoff Nitschke. 639-646
• When Evolving Populations is Better than Coevolving Individuals: The Blind Mice ProblemThomas Miconi. 647-652
• Improving Coevolutionary Search for Optimal Multiagent BehaviorsLiviu Panait, R. Paul Wiegand, Sean Luke. 653-660
• Approximating Game-Theoretic Optimal Strategies for Full-scale PokerDarse Billings, Neil Burch, Aaron Davidson, Robert C. Holte, Jonathan Schaeffer, Terence Schauenberg, Duane Szafron. 661-668
• Last-Branch and Speculative Pruning Algorithms for Max:::n:::Nathan R. Sturtevant. 669-678
• Protocol Conformance for Logic-based AgentsUlrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni. 679-684
• Hidden Uncertainty in the Logical Representation of DesiresJérôme Lang, Leendert W. N. van der Torre, Emil Weydert. 685-690
• Constitutive Rules for Agent Communication LanguagesJeremy Pitt. 691-698
• Simultaneous Adversarial Multi-Robot LearningMichael H. Bowling, Manuela M. Veloso. 699-704
• Taming Decentralized POMDPs: Towards Efficient Policy Computation for Multiagent SettingsRanjit Nair, Milind Tambe, Makoto Yokoo, David V. Pynadath, Stacy Marsella. 705-711
• A Bayesian Approach to Imitation in Reinforcement LearningBob Price, Craig Boutilier. 712-720
• Detecting & Avoiding Interference Between Goals in Intelligent AgentsJohn Thangarajah, Lin Padgham, Michael Winikoff. 721-726
• Behavior Bounding: Toward Effective Comparisons of Agents & HumansScott A. Wallace, John E. Laird. 727-732
• Characterization of Strategy/False-name Proof Combinatorial Auction Protocols: Price-oriented, Rationing-free ProtocolMakoto Yokoo. 733-742
• On Identifying and Managing Relationships in Multi-Agent SystemsRonald Ashri, Michael Luck, Mark d Inverno. 743-748
• ODISET: On-line Distributed Session Tracing using AgentsSalvador Mandujano, Arturo Galván. 749-756
• A Continuation Method for Nash Equilibria in Structured GamesBen Blum, Christian R. Shelton, Daphne Koller. 757-764
• Complexity Results about Nash EquilibriaVincent Conitzer, Tuomas Sandholm. 765-771
• Local-Effect GamesKevin Leyton-Brown, Moshe Tennenholtz. 772-780
• Universal Voting Protocol Tweaks to Make Manipulation HardVincent Conitzer, Tuomas Sandholm. 781-788
• Probabilistically Survivable MASsSarit Kraus, V. S. Subrahmanian, N. Cihan Tas. 789-795
• Minimally intrusive negotiating agents for resource sharingFariba Sadri, Francesca Toni, Paolo Torroni. 796-804
• Extended Gloss Overlaps as a Measure of Semantic RelatednessSatanjeev Banerjee, Ted Pedersen. 805-810
• Evaluating Coverage for Large Symbolic NLG GrammarsCharles B. Callaway. 811-816
• Hierarchical Semantic Classification: Word Sense Disambiguation with World KnowledgeMassimiliano Ciaramita, Thomas Hofmann, Mark Johnson. 817-822
• GRAEL: an agent-based evolutionary computing approach for natural language grammar developmentGuy De Pauw. 823-832
• Outlier Detection Using Default LogicFabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli. 833-838
• Ordering Default TheoriesChiaki Sakama. 839-846
• Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLVTina Dell Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer. 847-852
• On Tight Logic Programs and Yet Another Translation from Normal Logic Programs to Propositional LogicFangzhen Lin, Jicheng Zhao. 853-858
• On the Equivalence between Answer Sets and Models of Completion for Nested Logic ProgramsJia-Huai You, Li-Yan Yuan, Zhang Mingyi. 859-866
• Answer Set OptimizationGerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski. 867-872
• Weak Conditional Logics of NormalityJames P. Delgrande. 873-878
• Recycling Computed Answers in Rewrite Systems for AbductionFangzhen Lin, Jia-Huai You. 879-886
• What is Artificial Intelligence? Psychometric AI as an AnswerSelmer Bringsjord, Bettina Schimanski. 887-893
• Tucking RCC in Cyc s Ontological BedPierre Grenon. 894-899
• Integrity and Change in Modular OntologiesHeiner Stuckenschmidt, Michel C. A. Klein. 900-908
• Where is ...? Learning and Utilizing Motion Patterns of Persons with Mobile RobotsGrzegorz Cielniak, Maren Bennewitz, Wolfram Burgard. 909-914
• An Extension of the ICP Algorithm for Modeling Nonrigid Objects with Mobile RobotsDirk Hähnel, Sebastian Thrun, Wolfram Burgard. 915-920
• People Tracking with Anonymous and ID-Sensors Using Rao-Blackwellised Particle FiltersDirk Schulz, Dieter Fox, Jeffrey Hightower. 921-928
• Factored PlanningEyal Amir, Barbara Engelhardt. 929-935
• A Parametric Hierarchical Planner for Experimenting Abstraction TechniquesGiuliano Armano, Giancarlo Cherchi, Eloisa Vargiu. 936-941
• On the application of least-commitment and heuristic search in temporal planningAntonio Garrido Tejero, Eva Onaindia. 942-947
• Resource Temporal Networks: Definition and ComplexityPhilippe Laborie. 948-953
• Generalizing GraphPlan by Formulating Planning as a CSPAdriana Lopez, Fahiem Bacchus. 954-960
• In Defense of PDDL AxiomsSylvie Thiébaux, Jörg Hoffmann, Bernhard Nebel. 961-968
• Optimal Time-Space Tradeoff in Probabilistic InferenceDavid Allen, Adnan Darwiche. 969-975
• Variable Resolution Particle FilterVandi Verma, Sebastian Thrun, Reid G. Simmons. 976-984
• First-order probabilistic inferenceDavid Poole. 985-991
• *** paper retracted by the authors *** [Dynamic Probabilistic Relational Models]992-1002 [doi]
• Generalizing Plans to New Environments in Relational MDPsCarlos Guestrin, Daphne Koller, Chris Gearhart, Neal Kanodia. 1003-1010
• SMDP Homomorphisms: An Algebraic Approach to Abstraction in Semi-Markov Decision ProcessesBalaraman Ravindran, Andrew G. Barto. 1011-1018
• Covariant Policy SearchJ. Andrew Bagnell, Jeff G. Schneider. 1019-1024
• Point-based value iteration: An anytime algorithm for POMDPsJoelle Pineau, Geoffrey J. Gordon, Sebastian Thrun. 1025-1032
• A New Look at the Semantics and Optimization Methods of CP-NetworksRonen I. Brafman, Yannis Dimopoulos. 1033-1038
• Categorizing classes of signals by means of fuzzy gradual rulesSylvie Galichet, Didier Dubois, Henri Prade. 1039-1044
• Gaussian Process Models of Spatial Aggregation AlgorithmsNaren Ramakrishnan, Christopher Bailey-Kellogg. 1045-1051
• Qualitatively Faithful Quantitative PredictionDorian Suc, Daniel Vladusic, Ivan Bratko. 1052-1060
• Compiling Control Knowledge into Preconditions for Planning in the Situation CalculusAlfredo Gabaldon. 1061-1066
• Action representation and partially observable planning using epistemic logicAndreas Herzig, Jérôme Lang, Pierre Marquis. 1067-1072
• Causal Theories of Action: A Computational CoreJérôme Lang, Fangzhen Lin, Pierre Marquis. 1073-1078
• Describing Additive Fluents in Action Language C+Joohyung Lee, Vladimir Lifschitz. 1079-1084
• The Concurrent, Continuous FLUXYves Martins. 1085-1090
• Reasoning about the Interaction of Knowledge, Time and Concurrent Actions in the Situation CalculusRichard B. Scherl. 1091-1098
• Definition and Complexity of Some Basic Metareasoning ProblemsVincent Conitzer, Tuomas Sandholm. 1099-1106
• Approximating Optimal Policies for Agents with Limited Execution ResourcesDmitri A. Dolgov, Edmund H. Durfee. 1107-1112
• Belief, Awareness, and Two-Dimensional LogicHu Liu, Shier Ju. 1113-1120
• Non-Invasive Brain-Actuated Control of a Mobile RobotJosé del R. Millán, Frédéric Renkens, Josep Mouriño, Wulfram Gerstner. 1121-1126
• Exploring Unknown Environments with Mobile Robots using Coverage MapsCyrill Stachniss, Wolfram Burgard. 1127-1134
• DP-SLAM: Fast, Robust Simultaneous Localization and Mapping Without Predetermined LandmarksAustin I. Eliazar, Ronald Parr. 1135-1142
• Consistent, Convergent, and Constant-Time SLAMJohn J. Leonard, Paul M. Newman. 1143-1150
• FastSLAM 2.0: An Improved Particle Filtering Algorithm for Simultaneous Localization and Mapping that Provably ConvergesMichael Montemerlo, Sebastian Thrun, Daphne Koller, Ben Wegbreit. 1151-1156
• Thin Junction Tree Filters for Simultaneous Localization and MappingMark A. Paskin. 1157-1166
• A Structure-Based Variable Ordering Heuristic for SATJinbo Huang, Adnan Darwiche. 1167-1172
• Backdoors To Typical Case ComplexityRyan Williams, Carla P. Gomes, Bart Selman. 1173-1178
• Backbone Guided Local Search for Maximum SatisfiabilityWeixiong Zhang, Ananda Rangan, Moshe Looks. 1179-1186
• Phase Transitions of Bounded Satisfiability ProblemsDelbert D. Bailey, Phokion G. Kolaitis. 1187-1193
• Understanding the Power of Clause LearningPaul Beame, Henry A. Kautz, Ashish Sabharwal. 1194-1201
• Phase Transitions of the Asymmetric Traveling SalesmanWeixiong Zhang. 1202-1210
• Contract Algorithms and Robots on Rays: Unifying Two Scheduling ProblemsDaniel S. Bernstein, Lev Finkelstein, Shlomo Zilberstein. 1211-1217
• Maximizing Flexibility: A Retraction Heuristic for Oversubscribed Scheduling ProblemsLaurence A. Kramer, Stephen F. Smith. 1218-1223
• Distributed Patient Scheduling in HospitalsTorsten O. Paulussen, Nicholas R. Jennings, Keith S. Decker, Armin Heinzl. 1224-1232
• Faster Heuristic Search Algorithms for Planning with Uncertainty and Full FeedbackBlai Bonet, Hector Geffner. 1233-1238
• Comparing Best-First Search and Dynamic Programming for Optimal Multiple Sequence AlignmentHeath Hohwald, Ignacio Thayer, Richard E. Korf. 1239-1245
• Factored A:::*::: Search for Models over Sequences and TreesDan Klein, Christopher D. Manning. 1246-1251
• An Improved Algorithm for Optimal Bin PackingRichard E. Korf. 1252-1258
• Sparse-Memory Graph SearchRong Zhou, Eric A. Hansen. 1259-1268
• Layered MereotopologyMaureen Donnelly. 1269-1274
• Reasoning about distancesFrank Wolter, Michael Zakharyaschev. 1275-1282
• Incremental Tractable Reasoning about Qualitative Temporal ConstraintsAlfonso Gerevini. 1283-1288
• Tractable Pareto Optimization of Temporal PreferencesLina Khatib, Paul H. Morris, Robert A. Morris, Kristen Brent Venable. 1289-1294
• Automatic Video Interpretation: A Novel Algorithm for Temporal Scenario RecognitionVan-Thinh Vu, François Brémond, Monique Thonnat. 1295-1302
• Corpus-based, Statistical Goal RecognitionNate Blaylock, James F. Allen. 1303-1308
• A General Model for Online Probabilistic Plan RecognitionHung Hai Bui. 1309-1318
• Use of Off-line Dynamic Programming for Efficient Image InterpretationRamana Isukapalli, Russell Greiner. 1319-1325
• Switching Hypothesized Measurements: A Dynamic Model with Applications to Occlusion Adaptive Joint TrackingYang Wang, Tele Tan, Kia-Fock Loe. 1326-1336
• Active Probing Strategies for Problem Diagnosis in Distributed SystemsMark Brodie, Irina Rish, Sheng Ma, Natalia Odintsova. 1337-1338
• A Resolution Theorem for Algebraic DomainsPascal Hitzler. 1339-1340
• A Novel Framework for Integrating Discrete Event System Control and DiagnosisGregory M. Provan. 1341-1342
• Assertion Application in Theorem Proving and Proof PlanningQuoc Bao Vo, Christoph Benzmüller, Serge Autexier. 1343
• Case Base Adaptation Using Solution-Space MetricsBrian Knight, Fei Ling Woon. 1347-1348
• Coverage-Optimized RetrievalDavid McSherry. 1349-1350
• Explicit vs Implicit Profiling - A Case-Study in Electronic Programme GuidesDerry O Sullivan, Barry Smyth, David C. Wilson. 1351
• A Simulated Annealing Approach to the Travelling Tournament ProblemAris Anagnostopoulos, Laurent Michel, Pascal Van Hentenryck, Yannis Vergados. 1357-1358
• Grid-based SensorDCSPRamón Béjar, Carmel Domshlak, Cèsar Fernández, Carla P. Gomes, Bart Selman, Magda Valls. 1359-1361
• Dynamic Vehicle Routing with Stochastic RequestsRussell Bent, Pascal Van Hentenryck. 1362-1363
• Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree SearchStefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee. 1364-1365
• Splitting the atom: A new approach to Neighbourhood Interchangeability in Constraint Satisfaction ProblemsJames Bowen, Chavalit Likitvivatanavong. 1366-1367
• Efficient Representation of Adhoc ConstraintsKenil C. K. Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey. 1368-1369
• Propagation Redundancy for Permutation ChannelsChiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey. 1370-1371
• Channeling Constraints and Value Ordering in the QuasiGroup Completion ProblemIván Dotú, Alvaro del Val, Manuel Cebrián. 1372-1373
• Making the Breakout Algorithm Complete Using Systematic SearchCarlos Eisenberg, Boi Faltings. 1374-1375
• Sampling Combinatorial Spaces Using Biased Random WalksJordan Erenrich, Bart Selman. 1376-1380
• Finite Domain Constraint Solver LearningArnaud Lallouet, Thi-Bich-Hanh Dao, Andrei Legtchenko, AbdelAli Ed-Dbali. 1379-1380
• Applying interchangeability techniques to the distributed breakout algorithmAdrian Petcu, Boi Faltings. 1381-1382
• EVOC: A Music Generating System using Genetic AlgorithmsTimothy Weale, Jennifer Seitzer. 1383-1384
• Temporal Reasoning with Preferences and UncertaintyNeil Yorke-Smith, Kristen Brent Venable, Francesca Rossi. 1385
• BDIOCTL: Obligations and the Specification of Agent BehaviorJan Broersen, Mehdi Dastani, Leendert W. N. van der Torre. 1389-1390
• Prolegomenon to a Theory of Conservative Belief RevisionJames P. Delgrande, Abhaya C. Nayak, Maurice Pagnucco. 1391-1393
• Extending DTGOLOG with OptionsAlexander Ferrein, Christian Fritz, Gerhard Lakemeyer. 1394-1395
• Indirect and Conditional Sensing in the Event CalculusJeremy Forth. 1396-1397
• Proactive Dialogue for Interactive Knowledge CaptureJihie Kim, Yolanda Gil. 1398-1399
• Coherence of LawsRex Bing Hung Kwok, Norman Y. Foo, Abhaya C. Nayak. 1400-1401
• An Epistemic Logic for Arbitration (Extended Abstract)Churn-Jung Liau. 1402-1403
• Constructing utility models from observed negotiation actionsAngelo C. Restificar, Peter Haddawy. 1404-1405
• Engineering a complex ontology with timeJorge Santos, Steffen Staab. 1406-1407
• A Logic-based Algorithm for Image Sequence Interpretation and AnchoringPaulo Santos, Murray Shanahan. 1408
• Learning Consumer Photo Categories for Semantic RetrievalJoo-Hwee Lim, Jesse S. Jin. 1413-1414
• Intelligent Multimodal Stream ProcessingMark T. Maybury. 1415-1416
• Collaborative Web SearchBarry Smyth, Evelyn Balfe, Peter Briggs, Maurice Coyle, Jill Freyne. 1417-1419
• A Statistical Model for Flexible String SimilarityAtsuhiro Takasu. 1420-1421
• Mining Video Associations for Efficient Database ManagementXingquan Zhu, Xindong Wu. 1422
• A Learning Algorithm for Localizing People Based on Wireless Signal Strength that Uses Labeled and Unlabeled DataSebastian Thrun, Geoffrey J. Gordon, Frank Pfenning, Mary Berna, Brennan Sellner, Brad Lisien. 1427-1428
• Learning to Compete in Heterogeneous Web Search EnvironmentsRinat Khoussainov, Nicholas Kushmerick. 1429-1431
• Approximate Policy Iteration using Large-Margin ClassifiersMichail G. Lagoudakis, Ronald Parr. 1432-1434
• Active Learning with Ensembles for Image ClassificationHuan Liu, Amit Mandvikar, Patricia G. Foschi, Kari Torkkola. 1435-1436
• Item Selection Strategies for Collaborative FilteringRachael Rafter, Barry Smyth. 1437-1439
• Modular self-organization for a long-living autonomous agentBruno Scherrer. 1440-1442
• Towards a Theoretical Framework for Ensemble ClassificationAlexander K. Seewald. 1443-1444
• Multiple-Goal Reinforcement Learning with Modular Sarsa(0)Nathan Sprague, Dana H. Ballard. 1445-1447
• Integrating Background Knowledge Into Text ClassificationSarah Zelikovitz, Haym Hirsh. 1448-1449
• Parametric Distance Metric Learning with Label InformationZhihua Zhang, James T. Kwok, Dit-Yan Yeung. 1450
• Network Meta-Reasoning for Information Assurance in Mobile Agent SystemsDonovan Artz, Maxim Peysakhov, William C. Regli. 1455-1457
• Towards Cooperative Negotiation for Decentralized Resource Allocation in Autonomic Computing SystemsCraig Boutilier, Rajarshi Das, Jeffrey O. Kephart, William E. Walsh. 1458-1459
• A Formalization of Equilibria for Multiagent PlanningMichael H. Bowling, Rune M. Jensen, Manuela M. Veloso. 1460-1462
• Bidding Marginal Utility in Simultaneous AuctionsAmy R. Greenwald. 1463-1464
• NoA - A Normative Agent ArchitectureMartin J. Kollingbaum, Timothy J. Norman. 1465-1466
• A heuristic model for concurrent bi-lateral negotiations in incomplete information settingsThuc Duong Nguyen, Nicholas R. Jennings. 1467-1469
• Imitation Learning of Team-play in Multiagent System based on Hidden Markov ModelingItsuki Noda. 1470-1472
• Virtual World as Interface for Human-Robot InteractionEric Normand, Sheila Tejada. 1473-1474
• Learning Algorithms for Software Agents in Uncertain and Untrusted Market EnvironmentsThomas Tran, Robin Cohen. 1475-1476
• A Multi-Agent Computational Linguistic Approach to Speech RecognitionMichael Walsh, Robert Kelly, Gregory M. P. O Hare, Julie Carson-Berndsen, Tarek Abu-Amer. 1477
• The Knowledge Required to Interpret Noun CompoundsJames Fan, Ken Barker, Bruce W. Porter. 1483-1485
• Improving Word Sense Disambiguation in Lexical ChainingMichel Galley, Kathleen McKeown. 1486-1488
• A Revised Algorithm for Latent Semantic AnalysisXiangen Hu, Zhiqiang Cai, Max M. Louwerse, Andrew Olney, Phanni Penumatsa, Arthur C. Graesser. 1489-1491
• Identifying Synonyms among Distributionally Similar WordsDekang Lin, Shaojun Zhao, Lijuan Qin, Ming Zhou. 1492-1493
• A Logic Prover for Text ProcessingDan I. Moldovan, Christine Clark. 1494-1495
• Inducing criteria for lexicalization parts of speech using the Cyc KBTom O Hara, Michael J. Witbrock, Bjørn Aldag, Stefano Bertolo, Nancy Salay, Jon Curtis, Kathy Panton. 1496
• Neural Executive Attentional Control in RobotsJason Garforth, Sue L. McHale, Anthony Meehan. 1501-1502
• Boosting Face Identification in AirportsJimmy Liu Jiang, Kia-Fock Loe. 1503-1504
• Action Selection for Single- and Multi-Robot Tasks Using Cooperative Extended Kohonen MapsKian Hsiang Low, Wee Kheng Leow, Marcelo H. Ang Jr.. 1505-1506
• Artificial Neural Network for Sequence LearningSorin Moga, Philippe Gaussier. 1507
• Comparison of Different Grid Abstractions for Pathfinding on MapsYngvi Björnsson, Markus Enzenberger, Robert Holte, Jonathan Schaeffer, Peter Yap. 1511-1512
• Multiagent Planning with Partially Ordered Temporal PlansMichael Brenner. 1513-1514
• Recognizing Plan/Goal AbandonmentChristopher W. Geib, Robert P. Goldman. 1515-1517
• Automated Generation of Understandable Contingency PlansMax Horstmann, Shlomo Zilberstein. 1518-1519
• A Planning Algorithm for Predictive State RepresentationsMasoumeh T. Izadi, Doina Precup. 1520-1521
• Parallelizing State Space Plans OnlineRomeo Sanchez Nigenda, Subbarao Kambhampati. 1522-1523
• A lookahead strategy for solving large planning problemsVincent Vidal. 1524-1525
• Using Available Memory to Transform Graphplan s SearchTerry Zimmerman, Subbarao Kambhampati. 1526
• Lookahead Pathologies for Single Agent SearchVadim Bulitko, Lihong Li, Russell Greiner, Ilya Levner. 1531-1533
• Real-Time Strategy Games: A New AI Research ChallengeMichael Buro. 1534-1535
• Multiple Agents Moving Target SearchMark Goldenberg, Alexander Kovarsky, Xiaomeng Wu, Jonathan Schaeffer. 1536-1538
• Delayed Duplicate Detection: Extended AbstractRichard E. Korf. 1539-1541
• A Portfolio Approach to Algorithm SelectionKevin Leyton-Brown, Eugene Nudelman, Galen Andrew, Jim McFadden, Yoav Shoham. 1542-1542
• A New Node Centroid Algorithm for Bandwidth MinimizationAndrew Lim, Brian Rodrigues, Fei Xiao. 1544-1545
• Combining Two Local Search Approaches to Hypergraph PartitioningArathi Ramani, Igor L. Markov. 1546
• A New Content Based Image Retrieval Method Based on a Sketch-Driven Interpretation of Line SegmentsMarco Anelli, Alessandro Micarelli, Enver Sangineto. 1551-1552
• Towards Pervasive RoboticsArtur M. Arsenio. 1553-1554
• A Visual-Sensor Model for Mobile Robot LocalisationMatthias Fichtner, Axel Großmann. 1555-1556
• Improving Speech Recognition on a Mobile Robot Platform through the use of Top-Down Visual QueuesRobert J. Ross, R. P. S. O Donoghue, Gregory M. P. O Hare. 1557-1559
• Comparing image-based localization methodsRobert Sim, Gregory Dudek. 1560-1562
• Quantum Computation and Image Processing: New Trends in Artificial IntelligenceS. E. Venegas-Andraca, S. Bose. 1563
• Corpus-Based Knowledge RepresentationAlon Y. Halevy, Jayant Madhavan. 1567-1572
• Challenges in Web Search EnginesMonika Rauch Henzinger, Rajeev Motwani, Craig Silverstein. 1573-1579
• Deploying Information Agents on the WebCraig A. Knoblock. 1580-1586
• Constraint Satisfaction, Databases, and LogicPhokion G. Kolaitis. 1587-1595
• Web Intelligence (WI): What Makes Wisdom Web?Jiming Liu. 1596-1601
• Self-reconfiguring Robots: Successes and ChallengesDaniela Rus. 1602
• Automated Verification: Graphs, Logic, and AutomataMoshe Y. Vardi. 1603-1606
• Automated Reasoning: Past Story and New TrendsAndrei Voronkov. 1607-1612
• Automatically Personalizing User InterfacesDaniel S. Weld, Corin R. Anderson, Pedro Domingos, Oren Etzioni, Krzysztof Gajos, Tessa A. Lau, Steven A. Wolfman. 1613-1619
• Intelligent Systems in Travel and TourismHannes Werthner. 1620
• Writer s Aid: Using a Planner in a Collaborative InterfaceTamara Babaian, Barbara J. Grosz, Stuart M. Shieber. 1629-1630
• Sensible Agent Technology Improving Coordination and Communication in Biosurveillance DomainsK. Suzanne Barber, D. Faith, Karen Fullam, Thomas J. Graser, David C. Han, J. Jeong, Joonoo Kim, Dung N. Lam, Ryan McKay, M. Pal, Jisun Park, M. Vanzin. 1631-1632
• GSTP: A Temporal Reasoning System Supporting Multi-Granularity Temporal ConstraintsClaudio Bettini, Sergio Mascetti, Vincenzo Pupillo. 1633-1634
• Comparing Different Cognitive Paradigms with a Virtual LaboratoryCarlos Gershenson. 1635-1636
• Towards domain-independent, task-oriented, conversational adequacyDarsana P. Josyula, Michael L. Anderson, Donald Perlis. 1637-1638
• Broadcast News Navigator (BNN) DemonstrationMark T. Maybury. 1639-1640
• Demonstration: Liaison Agents for Distributed Space OperationsDebra Schreckenghost, R. Peter Bonasso, David Kortenkamp, Cheryl E. Martin, Tod Milam, Carroll Thronesbery. 1641-1642
• Interactive Spoken Simulation Control and Conversational TutoringKarl Schultz, Brady Clark, Elizabeth Owen Bratt, Stanley Peters, Heather Pon-Barry, Pucktada Treeratpituk, Zack Thomsen-Gray. 1643-1644
• TAGA: Travel Market Framework in AgentcitiesYouyong Zou, Timothy W. Finin, Li Ding, Harry Chen, Rong Pan. 1645
• Making Markets and Democracy Work: A Story of Incentives and ComputingTuomas Sandholm. 1649