Abstract is missing.
- Learning Evaluation Functions for Global Optimization and Boolean SatisfiabilityJustin A. Boyan, Andrew W. Moore. 3-10
- The Interactive Museum Tour-Guide RobotWolfram Burgard, Armin B. Cremers, Dieter Fox, Dirk Hähnel, Gerhard Lakemeyer, Dirk Schulz, Walter Steiner, Sebastian Thrun. 11-18
- Acceleration Methods for Numeric CSPsYahia Lebbah, Olivier Lhomme. 19-24
- Minimal Social LawsDavid Fitoussi, Moshe Tennenholtz. 26-31
- Optimal Auctions RevisitedDov Monderer, Moshe Tennenholtz. 32-37
- Leveled Commitment Contracts with Myopic and Strategic AgentsMartin Andersson, Tuomas Sandholm. 38-45
- Anytime Coalition Structure Generation with Worst Case GuaranteesTuomas Sandholm, Kate Larson, Martin Andersson, Onn Shehory, Fernando Tohmé. 46-53
- A Motivational System for Regulating Human-Robot InteractionCynthia Breazeal. 54-61
- Emotion Model for Life-Like Agent and Its EvaluationHirohide Ushida, Yuji Hirayama, Hiroshi Nakajima. 62-69
- When Robots Weep: Emotional Memories and Decision-MakingJuan D. Velásquez. 70-75
- Natural Language Multiprocessing: A Case StudyEnrico Pontelli, Gopal Gupta, Janyce Wiebe, David Farwell. 76-82
- Metacognition in Software Agents Using Classifier SystemsZhaohua Zhang, Stan Franklin, Dipankar Dasgupta. 83-88
- Agents That Work in Harmony by Knowing and Fulfilling Their ObligationsMihai Barbuceanu. 89-96
- What Is Wrong With Us? Improving Robustness Through Social DiagnosisGal A. Kaminka, Milind Tambe. 97-104
- Procedural Help in Andes: Generating Hints Using a Bayesian Network Student ModelAbigail S. Gertner, Cristina Conati, Kurt VanLehn. 106-111
- Generating Coordinated Natural Language and 3D Animations for Complex Spatial ExplanationsStuart G. Towns, Charles B. Callaway, James C. Lester. 112-119
- Reasoning Under Inconsistency Based on Implicitly-Specified Partial Qualitative Probability Relations: A Unified FrameworkSalem Benferhat, Didier Dubois, Jérôme Lang, Henri Prade, Alessandro Saffiotti, Philippe Smets. 121-126
- Belief Revision with Unreliable ObservationsCraig Boutilier, Nir Friedman, Joseph Y. Halpern. 127-134
- An Architecture for Exploring Large Design SpacesJohn R. Josephson, B. Chandrasekaran, Mark Carroll, Naresh Iyer, Bryon Wasacz, Giorgio Rizzoni, Qingyuam Li, David A. Erb. 143-150
- Constructing the Correct Diagnosis When Symptoms DisappearNancy E. Reed. 151-156
- Structured Representation of Complex Stochastic SystemsNir Friedman, Daphne Koller, Avi Pfeffer. 157-164
- Solving Very Large Weakly Coupled Markov Decision ProcessesNicolas Meuleau, Milos Hauskrecht, Kee-Eung Kim, Leonid Peshkin, Leslie Pack Kaelbling, Thomas Dean, Craig Boutilier. 165-172
- Speech Recognition with Dynamic Bayesian NetworksGeoffrey Zweig, Stuart J. Russell. 173-180
- Multimodal Reasoning for Automatic Model ConstructionReinhard Stolle, Elizabeth Bradley. 181-188
- Discovering Admissible Simultaneous Equations of Large Scale SystemsTakashi Washio, Hiroshi Motoda. 189-196
- Decompositional, Model-based Learning and its Analogy to DiagnosisBrian C. Williams, William Millar. 197-204
- What can Knowledge Representation do for Semi-Structured Data?Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. 205-210
- Modeling Web Sources for Information IntegrationCraig A. Knoblock, Steven Minton, José Luis Ambite, Naveen Ashish, Pragnesh Jay Modi, Ion Muslea, Andrew Philpot, Sheila Tejada. 211-218
- An Ontology for Transitions in Physical Dynamic SystemsPieter J. Mosterman, Feng Zhao, Gautam Biswas. 219-224
- A New Architecture for Automated ModellingNeil Smith. 225-231
- Qualitative Analysis of Distributed Physical Systems with Applications to Control SynthesisChristopher Bailey-Kellogg, Feng Zhao. 232-239
- Qualitative Simulation as a Temporally-extended Constraint Satisfaction ProblemDaniel J. Clancy, Benjamin Kuipers. 240-247
- Backtracking Algorithms for Disjunctions of Temporal ConstraintsKostas Stergiou, Manolis Koubarakis. 248-253
- Fast Transformation of Temporal Plans for Efficient ExecutionIoannis Tsamardinos, Nicola Muscettola, Paul H. Morris. 254-261
- An Algorithm to Evaluate Quantified Boolean FormulaeMarco Cadoli, Andrea Giovanardi, Marco Schaerf. 262-267
- Two Forms of Dependence in Propositional Logic: Controllability and DefinabilityJérôme Lang, Pierre Marquis. 268-273
- Anytime Approximate Modal ReasoningFabio Massacci. 274-279
- Algorithms for Propositional KB ApproximationYacine Boufkhad. 280-285
- A Non-Deterministic Semantics for Tractable InferenceJames M. Crawford, David W. Etherington. 286-291
- Computing Intersections of Horn Theories for Reasoning with ModelsThomas Eiter, Toshihide Ibaraki, Kazuhisa Makino. 292-297
- The Branching Factor of Regular Search SpacesStefan Edelkamp, Richard E. Korf. 299-304
- Complexity Analysis of Admissible Heuristic SearchRichard E. Korf, Michael Reid. 305-310
- On the Conversion between Non-Binary and Binary Constraint Satisfaction ProblemsFahiem Bacchus, Peter van Beek. 310-318
- Generalizing Partial Order and Dynamic BacktrackingChristian Bliek. 319-325
- On the Computation of Local Interchangeability in Discrete Constraint Satisfaction ProblemsBerthe Y. Choueiry, Guevara Noubir. 326-333
- Supermodels and RobustnessMatthew L. Ginsberg, Andrew J. Parkes, Amitabha Roy. 334-339
- Squeaky Wheel OptimizationDavid Joslin, David P. Clements. 340-346
- Reversible DAC and Other Improvements for Solving Max-CSPJavier Larrosa, Pedro Meseguer, Thomas Schiex, Gérard Verfaillie. 347-352
- Branch and Bound Algorithm Selection by Performance PredictionLionel Lobjois, Michel Lemaître. 353-358
- A Fast Algorithm for the Bound Consistency of alldiff ConstraintsJean-Francois Puget. 359-366
- Using Arc Weights to Improve Iterative RepairJohn Thornton, Abdul Sattar. 367-372
- Extending GENET to Solve Fuzzy Constraint Satisfaction ProblemsJason H. Y. Wong, Ho-Fung Leung. 380-385
- Local Search for Statistical CountingOlivier Bailleux. 386-391
- Hard Problems for CSP AlgorithmsDavid G. Mitchell. 398-405
- The Constrainedness Knife-EdgeToby Walsh. 406-411
- Heuristic Search in Cyclic AND/OR GraphsEric A. Hansen, Shlomo Zilberstein. 412-418
- Single-Agent Search in the Presence of DeadlocksAndreas Junghanns, Jonathan Schaeffer. 419-425
- Boosting Combinatorial Search Through RandomizationCarla P. Gomes, Bart Selman, Henry A. Kautz. 431-437
- A* with Bounded CostsBrian Logan, Natasha Alechina. 444-449
- Stochastic Node Caching for Memory-bounded SearchTeruhisa Miura, Toru Ishida. 450-456
- A Feature-Based Learning Method for Theorem ProvingMatthias Fuchs. 457-462
- Learning Investment Functions for Controlling the Utility of Control KnowledgeOleg Ledeniov, Shaul Markovitch. 463-468
- Fast Probabilistic Modeling for Combinatorial OptimizationShumeet Baluja, Scott Davies. 469-476
- Highest Utility First Search Across Multiple Levels of Stochastic DesignLouis I. Steinberg, J. Storrs Hall, Brian D. Davison. 477-484
- Evolvable Hardware Chip for High Precision Printer Image CompressionHidenori Sakanashi, Mehrdad Salami, Masaya Iwata, Shogo Nakaya, Tsukasa Yamauchi, Takeshi Inuo, Nobuki Kajihara, Tetsuya Higuchi. 486-491
- Opponent Modeling in PokerDarse Billings, Denis Papp, Jonathan Schaeffer, Duane Szafron. 493-499
- Finding Optimal Strategies for Imperfect Information GamesIan Frank, David A. Basin, Hitoshi Matsubara. 500-507
- Learning to Extract Symbolic Knowledge from the World Wide WebMark Craven, Dan DiPasquo, Dayne Freitag, Andrew McCallum, Tom M. Mitchell, Kamal Nigam, Seán Slattery. 509-516
- Information Extraction from HTML: Application of a General Machine Learning ApproachDayne Freitag. 517-523
- Towards Text Knowledge EngineeringUdo Hahn, Klemens Schnattinger. 524-531
- Answering Questions for an Organization OnlineVladimir A. Kulyukin, Kristian J. Hammond, Robin D. Burke. 532-537
- BIG: A Resource-Bounded Information Gathering AgentVictor R. Lesser, Bryan Horling, Frank Klassner, Anita Raja, Thomas Wagner, Xiaoqin Zhang. 539-546
- Design Principles for Intelligent EnvironmentsMichael H. Coen. 547-554
- Cooperating with people: the Intelligent ClassroomDavid Franklin. 555-560
- Integrating AI Components for a Military Planning ApplicationMarie A. Bienkowski, Louis J. Hoebel. 561-566
- TRIPS: An Integrated Intelligent Problem-Solving AssistantGeorge Ferguson, James F. Allen. 567-572
- Knowledge Intensive Exception SpacesSarabjot S. Anand, David W. Patterson, John G. Hughes. 574-579
- Logical Representation and Computation of Optimal Decisions in a Qualitative SettingDidier Dubois, Daniel Le Berre, Henri Prade, Régis Sabbadin. 588-593
- A Fuzzy Description LogicUmberto Straccia. 594-599
- OKBC: A Programmatic Foundation for Knowledge Base InteroperabilityVinay K. Chaudhri, Adam Farquhar, Richard Fikes, Peter D. Karp, James Rice. 600-607
- Usability Issues in Knowledge Representation SystemsDeborah L. McGuinness, Peter F. Patel-Schneider. 608-614
- An Action Language Based on Causal Explanation: Preliminary ReportEnrico Giunchiglia, Vladimir Lifschitz. 623-630
- Abductive Planning with SensingMatthew Stone. 631-636
- A Formal Methodology for Verifying Situated AgentsPhan Minh Dung. 637-642
- An Algebra for Cyclic Ordering of 2D OrientationsAmar Isli, Anthony G. Cohn. 643-649
- The Temporal Analysis of Chisholm s ParadoxLeendert W. N. van der Torre, Yao-Hua Tan. 650-655
- Temporal Reasoning with Qualitative and Quantitative Information about Points and DurationsRattana Wetprasit, Abdul Sattar. 656-663
- Iterated Phantom Induction: A Little Knowledge Can Go a Long WayMark Brodie, Gerald DeJong. 665-670
- SUSTAIN: A Model of Human Category LearningBradley C. Love, Douglas L. Medin. 671-676
- Optimal 2D Model Matching Using a Messy Genetic AlgorithmJ. Ross Beveridge. 677-683
- Learning Cooperative Lane Selection Strategies for HighwaysDavid E. Moriarty, Pat Langley. 684-691
- Boosting Classifiers RegionallyRichard Maclin. 700-705
- Recommendation as Classification: Using Social and Content-Based Information in RecommendationChumki Basu, Haym Hirsh, William W. Cohen. 714-720
- Learning to Predict User Operations for Adaptive SchedulingMelinda T. Gervasio, Wayne Iba, Pat Langley. 721-726
- Adaptive Web Sites: Automatically Synthesizing Web PagesMike Perkowitz, Oren Etzioni. 727-732
- Feature Generation for Sequence CategorizationDaniel Kudenko, Haym Hirsh. 733-738
- Concepts From Time SeriesMichael T. Rosenstein, Paul R. Cohen. 739-745
- The Dynamics of Reinforcement Learning in Cooperative Multiagent SystemsCaroline Claus, Craig Boutilier. 746-752
- Applying Online Search Techniques to Continuous-State Reinforcement LearningScott Davies, Andrew Y. Ng, Andrew W. Moore. 753-760
- Tree Based Discretization for Continuous State Space Reinforcement LearningWilliam T. B. Uther, Manuela M. Veloso. 769-774
- A Sampling-Based Heuristic for Tree Search Applied to Grammar InductionHugues Juillé, Jordan B. Pollack. 776-783
- Ambiguity and Constraint in Mathematical Expression RecognitionErik G. Miller, Paul A. Viola. 784-791
- Learning to Classify Text from Labeled and Unlabeled DocumentsKamal Nigam, Andrew McCallum, Sebastian Thrun, Tom M. Mitchell. 792-799
- Knowledge Lean Word-Sense DisambiguationTed Pedersen, Rebecca F. Bruce. 800-805
- Learning to Resolve Natural Language Ambiguities: A Unified ApproachDan Roth. 806-813
- Generating Inference-Rich Discourse Through Revisions of RST-TreesHelmut Horacek. 814-820
- Hermes: Supporting Argumentative Discourse in Multi-Agent Decision MakingNikos I. Karacapilidis, Dimitris Papadias. 827-832
- Bayesian Reasoning in an Abductive Mechanism for Argument Generation and AnalysisIngrid Zukerman, Richard McConachy, Kevin B. Korb. 833-838
- Fixpoint 3-Valued Semantics for Autoepistemic LogicMarc Denecker, V. Wiktor Marek, Miroslaw Truszczynski. 840-845
- Experimenting with Power Default ReasoningEric Klavins, William C. Rounds, Guo-Qiang Zhang. 846-852
- Improving Big PlansNeal Lesh, Nathaniel Martin, James F. Allen. 860-867
- Controlling Communication in Distributed Planning Using Irrelevance ReasoningMichael Wolverton, Marie desJardins. 868-874
- Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic DomainsAlessandro Cimatti, Marco Roveri, Paolo Traverso. 875-881
- Hybrid Planning for Partially Hierarchical DomainsSubbarao Kambhampati, Amol Dattatraya Mali, Biplav Srivastava. 882-888
- Conformant GraphplanDavid E. Smith, Daniel S. Weld. 889-896
- Extending Graphplan to Handle Uncertainty & Sensing ActionsDaniel S. Weld, Corin R. Anderson, David E. Smith. 897-904
- Analyzing External Conditions to Improve the Efficiency of HTN PlanningReiko Tsuneto, James A. Hendler, Dana S. Nau. 913-920
- Managing Multiple Tasks in Complex, Dynamic EnvironmentsMichael Freed. 921-927
- Maintaining Consistency in Hierarchical ReasoningRobert E. Wray III, John E. Laird. 928-935
- Acquisition of Abstract Plan Descriptions for Plan RecognitionMathias Bauer. 936-941
- Needles in a Haystack: Plan Recognition in Large Spatial Domains Involving Multiple AgentsMark Devaney, Ashwin Ram. 942-947
- Act, and the Rest Will Follow: Exploiting Determinism in Planning as SatisfiabilityEnrico Giunchiglia, Alessandro Massarotto, Roberto Sebastiani. 948-953
- Using Caching to Solve Larger Probabilistic Planning ProblemsStephen M. Majercik, Michael L. Littman. 954-959
- Alternative Essences of IntelligenceRodney A. Brooks, Cynthia Breazeal, Robert Irie, Charles C. Kemp, Matthew Marjanovic, Brian Scassellati, Matthew M. Williamson. 961-968
- Eye Finding via Face Detection for a Foveated Active Vision SystemBrian Scassellati. 969-976
- Template-Based Recognition of Pose and Motion Gestures On a Mobile RobotStefan Waldherr, Sebastian Thrun, Roseli Romero, Dimitris Margaritis. 977-982
- Position Estimation for Mobile Robots in Dynamic EnvironmentsDieter Fox, Wolfram Burgard, Sebastian Thrun, Armin B. Cremers. 983-988
- Integrating Topological and Metric Maps for Mobile Robot Navigation: A Statistical ApproachSebastian Thrun, Jens-Steffen Gutmann, Dieter Fox, Wolfram Burgard, Benjamin Kuipers. 989-995
- The Role of Data Reprocessing in Complex Acoustic EnvironmentsFrank Klassner, Victor R. Lesser, Hamid Nawab. 997-1003
- Sound Ontology for Computational Auditory Scence AnalysisTomohiro Nakatani, Hiroshi G. Okuno. 1004-1010
- Multi Machine Scheduling: An Agent-Based ApproachRama Akkiraju, Pinar Keskinocak, Sesh Murthy, Frederick Y. Wu. 1013-1019
- Producing BT s Yellow Pages with FormationGail Anderson, Andrew Casson-du Mont, Ann Macintosh, Robert Rae, Barry Gleeson. 1020-1026
- Using Artificial Intelligence Planning to Automate SAR Image Processing for Scientific Data AnalysisForest Fisher, Steve A. Chien, Edisanter Lo, Ronald Greeley. 1027-1031
- Turbine Engine Diagnostics (TED): An Expert Diagnostic System for the M1 Abrams Turbine EngineRichard Helfman, Edmund H. Baur, John Dumer, Tim Hanratty, Holly Ingham. 1032-1038
- Countrywide Automated Property Evaluation System - CAPESIngemar A. E. Hulthage, Iain Stobie. 1039-1046
- The NASD Regulation Advanced Detection System (ADS)J. Dale Kirkland, Ted E. Senator, James J. Hayden, Tomasz Dybala, Henry G. Goldberg, Ping Shyr. 1055-1062
- A New Technique Enables Dynamic Replanning and Rescheduling of Aeromedical EvacuationAlexander Kott, Victor Saks, Albert Mercer. 1063-1070
- Knowledge-Based Avoidance of Drug-Resistant HIV MutantsRichard H. Lathrop, Nicholas R. Steffen, Miriam P. Raphael, Sophia Deeds-Rubin, Michael J. Pazzani, Paul J. Cimoch, Darryl M. See, Jeremiah G. Tilles. 1071-1078
- Success in Spades: Using AI Planning Techniques to Win the World Championship of Computer BridgeStephen J. J. Smith, Dana S. Nau, Thomas A. Throop. 1079-1086
- ANSWER: Network Monitoring Using Object-Oriented RulesGary M. Weiss, Johannes P. Ros, Anoop Singhal. 1087-1093
- Warfighter s Information PackagerYigal Arens, Weixiong Zhang, Yongwon Lee, Jon Dukes-Schlossberg, Marc Zev. 1095-1100
- Realtime Constraint-Based Cinematography for Complex Interactive 3D WorldsWilliam H. Bares, Joël P. Grégoire, James C. Lester. 1101-1106
- Hybrid Knowledge Based System for Automatic Classificaton of B-scan Images from Ultrasonic Rail InspectionJacek Jarmulak, Eugene J. H. Kerckhoffs, Peter Paul van t Veen. 1121-1126
- Control Strategies in HTN Planning: Theory Versus PracticeDana S. Nau, Stephen J. J. Smith, Kutluhan Erol. 1127-1133
- A Prototype Application of Fuzzy Logic and Expert Systems in Education AssessmentJames R. Nolan. 1134-1139
- Intelligent Control of Life Support Systems for Space HabitatsDebra Schreckenghost, Daniel Ryan, Carroll Thronesbery, R. Peter Bonasso, Daniel Poirot. 1140-1145
- Split Up: The Use of an Argument Based Knowledge Representation to Meet Expectations of Different Users for Discretionary Decision MakingAndrew Stranieri, John Zeleznikow. 1146-1151
- An Expert System for Alarm System PlanningAkira Tsurushima, Kenji Urushima, Daigo Sakata, Hiroyuki Date, Masatomo Nakata, Yoshinobu Adachi, Kazuhisa Takahashi. 1152-1159
- Conversation Machines for Transaction ProcessingWlodek Zadrozny, Catherine G. Wolf, Nanda Kambhatla, Yiming Ye. 1160-1166
- Optimizing Information Agents by Selectively Materializing DataNaveen Ashish. 1168
- HR - Automatic Concept Formation in Finite AlgebrasSimon Colton. 1170
- Optimizing Initial Configurations of Neural Networks for the Task of Natural Language LearningJaime J. Dávila. 1171
- Pragmatic Multi-Agent LearningAndrew Garland. 1172
- Exploiting Diversity for Natural Language ProcessingJohn C. Henderson. 1174
- Multimodal, Multilevel Selective AttentionMicheal Hewett. 1175
- Learning in Markov Games with Incomplete InformationJunling Hu. 1176
- Extending the Classification Paradigm to Temporal DomainsMohammed Waleed Kadous. 1177
- Data Mining for Maintenance of Complex SystemsSylvain Létourneau. 1178
- Empirical Acquisition of Word-Sense DistinctionsThomas P. O Hara. 1179
- Bayesian Reasoning for Tropical Cyclone Intensity Forecasting and Risk AnalysisGrace W. Rumantir. 1181
- A Script-Based Approach to Modifying Knowledge-Based SystemsMarcelo Tallis. 1183
- Learning to Teach with a Reinforcement Learning AgentJoseph Beck. 1185
- Genetic Search for Accurate Feature SetsBrendan Burns. 1186
- A First Analysis of Qualitative Influences and SynergiesJesús Cerquides, Ramon López de Mántaras. 1187
- A New Approach to Rule Interest MeasuresJesús Cerquides, Ramon López de Mántaras. 1188
- Classification Using an Online Genetic AlgorithmBrian D. Davison. 1189
- Plan Recognition in Complex Spatial DomainsMark Devaney. 1190
- Nested Joint Probability Model for Morphological Analysis and its Grid PruningKoji Fujimoto, Nobuo Inui, Yoshiyuki Kotani. 1191
- Selection of Conflict Resolution Strategies in Dynamically Organized Sensible Agent-Based SystemsTse-Hsin Liu, K. Suzanne Barber. 1193
- Refinement-Based Planning as SatisfiabilityAmol Dattatraya Mali. 1194
- Goal and Responsibility Allocation in Sensible Agent-Based SystemsRyan McKay, K. Suzanne Barber. 1195
- Tutorial Response Generation in a Writing Tool for Deaf Learners of EnglishLisa N. Michaud. 1196
- Dependent Bigram IdentificationTed Pedersen. 1197
- Raw Corpus Word Sense DisambiguationTed Pedersen. 1198
- Estimating the Expected Error of Empirical Minimizers for Model SelectionTobias Scheffer, Thorsten Joachims. 1200
- Pluto: Managing Multistrategy Learning through PlanningGordon T. Shippey, J. William Murdock, Ashwin Ram. 1201
- A Framework for Reinforcement Learning on Real RobotsWilliam D. Smart, Leslie Pack Kaelbling. 1202
- Handling Inconsistency for Multi-Source IntegrationSheila Tejada, Craig A. Knoblock, Steven Minton. 1203
- Emotion-based AgentsRodrigo M. M. Ventura, Carlos A. Pinto-Ferreira. 1204
- DL- elect: A Decision-List-Based Data-Mining SystemKarl Weinmeister. 1205
- Ensuring Reasoning Consistency in Hierarchical ArchitecturesRobert E. Wray III, John E. Laird. 1206
- Building Agents from Shared Ontologies Through Apprenticeship Multistrategy LearningKathryn Wright, Mihai Boicu, Seok-Won Lee, Gheorghe Tecuci. 1207
- Structured Probabilistic Models: Bayesian Networks and BeyondDaphne Koller. 1210-1211