Abstract is missing.
- The Predictive Toxicology Evaluation ChallengeAshwin Srinivasan, Ross D. King, Stephen Muggleton, Michael J. E. Sternberg. 4-9
- Challenge: What is the Impact of Bayesian Networks on Learning?Nir Friedman, Moisés Goldszmidt, David Heckerman, Stuart J. Russell. 10-15
- Adaptive Web Sites: an AI ChallengeMike Perkowitz, Oren Etzioni. 16-23
- The RoboCup Synthetic Agent Challenge 97Hiroaki Kitano, Milind Tambe, Peter Stone, Manuela M. Veloso, Silvia Coradeschi, Eiichi Osawa, Hitoshi Matsubara, Itsuki Noda, Minoru Asada. 24-30
- Understanding Three Simultaneous SpeechesHiroshi G. Okuno, Tomohiro Nakatani, Takeshi Kawabata. 30-35
- Distributed Vision System: A Perceptual Information Infrastructure for Robot NavigationHiroshi Ishiguro. 36-43
- Ten Challenges in Propositional Reasoning and SearchBart Selman, Henry A. Kautz, David A. McAllester. 50-54
- Challenge: How IJCAI 1999 can Prove Value of AI by Using AIJames Geller. 55-61
- Qualitative Relevance and Independence: A RoadmapDidier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade. 62-67
- The Complexity of Belief UpdatePaolo Liberatore. 68-73
- Anytime Belief RevisionMary-Anne Williams. 74-81
- Towards Generalized Rule-based UpdatesYan Zhang, Norman Y. Foo. 82-88
- Representation Theorems for Multiple Belief ChangesDongmo Zhang, Shifu Chen, Wujia Zhu, Zhaoqian Chen. 89-94
- Nonmonotonic Reasoning and Multiple Belief RevisionDongmo Zhang, Shifu Chen, Wujia Zhu, Hongbing Li. 95-101
- High Performance ATP Systems by Combining Several AI MethodsJörg Denzinger, Marc Fuchs, Matthias Fuchs. 102-107
- Equational Reasoning using AC ConstraintsDavid A. Plaisted, Yunshan Zhu. 108-113
- Strategies in Rigid-Variable MethodsAndrei Voronkov. 114-121
- Tractable Cover CompilationsYacine Boufkhad, Éric Grégoire, Pierre Marquis, Bertrand Mazure, Lakhdar Sais. 122-127
- A Four-Valued Fuzzy Propositional LogicUmberto Straccia. 128-135
- Autoepistemic Description LogicsFrancesco M. Donini, Daniele Nardi, Riccardo Rosati. 136-141
- Reifying Concepts in Description LogicsLiviu Badea. 142-149
- Circumscribing InconsistencyPhilippe Besnard, Torsten Schaub. 150-155
- A Default Interpretation of Defeasible NetworkXianchang Wang, Jia-Huai You, Li-Yan Yuan. 156-161
- A Cumulative-Model Semantics for Dynamic Preferences on AssumptionsUlrich Junker. 162-167
- Learning Extended Logic ProgramsKatsumi Inoue, Yoshimitsu Kudoh. 176-181
- Compiling Prioritized Circumscription into Extended Logic ProgramsToshiko Wakaki, Ken Satoh. 182-189
- Prefixed Tableaux Systems for Modal Logics with Enriched LanguagesPhilippe Balbiani, Stéphane Demri. 190-195
- A Set-Theoretic Approach to Automated Deduction in Graded Modal LogicsAngelo Montanari, Alberto Policriti. 196-201
- On Evaluating Decision Procedures for Modal LogicUllrich Hustadt, Renate A. Schmidt. 202-209
- Preduction: A Common Form of Induction and AnalogyJun Arima. 210-215
- Analogy and Abduction in Automated DeductionGilles Défourneaux, Nicolas Peltier. 216-225
- How Similar is VERY YOUNG to 43 Years of Age? On the Representation and Comparison of Polymorphic PropertiesWerner Dubitzky, Alfons Schuster, John G. Hughes, David A. Bell, Kenneth Adamson. 226-231
- The Competence of Sub-Optimal Theories of STructure Mapping on Hard AnalogiesTony Veale, Mark T. Keane. 232-237
- An Average-Case Analysis of the k-Nearest Neighbar Classifier for Noisy DomainsSeishi Okamoto, Nobuhiro Yugami. 238-245
- Learning to Integrate Multiple Knowledge Sources for Case-Based ReasoningDavid B. Leake, Andrew Kinley, David C. Wilson. 246-251
- Aggregating Features and Matching Cases on Vague Linguistic ExpressionsAlfons Schuster, Werner Dubitzky, Philippe Lopes, Kenneth Adamson, David A. Bell, John G. Hughes, John A. White. 252-257
- Acquisition of Human Feelings in Music ArrangementsMasayuki Numao, Masashi Kobayashi, Katsuyuki Sakaniwa. 268-273
- Using Data and Theory in Multistretegy (Mis)Concept(ion) DiscoveryRayond Sison, Masayuki Numao, Masamichi Shimura. 274-279
- An Aggregation Procedure for Building Episodic MemoryOlivier Ferret, Brigitte Grau. 280-287
- An Achievement Test for Knowledge-Based Systems: QUEMCaroline C. Hayes, Michael I. Parzen. 288-293
- A Functional Theory of Design PatternsSambasiva R. Bhatta, Ashok K. Goel. 294-300
- Mental Tracking: A Computational Model of Spatial DevelopmentKazuo Hiraki, Akio Sashima, Steven Phillips. 301-309
- In the Quest of the Missing LinkGuilherme Bittencourt. 310-315
- Implementing BDI-like Systems by Direct ExecutionMichael Fisher. 316-321
- Managing Decision Resources in Plan ExecutionMichael Freed, Roger W. Remington. 322-328
- Reasoning Symbolically About Partially Matched CasesKevin D. Ashley, Vincent Aleven. 335-341
- Task Ontology Makes It Easier To Use Authoring ToolsMitsuru Ikeda, Kazuhisa Seta, Riichiro Mizoguchi. 342-351
- Semiring-based Constraint Logic ProgrammingStefano Bistarelli, Ugo Montanari, Francesca Rossi. 352-357
- Computational Complexity of Multi-way, Dataflow Constraint ProblemsGilles Trombettoni, Bertrand Neveu. 358-365
- Heuristics Based on Unit Propagation for Satisfiability ProblemsChu Min Li, Anbulagan. 366-371
- Hidden Gold in Random Generation of SAT Satisfiable InstancesThierry Castell, Michel Cayrol. 372-377
- Discrete Lagrangian-Based Search for Solving MAX-SAT ProblemsBenjamin W. Wah, Yi Shang. 378-383
- Learning Short-Term Weights for GSATJeremy Frank. 384-391
- Local Consistency for Ternary Numeric ConstraintsBoi Faltings, Esther Gelle. 392-397
- Arc Consistency for General Constraint Networks: Preliminary ResultsChristian Bessière, Jean-Charles Régin. 398-404
- Constraint Satisfaction over Connected Row Convex ConstraintsYves Deville, Olivier Barette, Pascal Van Hentenryck. 405-411
- Some Practicable Filtering Techniques for the Constraint Satisfaction ProblemRomuald Debruyne, Christian Bessière. 412-417
- Structuring Techniques for Constraint Satisfaction ProblemsRainer Weigel, Boi Faltings. 418-423
- Merging Constraint Satisfaction Subproblems to Avoid Redundant SearchJavier Larrosa. 424-433
- Locating Faults in Tree-Structured NetworksChristopher Leckie, Michael Dale. 434-439
- Diagnosing Tree Structured SystemsMarkus Stumptner, Franz Wotawa. 440-445
- Event-Based Reasoning for Short Circuit Diagnosis in Power Transmission NetworksGianfranco Lamperti, Paolo Pogliano. 446-453
- Exploiting Domain Knowledge for Approximate DiagnosisAnnette ten Teije, Frank van Harmelen. 454-459
- Semantically Guided Theorem Proving for Diagnosis ApplicationsPeter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl. 460-465
- A Static Model-Based Engine for Model-Based ReasoningPeter Fröhlich, Wolfgang Nejdl. 466-473
- Polynomial Temporal Band Sequences for Analog DiagnosisEtienne Loiez, Patrick Taillibert. 474-479
- Fundamentals of Model-Based Diagnosis of Dynamic SystemsPeter Struss. 480-485
- Comparative Analysis of STructurally Different Dynamical SystemsHidde de Jong, Frank van Raalte. 486-493
- A Web-Based Compositional Modeling System for Sharing of Physical KnowledgeYumi Iwasaki, Adam Farquhar, Richard Fikes, James Rice. 494-500
- A Causal Time Ontology for Qualitative ReasoningYoshinobu Kitamura, Mitsuru Ikeda, Riichiro Mizoguchi. 501-507
- Qualitative Reasoning about Perception and BeliefAlvaro del Val, Pedrito Maynard-Reid II, Yoav Shoham. 508-513
- Rule-based Contact Monitoring Using Examples Obtained by Task DemonstrationPavan Sikka, Brenan J. McCarragher. 514-521
- On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection CalculusJochen Renz, Bernhard Nebel. 522-527
- Automation of Diagrammatic ReasoningMateja Jamnik, Alan Bundy, Ian Green. 528-533
- Structural Inferences from Massive DatasetsKenneth Yip. 534-541
- Qualitative Analysis of Causal Graphs with Equilibrium Type-TransitionKoichi Kurumatani, Mari Nakamura. 542-548
- Action Localness, Genericity and Invariants in STRIPSNorman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco, Pavlos Peppas, Yan Zhang. 549-554
- Causality, Constraints and Indirect EffectsHector Geffner. 555-561
- Redesigning a Problem-Solver s Operations to Improve Solution QualityEleni Stroulia, Ashok K. Goel. 562-567
- Formal Specifications for Hybrid Dynamical SystemsPieter J. Mosterman, Gautam Biswas. 568-577
- Middle-Agents for the InternetKeith Decker, Katia P. Sycara, Mike Williamson. 578-583
- Semantics and Conversations for an Agent Communication LanguageYannis Labrou, Timothy W. Finin. 584-591
- Persuasion among Agents: An Approach to Implementing a Group Decision System Based on Multi-Agent NegotiationTakayuki Ito, Toramatsu Shintani. 592-599
- Cooperation StructuresMark d Inverno, Michael Luck, Michael Wooldridge. 600-605
- Exploration and Adaptation in Multiagent Systems: A Model-based ApproachDavid Carmel, Shaul Markovitch. 606-611
- Dynamic Prioritization of Complex Agents in Distributed Constraint Satisfaction ProblemsAaron A. Armstrong, Edmund H. Durfee. 620-625
- A Dynamic Theory of Incentives in Multi-Agent SystemsYoav Shoham, Katsumi Tanaka. 626-631
- On the Gains and Losses of Speculation in Equilibrium MarketsTuomas Sandholm, Fredrik Ygge. 632-639
- The Use of Meta-level Information in Learning Situation-Specific CoordinationM. V. Nagendra Prasad, Victor R. Lesser. 640-646
- Analysis of Inheritance Mechanisms in Agent-Oriented ProgrammingLobel Crnogorac, Anand S. Rao, Kotagiri Ramamohanarao. 647-654
- An Expert System Using Nonmonotonic Techniques for Beneefits Inquiry in the Insurance IndustryLeora Morgenstern, Moninder Singh. 655-661
- Can We Benefit from Metrics in KBS Development?Stefan Kramer, Hermann Kaindl, Stefan Schlee. 662-667
- Multi-Perspective Modeling of the Air Camaign Planning ProcessJohn Kingston, Anna Griffith, Terri Lydiard. 668-677
- An Evolutionary Algorithm Extended by Ecological Analogy and its Application to the Game of GoTakuya Kojima, Kazuhiro Ueda, Saburo Nagano. 684-691
- Search Versus Knowledge in Game-Playing Programs RevisitedAndreas Junghanns, Jonathan Schaeffer. 692-697
- Learning Strategies in Games by AnticipationChristophe Meyer, Jean-Gabriel Ganascia, Jean-Daniel Zucker. 698-707
- Translingual Information Retrieval: A Comparative EvaluationJaime G. Carbonell, Yiming Yang, Robert E. Frederking, Ralf D. Brown, Yibing Geng, Danny Lee. 708-715
- Adaptive Personal Information Filtering System that Organizes Personal Profiles AutomaticallyToshiki Kindo, Hideyuki Yoshida, Tetsuro Morimoto, Taisuke Watanabe. 716-721
- An Index Navigator for Understanding and Expressing User s Coherent InterestYukio Ohsawa, Masahiko Yachida. 722-728
- COSPEX: A System for Constructing Private Digital LibrariesMasanori Sugimoto, Norio Katayama, Atsuhiro Takasu. 738-744
- Using a Bayesian Network Induction Approach for Text CategorizationWai Lam, Kon Fan Low, Chao Yang Ho. 745-750
- Toward Structured Retrieval in Semi-structured Information SpacesScott B. Huffman, Catherine Baudin. 751-757
- The Self-Organizing DeskDaniela Rus, Peter de Santis. 758-763
- A Learning System for Selective Dissemination of InformationGianni Amati, Fabio Crestani, Flavio Ubaldini. 764-769
- Web Watcher: A Tour Guide for the World Wide WebThorsten Joachims, Dayne Freitag, Tom M. Mitchell. 770-777
- Recursive Plans for Information GatheringOliver M. Duschka, Alon Y. Levy. 778-784
- Unbiased Assesment of Learning AlgorithmsTobias Scheffer, Ralf Herbrich. 798-803
- Is Nonparametric Learning Practical in Very High Dimensional Spaces?Gregory Z. Grudic, Peter D. Lawrence. 804-809
- Discovering Admissible Models of Complex Systems Based on Scale-Types and Idemtity ConstraintsTakashi Washio, Hiroshi Motoda. 810-819
- An Adaptive Architecture for Modular Q-LearningTakayuki Kohri, Kei Matsubayashi, Mario Tokoro. 820-825
- A Convergent Reinforcement Learning Algorithm in the Continuous Case Based on a Finite Difference MethodRémi Munos. 826-831
- Ants and Reinforcement Learning: A Case Study in Routing in Dynamic NetworksDevika Subramanian, Peter Druschel, Johnny Chen. 832-839
- Integrating Models of Discrimination and Characterization for Learning from Examples in Open DomainsPaul Davidsson. 840-845
- Decision Tree GraftingGeoffrey I. Webb. 846-851
- Ensembles as a Sequence of ClassifiersLars Asker, Richard Maclin. 860-865
- Stacked Generalizations: When Does It Work?Kai Ming Ting, Ian H. Witten. 866-873
- Alignment Algorithms for Learning to Read AloudCharles X. Ling, Handong Wang. 874-879
- Socially Embedded Learning of the Office-Conversant Mobil Robot Jijo-2Hideki Asoh, Satoru Hayamizu, Isao Hara, Yoichi Motomura, Shotaro Akaho, Toshihiro Matsui. 880-887
- Tractable Induction and Classification in First Order Logic Via Stochastic MatchingMichèle Sebag, Céline Rouveirol. 888-893
- RHB+: A Type-Oriented ILP System Learning from Positive DataYutaka Sasaki, Masahiko Haruno. 894-899
- Integrating Explanatory and Descriptive Learning in ILPYannis Dimopoulos, Saso Dzeroski, Antonis C. Kakas. 900-907
- Combining Knowledge Acquisition and Machine Learning to Control Dynamic SystemsG. M. Shiraz, Claude Sammut. 908-913
- Skill Reconstruction as Induction of LQ Controllers with SubgoalsDorian Suc, Ivan Bratko. 914-919
- Learning Topological Maps with Weak Local Odometric InformationHagit Shatkay, Leslie Pack Kaelbling. 920-929
- Discovering Interesting Holes in DataBing Liu, Liang-Ping Ku, Wynne Hsu. 930-935
- An Analysis on Crossovers for Real Number Chromosomes in an Infinite Population SizeTatsuya Nomura. 936-941
- Minimum Splits Based Discretization for Continuous FeaturesKe Wang, Han Chong Goh. 942-951
- Dynamically Imroving Explanations: A Revision-Based Approach to Explanation GenerationCharles B. Callaway, James C. Lester. 952-958
- Exploiting the Addressee s Inferential Capabilities in Presenting Mathematical ProofsDetlef Fehrer, Helmut Horacek. 959-964
- Proof Verbalization as an Application of NLGXiaorong Huang, Armin Fiedler. 965-972
- Corpus-Based Chinese-Korean Abstracting Translation SystemJun-jie Li, Key-Sun Choi. 972-976
- A Hybrid Approach to Interactive Machine Translation - Integrating Rule-based, Corpus-based, and Example-basedMethodKiyoshi Yamabana, Shin-ichiro Kamei, Kazunori Muraki, Shinichi Doi, Shinko Tamura, Kenji Satoh. 977-982
- Improving Performance of Transfer-Driven Machine Translation with Extra-Linguistic Informatioon from Context, Situation and EnvironmentHideki Mima, Osamu Furuse, Hitoshi Iida. 983-989
- Dynamic, User-Centered Resolution in Interactive StoriesNikitas M. Sgouros. 990-995
- Tall , Good , High - Compared to What?Steffen Staab, Udo Hahn. 996-1001
- Charts, Interaction-free Grammars, and the Compact Representation of AmbiguityMarc Dymetman. 1002-1009
- On the Interaction of Metonymies and AnaphoraKatja Markert, Udo Hahn. 1010-1015
- Computing Parallelism in DiscourseClaire Gardent, Michael Kohlhase. 1016-1021
- Content Ordering in the Generation of Persuasive DiscourseChris Reed, Derek Long. 1022-1029
- ARTIMIS: Natural Dialogue Meets Rational AgencyM. David Sadek, Philippe Bretier, E. Panaget. 1030-1035
- An Information-based Approach for Guiding Multi-Modal Human-Computer-InteractionMatthias Denecke. 1036-1041
- A Method of Generating Calligraphy of Japanese Character using Deformable ContourseLisong Wang, Tsuyoshi Nakamura, Minkai Wang, Hirohisa Seki, Hidenori Itoh. 1050-1055
- The Representation and Use of a Visual Lexicon for Automated Graphics GenerationMichelle X. Zhou, Steven Feiner. 1056-1065
- On the Efficient Classification of Data Structures by Neural NetworksPaolo Frasconi, Marco Gori, Alessandro Sperduti. 1066-1071
- On the Role of Hierarchy for Neural Network InterpretationJürgen Rahmel, Christian Blum, Peter Hahn. 1072-1077
- Law Discovery using Neural NetworksKazumi Saito, Ryohei Nakano. 1078-1083
- Extracting Propositions from Trained Neural NetworksHiroshi Tsukimoto. 1098-1105
- Combining Probabilistic Population CodesRichard S. Zemel, Peter Dayan. 1114-1119
- Self-Organization and Segmentation with Laterally Connected Spiking NeuronsYoonsuck Choe, Risto Miikkulainen. 1120-1125
- A Music Stream Segregation System Based on Adaptive Multi-AgentsKunio Kashino, Hiroshi Murase. 1126-1133
- An Effective Learning Method for Max-Min Neural NetworksLoo-Nin Teow, Kia-Fock Loe. 1134-1139
- Avoiding Overfitting with BP-SOMTon Weijters, H. Jaap van den Herik, Antal van den Bosch, Eric O. Postma. 1140-1145
- Evolvable Hardware for Generalized Neural NetworksMasahiro Murakawa, Shuji Yoshizawa, Isamu Kajitani, Tetsuya Higuchi. 1146-1155
- Prioritized Goal Decomposition of Markov Decision Processes: Toward a Synthesis of Classical and Decision Theoretic PlanningCraig Boutilier, Ronen I. Brafman, Christopher W. Geib. 1156-1162
- Model Minimization, Regression, and Propositional STRIPS PlanningRobert Givan, Thomas Dean. 1163-1168
- Automatic SAT-Compilation of Planning ProblemsMichael D. Ernst, Todd D. Millstein, Daniel S. Weld. 1169-1177
- A Reactive Planner for a Model-based ExecutiveBrian C. Williams, P. Pandurang Nayak. 1178-1185
- Modeling Command EntitiesMichael D. Howard. 1186-1193
- Vision-Motion Planning of a Mobile Robot considering Vision Uncertainty and Planning CostJun Miura, Yoshiaki Shirai. 1194-1200
- Handling Duration Uncertainty in Meta-Level Control of Progressive ProcessingAbdel-Illah Mouaddib, Shlomo Zilberstein. 1201-1207
- Adaptive Goal RecognitionNeal Lesh. 1208-1214
- Reasoning about PlansWitold Lukaszewicz, Ewa Madalinska-Bugaj. 1215-1220
- Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation CalculusGiuseppe De Giacomo, Yves Lespérance, Hector J. Levesque. 1221-1226
- Learning to Improve both Efficiency and Quality of PlanningTara A. Estlin, Raymond J. Mooney. 1227-1233
- Robust Periodic Planning and Execution for Autonomous SpacecraftBarney Pell, Erann Gat, Ron Keesing, Nicola Muscettola, Benjamin D. Smith. 1234-1239
- System Assistance in Structured Domain Model DevelopmentSusanne Biundo, Werner Stephan. 1240-1245
- Par-KAP: a Knowledge Acquisition Tool for Building Practical Planning SystemsLeliane Nunes de Barros, James A. Hendler, V. Richard Benjamins. 1246-1253
- Combining Local Search and Look-Ahead for Scheduling and Constraint Satisfaction ProblemsAndrea Schaerf. 1254-1259
- Automatic Generation of Heuristics for SchedulingRobert A. Morris, John L. Bresina, Stuart M. Rodgers. 1260-1266
- Development of Iterative Real-time Scheduler to Planner FeedbackCharles B. McVey, Ella M. Atkins, Edmund H. Durfee, Kang G. Shin. 1267-1275
- Object Identification in a Bayesian ContextTimothy Huang, Stuart J. Russell. 1276-1283
- Probabilistic Partial Evaluation: Exploiting Rule Structure in Probabilistic InferenceDavid Poole. 1284-1291
- Space-Efficient Inference in Dynamic Probabilistic NetworksJohn Binder, Kevin P. Murphy, Stuart J. Russell. 1292-1296
- Mini-Buckets: A General Scheme for Generating Approximations in Automated ReasoningRina Dechter. 1297-1303
- A Study of Causal Discovery With Weak Links and Small SamplesHonghua Dai, Kevin B. Korb, Chris S. Wallace, Xindong Wu. 1304-1309
- ILP with Noise and Fixed Example Size: A Bayesian ApproachEric McCreath, Arun Sharma. 1310-1315
- A Symmetric View of Utilities and ProbabilitiesYoav Shoham. 1324-1329
- PRISM: A Language for Symbolic-Statistical ModelingTaisuke Sato, Yoshitaka Kameya. 1330-1339
- Multi-Robot Exploration of an Unknown Environment, Efficiently Reducing the Odometry ErrorIoannis M. Rekleitis, Gregory Dudek, Evangelos E. Milios. 1340-1345
- Active Mobile Robot LocalizationWolfram Burgard, Dieter Fox, Sebastian Thrun. 1346-1352
- Reactive Combination of Belief Over Time Using Direct PerceptionRobin R. Murphy, Dale K. Hawkins, Marcel Schoppers. 1353-1359
- Scaling the Dynamic Approach to Autonomous Path Planning: Planning Horizon DynamicsEdward W. Large, Henrik I. Christensen, Ruzena Bajcsy. 1360-1365
- Learning to Coordinate Controllers - Reinforcement Learning on a Control BasisManfred Huber, Roderic A. Grupen. 1366-1371
- Situated Actions and CognitionJacques Penders, Peter J. Braspenning. 1372-1381
- Interleaved Depth-First SearchPedro Meseguer. 1382-1387
- From Approximate to Optimal Solutions: Constructing Pruning and Propagation RulesIan P. Gent, Toby Walsh. 1396-1401
- An Approximate 0-1 Edge-Labeling Algorithm for Constrained Bin-Packing ProblemHo Soo Lee, Mark Trumbo. 1402-1411
- Applications of the Situation Calculus To Formalizing Control and Strategy Information: The Prolog Cut OperatorFangzhen Lin. 1412-1419
- Reasoning by Regression: Pre- and Postdiction Procedures for Logics of Action and ChangeMarcus Bjäreland, Lars Karlsson. 1420-1425
- Change, Change, Change: Three ApproachesTom Costello. 1426-1433
- Reasoning with Incomplete Initial Information and Nondeterminism in Situation CalculusLars Karlsson. 1434-1440
- Defeasible Specifications in Action TheoriesChitta Baral, Jorge Lobo. 1441-1446
- Reasoning about Action in Polynomial TimeThomas Drakengren, Marcus Bjäreland. 1447-1453
- Qualitative Temporal Reasoning with Points and DurationsIsabel Navarrete, Roque Marín. 1454-1459
- On Finding a Solution in Temporal Constraint Satisfaction ProblemsAlfonso Gerevini, Matteo Cristani. 1460-1465
- Towards a Complete Classification of Tractability in Allen s AlgebraThomas Drakengren, Peter Jonsson. 1466-1475
- Comparing Random Starts Local Search with Key Feature MatchingJ. Ross Beveridge, Christopher R. Graves, Jim Steinborn. 1476-1481
- Chain of Circles for Matching and Recognition of Planar ShapesJae-Moon Chung, Noboru Ohnishi. 1482-1487
- Name-It: Naming and Detecting Faces in Video by the Integration of Image and Natural Language ProcessingShin ichi Satoh, Yuichi Nakamura, Takeo Kanade. 1488-1495
- Neural Network Based Photometric Strereo Using Illumination PlanningYuji Iwahori, Wataru Kato, Shoaib Bhuiyab, Robert J. Woodham, Naohiro Ishii. 1496-1501
- A General Expression of the Fundamental Matrix for Both Perspective and Affine CamerasZhengyou Zhang, Gang Xu. 1502-1510
- The Next Big Thing: Position StatementsMunindar P. Singh, Daniel G. Bobrow, Michael N. Huhns, Margaret King, Hiroaki Kitano. 1511-1524
- PAC - Personality and Cognition: An Interactive System for Modelling Agent ScenariosLin Padgham, Guy Taylor. 1531-1538
- Modularity in Computer Assisted Reasoning SystemsAlessandro Agostini. 1539
- Automation of Diagrammatic Proofs in MathematicsMateja Jamnik. 1541
- Toward the Automatic Discovery of MisconceptionsRaymund Sison. 1542
- Algorithm Evolution for Signal UnderstandingAstro Teller. 1544
- The Use of Neural Network Approach in Financial Asset ManagementFrancesco Virili. 1545
- Constrainted Object Hierarchy - An Architecture for Intelligent SystemsHongxue Wang. 1546
- Let s Plan It Deductively!Wolfgang Bibel. 1549-1562
- Creativity and Artificial IntelligenceMargaret A. Boden. 1563-1566
- Modeling Social Action for AI AgentsCristiano Castelfranchi. 1567-1576
- Vehicles Capable of Dynamic VisionErnst D. Dickmanns. 1577-1592
- Remote-Brained RobotsMasayuki Inaba. 1593-1606
- Generating Multimedia Briefings: Language Generation in a Coordinated Multimedia EnvironmentKathleen McKeown. 1607-1612
- Machine Learning Techniques to Make Computers Easier to UseHiroshi Motoda, Kenichi Yoshida. 1622-1631
- The Origins of Syntax in Visually Grounded Robotic AgentsLuc Steels. 1632-1641
- Research Excellence Award: Relationship Between Natural Language Processing and AIAravind K. Joshi. 1651-1652