A. Srinivasan, R. D. King, S. H. Muggleton, M. J. E. Sternberg:
The Predictive Toxicology Evaluation Challenge.
pp 4-9, nr 1

Nir Friedman, Moises Goldszmidt, David Heckerman, Stuart Russell:
Challenge: What is the Impact of Bayesian Networks on Learning?
pp 10-15, nr 1

Mike Perkowitz, Oren Etzioni:
Adaptive Web Sites: an AI Challenge.
pp 16-23, nr 1

Hiroaki Kitano, Milind Tambe, Peter Stone, Manuela Veloso, Silvia Coradeschi, E  iichi Osawa, Hitoshi Matsubara, Itsuki Noda, Minoru Asada:
The RoboCup Synthetic Agent Challenge 97.
pp 24-29, nr 1

Hiroshi G. Okuno, Tomohiro Nakatani, Takeschi Kawabata:
Understanding Three Simulataneous Speeches.
pp 30-35, nr 1

Hiroshi Ishiguro:
Distributed Vision System: A Perceptual Information Infrastructure for Robot Na  vigation.
pp 36-43, nr 1

Subbarao Kambhampati:
Challenges in bridging plan synthesis paradigms.
pp 44-49, nr 1

Bart Selman, Henry Kautz, David McAllester:
Ten Challanges in Propositional Reasoning and Search.
pp 50-54, nr 1

James Geller:
Challenge: How IJCAI 1999 can Prove the Value of AI by Using AI.
pp 55-61, nr 1

Didier Dubois, Luis Fari<n~as del Cerro, Andreas Herzig, Henri Prade:
Qualitative Relevance and Independence: A Roadmap.
pp 62-67, nr 1

Paolo Liberatore:
The Complexity of Belief Update.
pp 68-73, nr 1

Mary-Anne Williams:
Anytime Belief Revision.
pp 74-81, nr 1

Yan Zhang, Norman Y. Foo:
Towards Generalized Rule-based Updates.
pp 82-88, nr 1

Dongmo Zhang, Shifu Chen, Wujia Zhu, Zhaoqian Chen:
Representation Theorems for Multiple Belief Changes.
pp 89-94, nr 1

Dongmo Zhang, Shifu Chen, Wujia Zhu, Hongbing Li:
Nonmonotonic Reasoning and Multiple Belief Revision.
pp 95-101, nr 1

Jörg Denzinger, Marc Fuchs, Matthias Fuchs:
High Performance ATP Systems by Combining Several AI Methods.
pp 102-107, nr 1

David A. Plaisted, Yunshan Zhu:
Equational Reasoning using AC Constraints.
pp 108-113, nr 1

Andrei Voronkov:
Strategies in Rigid-Variable Methods.
pp 114-121, nr 1

Yacine Boufkhad, <E'ric Gr<e'goire, Pierre Marquis, Bertrand Mazure, Lakhdar Sa  <i:s
pp 122-127, nr 1

Umberto Straccia:
A Four-Valued Fuzzy Propositional Logic.
pp 128-135, nr 1

Francesco M. Donini, Daniele Nardi, Riccardo Rosati:
Autoepistemic Description Logics.
pp 136-141, nr 1

Liviu Badea:
Reifying Concepts in Description Logics.
pp 142-149, nr 1

Philippe Besnard, Torsten H. Schaub:
Circumscribing Inconsistency.
pp 150-155, nr 1

Xianchang Wang, Jia-Huai You, Li Yan Yuan:
A default interpretation of defeasible network.
pp 156-161, nr 1

Ulrich Junker:
A Cumulative-Model Semantics for Dynamic Preferences on Assumptions.
pp 162-167, nr 1

James P. Delgrande, Torsten H. Schaub:
Compiling reasoning with and about preferences into default logic.
pp 168-175, nr 1

Katsumi Inoue, Yoshimitsu Kudoh:
Learning Extended Logic Programs.
pp 176-181, nr 1

Toshiko Wakaki, Ken Satoh:
Compiling Prioritized Circumscription into Extended Logic Programs.
pp 182-189, nr 1

Philippe Balbiani, St<e'phane Demri:
Prefixed Tableaux Systems for Modal Logics with Enriched Languages.
pp 190-195, nr 1

A. Montanari, A. Policriti:
A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics.
pp 196-201, nr 1

Ullrich Hustadt, Renate A. Schmidt:
On evaluating decision procedures for modal logic.
pp 202-209, nr 1

Jun Arima:
Preduction: A Common Form of Induction and Analogy.
pp 210-215, nr 1

Gilles D<e'fourneaux, Nicolas Peltier:
Analogy and Abduction in Automated Deduction.
pp 216-225, nr 1

Werner Dubitzky, Alfons Schuster, John G. Hughes, David A. Bell, Kenneth Adamso  n:
How Similar is VERY YOUNG to 43 Years of Age?
pp 226-231, nr 1

Tony Veale, Mark Keane:
The Competence of Sub-Optimal Theories of Structure Mapping on Hard Analogies.
pp 232-237, nr 1

Seishi Okamoto, Nobuhiro Yugami:
An Average-Case Analysis of the <e k e>-Nearest Neighbor Classifier for Noisy D  omains.
pp 238-245, nr 1

David B. Leake, Andrew Kinley, David Wilson:
Learning to Integrate Multiple Knowledge Sources for Case-Based Reasoning.
pp 246-251, nr 1

Alfons Schuster, Werner Dubitzky, Philippe Lopes, Kenneth Adamson, David A. Bel  l, John G. Hughes, John A. White:
Aggregating Features and Matching Cases on Vague Linguistic Expressions.
pp 252-257, nr 1

Tu Bao Ho, Chi Mai Luong:
Using Case-Based Reasoning in Interpreting Unsupervised Inductive Learning Resu  lts.
pp 258-267, nr 1

Masayki Numao, Masashi Kobayashi, Katsuyuki Sakaniwa:
Acquisition of Human Feelings in Music Arrangement.
pp 268-273, nr 1

Raymond Sison, Masayuki Numao, Masamichi Shimura:
Using Data and Theory in Multistrategy (Mis)Concept(ion) Discovery.
pp 274-279, nr 1

Olivier Ferret, Brigitte Grau:
An Aggregation Procedure for Building Episodic Memory.
pp 280-287, nr 1

Caroline Clarke Hayes, Michael I. Parzen:
An Achievement Test for Knowledge-Based Systems: QUEM.
pp 288-293, nr 1

Sambasiva R. Bhatta, Ashok K. Goel:
A Functional Theory of Design Patterns.
pp 294-300, nr 1

Kazuo Hiraki, Akio Sashima, Steven Phillips:
Mental Tracking: A Computational Method of Spatial Development.
pp 301-309, nr 1

Guilherme Bittencourt:
In the Quest of the Missing Link.
pp 310-315, nr 1

Michael Fisher:
Implementing BDI-like Systems by Direct Execution.
pp 316-321, nr 1

Michael Freed, Roger Remington:
Managing decision resources in plan execution.
pp 322-328, nr 1

Ruddy Lelouche, Jean-Fran<c,ois Morin:
Use of Abstraction and Complexity Levels in Intelligent Educational Systems Des  ign.
pp 329-334, nr 1

Kevin D. Ashley, Vincent Aleven:
Reasoning Symbolically About Partially Matched Cases.
pp 335-341, nr 1

Mitsuru Ikeda, Kazuhisa Seta, Riichiro Mizoguchi:
Task Ontology Makes It Easier To Use Authoring Tools.
pp 342-351, nr 1

Stefano Bistarelli, Ugo Montanari, Francesca Rossi:
Semiring-based Constraint Logic Programming.
pp 352-357, nr 1

Gilles Trombettoni, Bertrand Neveu:
Computational Complexity of Multi-way, Dataflow Constraint Problems.
pp 358-365, nr 1

Chu Min Li, Anbulagan:
Heuristics Based on Unit Propagation for Satisfiability Problems.
pp 366-371, nr 1

Thierry Castell, Michel Cayrol:
Hidden <e Gold e> in Random Generation of SAT Satisfiable Instances.
pp 372-377, nr 1

Benjamin W. Wah, Yi Shang:
Discrete Lagrangian-Based Search for Solving MAX-SAT Problems.
pp 378-383, nr 1

Jeremy Frank:
Learning Short-Term Weights for GSAT.
pp 384-391, nr 1

Boi Faltings, Esther Gelle:
Local consistency for ternary numeric constraints.
pp 392-397, nr 1

Christian Bessi<e`re, Jean-Charles R<e'gin:
Arc consistency for general constraint networks: preliminary results.
pp 398-404, nr 1

Yves Deville, Olivier Barette, Pascal Van Hentenryck:
Constraint Satisfaction over Connected Row Convex Constraints.
pp 405-411, nr 1

Romuald Debruyne, Christian Bessi<e`re:
Some Practicable Filtering Techniques for the Constraint Satisfaction Problem.
pp 412-417, nr 1

Rainer Weigel, Boi V. Faltings:
Structuring Techniques for Constraint Satisfaction Problems.
pp 418-423, nr 1

Javier Larrosa:
Merging constraint satisfaction subproblems to avoid redundant search.
pp 424-433, nr 1

Christopher Leckie, Michael Dale:
Locating Faults in Tree-Structured Networks.
pp 434-439, nr 1

Markus Stumptner, Franz Dale:
Locating Faults in Tree-Structured Networks.
pp 434-439, nr 1

Markus Stumptner, Franz Wotawa:
Diagnosing Tree Structured Systems.
pp 440-445, nr 1

Gianfranco Lamperti, Paolo Pogliano:
Event-Based Reasoning for Short Circuit Diagnosis in Power Transmission Network  s.
pp 446-453, nr 1

Annette ten Teije, Frank van Harmelen:
Exploiting domain knowledge for approximate diagnosis.
pp 454-459, nr 1

Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl:
Semantically Guided Theorem Proving for Diagnosis Applications.
pp 460-465, nr 1

Peter Fröhlich, Wolfgang Nejdl:
A Static Model-Based Engine for Model-Based Reasoning.
pp 466-473, nr 1

Etienne Liez, Patrick Taillibert:
Polynomial Temporal Band Sequences for Analog Diagnosis.
pp 474-479, nr 1

Peter Struss:
Fundamentals of Model-Based Diagnosis of Dynamic Systems.
pp 480-485, nr 1

H. de Jong, F. van Raalte:
Comparative Analysis of Structurally Different Dynamical Systems.
pp 486-493, nr 1

Yumi Iwasaki, Adam Farquhar, Richard Fikes, James Rice:
A Web-Based Compositional Modeling System for Sharing of Physical Knowledge.
pp 494-500, nr 1

Yoshinobu Kitamura, Mitsuru Ikeda, Riichiro Mizoguchi:
A Casual Time Ontology for Qualitative Reasoning.
pp 501-507, nr 1

Alvaro del Val, Pedrito Maynard-Reid II, Yoav Shoham:
Qualitative Reasoning about Perception and Belief.
pp 508-513, nr 1

Pavan Sikka, Brenan J. McCarragher:
Rule-based Contact Monitoring Using Examples Obtained by Task Demonstration.
pp 514-521, nr 1

Jochen Renz, Bernhard Nebel:
On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragmen  t on the Region Connection Calculus.
pp 522-527, nr 1

Mateja Jamnik, Alan Bundy, Ian Green:
Automation of Diagrammatic Reasoning.
pp 528-533, nr 1

Kenneth Yip:
Structural Inferences from Massive Datasets.
pp 534-541, nr 1

Koichi Kurumatani, Mari Nakamura:
Qualitative Analysis of Causal Graphis with Equilibrium Type-Transition.
pp 542-548, nr 1

Norman Y. Foo, Abhaya Nayak, Maurice Pagnucco, Pavlos Peppas, Yan Zhang:
Action Localness, Genericity and Invariants in STRIPS.
pp 549-554, nr 1

Hector Geffner:
Causality, Constraints and the Indirect Effects of Actions.
pp 555-561, nr 1

Eleni Stroulia, Ashok K. Goel:
Redesigning a Problem-Solver's Operators to Improve Solution Quality.
pp 562-567, nr 1

Pieter J. Mosterman, Gautam Biswas:
Formal Specifications for Hybrid Dynamical Systems.
pp 568-577, nr 1

Keith Decker, Katia Sycara, Mike Williams:
Middle-Agents for the Internet.
pp 578-583, nr 1

Yannis Labrou, Tim Finin:
Semantics and Conversations for an Agent Communication Language.
pp 584-591, nr 1

Takayuki Ito, Toramatsu Shintani:
Persuasion among Agents: An Approach to Implementing a Group Decision Support S  ystem Based on Multi-Agent Negotiation.
pp 592-599, nr 1

Mark d'Inverno, Michael Luck, Michael Wooldridge:
Cooperation Structures.
pp 600-605, nr 1

David Carmel, Shaul Markovitch:
Exploration and Adaptation in Multiagent Systems: A Model-based Approach.
pp 606-611, nr 1

Edmund H. Durfee, Young-pa So:
The Effects of Runtime Coordination Strategies Within Static Organizations.
pp 612-619, nr 1

Aaron Armstrong, Edmund Durfee:
Dynamic Prioritization of Complex Agents in Distributed Constraint Satisfaction  Problems.
pp 620-625, nr 1

Yoav Shoham, Katsumi Tanaka:
A dynamic theory of incentives in multi-agent systems.
pp 626-631, nr 1

Tuomas Sandholm, Fredrik Ygge:
On the Gains and Losses of Speculation in Equilibrium Markets.
pp 632-639, nr 1

M. V. Nagendra Prasad, Victor R. Lesser:
The Use of Meta-level Information in Learning Situation-Specific Coordination.
pp 640-646, nr 1

Lobel Crnogorac, Anand S. Rao, Kotagiri Ramamohanarao:
Analysis of Inheritance Mechanisms in Agent-Oriented Programming.
pp 647-654, nr 1

Leora Morgenstern, Moninder Singh:
An Expert System Using Nonmonotonic Techniques for Benefits Inquiry in the Insu  rance Industry. 
pp 655-661, nr 1

Stefan Kramer, Hermann Kaindl, Stefan Schlee:
Can We Benefit from Metrics in KBS Development?
pp 662-667, nr 1

John Kingston, Anna Griffith, Terry Lydiard:
Multi-Perspective Modelling of the Air Campaign Planning process.
pp 668-677, nr 1

Patrick Ricaud:
A Model of Strategy for the Game of Go Using Abstraction Mechanisms.
PP 678-683, nr 1

Takuya Kojima, Kazuhiro Ueda, Saburo Nagano:
An Evolutionary Algorithm Extended by Ecological Analogy and its Application to  the Game of Go.
pp 684-691, nr 1

Andreas Junghanns, Jonathan Schaeffer:
Search Versus Knowledge in Game-Playing Programs Revisited.
pp 692-697, nr 1

Christophe Meyer, Jean-Gabriel Ganascia, Jean-Daniel Zucker:
Learning Strategies in Games by Anticipation.
pp 698-707, nr 1

Jaime G. Carbonell, Yiming Yang, Robert E. Frederking, Ralf D. Brown, Yibing Ge  ng, Danny Lee:
Adaptive Personal Information Filtering System that Organizes Personal Profiles  Automatically.
pp 716-721, nr 1

Yukio Ohsawa, Masahiko Yachida:
An Index Navigator for Understanding and Expressing User's Coherent Interest.
pp 722-728, nr 1

Nicholas Kushmerick, Daniel S. Weld, Robert Doorenbos:
Wrapper Induction for Information Extraction.
pp 729-737, nr 1

Masanori Sugimoto, Norio Katayama, Atsuhiro Takasu:
COSPEX: A System for Constructing Private Digital Libraries.
pp 738-744, nr 1

Wai Lam, Kon Fan Low, Chao Yang Ho:
Using a Bayesian Network Induction Approach for Text Categorization.
pp 745-750, nr 1

Scott B. Huffman, Catherine Baudin:
Toward Structured Retrieval in Semi-structured Information Spaces.
pp 751-757, nr 1

Daniela Rus, Peter de Santis:
The Self-Organizing Desk.
pp 758-763, nr 1

Gianni Amati, Fabio Crestani, Flavio Ubaldini:
A Learning System for Selective Dissemination of Information.
pp 764-769, nr 1

Thorsten Jachims, Dayne Freitag, Tom Mitchell:
WebWatcher: A Tour Guide for the World Wide Web.
pp 770-777, nr 1

Olivier M. Duschka, Alon Y. Levy:
Recursive Plans for Information Gathering.
pp 778-784, nr 1

Marc Friedman, Daniel S. Weld:
Efficiently Executing Information-Gathering Plans.
pp 785-791, nr 1

Tobias Scheffer, Ralf Herbrich:
Unbiased Assessment of Learning Algorithms.
pp 798-803, nr 2

Gregory Z. Grudic, Peter D. Lawrence:
Is Nonparametric Learning Parctical in Very High Dimensional Spaces?
pp 804-809, nr 2

Takashi Washio, Hiroschi Motoda:
Discovering Admissible Models of Complex Systems Based on Scale-Types and Ident  ity Constraints.
pp 810-819, nr 2

Takayuki Kohri, Kei Matsubayashi, Mario Tokoro:
An Adaptive Architecture for Modular Q-Learning.
pp 820-825, nr 2

R<e'mi Munos:
A convergent Reinforcement Learning algorithm in the continuous case based on a  Finite Difference method.
pp 826-831, nr 2

Devika Subramanian, Peter Druschel, Johnny Chen:
Ants and Reinforcement Learning: A Case Study in Routing in Dynamic Networks.
pp 832-839, nr 2

Paul Davidsson:
Integrating Models of Discrimination and Characterization for Learning from Exa  mples in Open Domains.
pp 840-845, nr 2

Geoffrey I. Webb:
Decision Tree Grafting.
pp 846-851, nr 2

Johannes F<u:rnkranz:
Noise-Tolerant Windowing.
pp 852-859, nr 2

Lars Asker, Richard Maclin:
Ensembles as a Sequence of Classifiers.
pp 860-865, nr 2

Kai Ming Ting, Ian H. Witten:
Stacked Generalization: when does it work?
pp 866-873, nr 2

Charles X. Ling, Handong Wang:
Alignment Algorithms for Learning to Read Aloud.
pp 874-879, nr 2

Hideki Asoh, Satoru Hayamizu, Isao Hara, Yoichi Motomura, Shotaro Akaho, Toshih  iro Matsui:
Socially Embedded Learning of the Offic-Conversant Mobile Robot <e jijo-2 e>
pp 880-887, nr 2

Mich<e`le Sebag, C<e'line Rouveiro:l
Tractable Induction and Classification in First Order Logic Via Stochastic Matc  hing.
pp 888-893, nr 2

Yutaka Sasaki, Masahiko Haruno:
RHB+:A Type-Oriented ILP System Learning from Positive Data.
pp 894-899, nr 2

Yannis Dimopoulus, Saso D<z;eroski, Antonis Kakas:
Integrating Explanatory and Descriptive Learning in ILP.
pp 900-907, nr 2

G. M. Shiraz, C. Sammut:
Cobining Knowledge Acquisition and Machine Learning to Control Dynamic Systems.
pp 908-913, nr 2

Dorian <S;uc, Ivan Bratko:
Skill reconstruction as induction of LQ controllers with subgoals.
pp 914-919, nr 2

Hagit Shatkay, Leslie Pack Kaelbling:
Learning Topological Maps with Weak Local Odometric Information.
pp 920-929, nr 2

Bing Liu, Liang-Ping Ku, Wynne Hsu:
Discovering Interesting Holes in Data.
pp 930-935, nr 2

Tatsuya Nomura:
An Analysis on Crossovers for Real Number Chromosomes in an Infinite Population  Size.
pp 936-941, nr 2

Ke Wang, Han Chong Goh:
Minimum Splits Based Discretization for Continuous Features.
pp 942-951, nr 2

Charles B. Callaway, James C. Lester:
Dynamically Improving Explanations: A Revision-Based Approach to Explanation Ge  neration.
pp 952-958, nr 2

Detlef Fehrer, Helmut Horacek:
Exploiting the Addressee's Inferential Capabilities in Presenting Mathematical   Proofs.
pp 959-964, nr 2

Xiaorong Huang, Armin Fiedler:
Proof Verbalization as an Application of NLG.
pp 965-971, nr 2

Jun-Jie Li, Key-Sun Choi:
Corpus-Based Chinese-Korean Abstracting.
pp 972-976, nr 2

Kiyoshi Yamabana, Shin-ichiro Kamei, Kazunori Muraki, Shinichi Doi, Shinko Tamu  ra, Kenji Satoh:
A Hybrid Approach to Interactive Machine Translation-Integrating Rule-based, Co  rpus-based, and Example-based Method.
pp 977-982, nr 2

Hideki Mima, Osamu Furuse, Hitoshi Iida:
Improving Performance of Transfer-Driven Machine Translation with Extra-Linguis  tic Information from Context, Situation and Environment.
pp 983-989, nr 2

Nikitas M. Sgouros:
Dynamic, User-Centered Resolution in Interactive Stories.
pp 990-995, nr 2

Steffen Staab, Udo Hahn:
"Tall", "Good", "High"-Compared to What?
pp 996-1001, nr 2

Marc Dymetman:
Charts, interaction-free grammars, and the compact representation of ambiguity.
pp 1002-1009, nr 2

Katja Markert, Udo Hahn:
On the Interaction of Metonymies and Anaphora.
pp 1010-1015, nr 2

Claire Gardent, Michael Kohlhase:
Computing Parallelism in Discourse.
pp 1016-1021, nr 2

Chris Reed, Derek Long:
Content Ordering in the Generation of Persuasive Discourse.
pp 1022-1029, nr 2

M. D Sadek, P. Bretier, F. Panaget:
ARTIMIS: Natural Dialogue Meets Rational Agency.
pp 1030-1035, nr 2

Matthias Denecke:
An Information-based Approach for Guiding Multi-Modal Human-Computer-Interactio  n.
pp 1036-1041, nr 2

Herv<e' Blanchon:
Interactive Disambiguation on Natural Language Input: a Methodology and Two Imp  lementations for French and English.
pp 1042-1049, nr 2

Lisong Wang, Tsuyoshi Nakamura, Minkai Wang, Hirohisa Seki, Hidenori Itoh:
A Method of Generation Calligraphy of Japanese Character using Deformable Conto  urs.
pp 1050-1055, nr 2

Michelle X. Zhou, Steven K. Feiner:
The Representation and Use fo a Visual Lexicon for Automated Graphics Generatio  n.
pp 1056-1065, nr 2

Paolo Frasconi, Marco Gori, Alessandro Sperduti:
On The Efficient Classificaton of Data Structures by Neural Networks.
pp 1066-1071, nr 2

Ju:rgen Rahmel, Christian Blum, Peter Hahn:
On the role of Hierarchy for Neural Network Interpretation.
pp 1072-1077, nr 2

Kazumi Saito, Ryohei Nakano:
Law Discovery using Neural Networks.
pp 1078-1083, nr 2

Yoshiteru Ishida:
Active Diagnosis by Self-Organization: An Approach by The Immune Network Metaph  or.
pp 1084-1091, nr 2

Will Lowe:
Meaning and the Mental Lexicon.
pp 1092-1097, nr 2

Hiroshi Tsukimoto:
Extracting Propositions from Trained Neural Networks.
pp 1098-1105, nr 2

Nigel Collier:
Convergence time characteristics of an associative memory for natural language   processing.
pp 1106-1113, nr 2

Richard S. Zemel, Peter Dayan:
Combining Probabilistic Population Codes.
pp 1114-1119, nr 2

Yoonsuck Choe, Risto Miikkulainen:
Connected Spiking Neurons.
pp 1120-1125, nr 2

Kunio Kashino, Hiroshi Murase:
A Music Stream Segregation System Based on Adaptive Multi-Agents.
pp 1126-1133, nr 2

Loo-Nin Teow, Kia-Fock Loe:
An effective learning method for max-min neural networks.
pp 1134-1139, nr 2

Ton Weijters, H. Jaap van den Herik, Antal van den Bosch, Eric Postma:
Avoiding Overfitting with BP-SOM.
pp 1140-1145, nr 2

Masahiro Murakawa, Shuji Yoshizawa, Isamu Kajitani, Tetsuya Higuchi:
Evolvable Hardware for Generalized Neural Networks.
pp 1146-1155, nr 2

Craig Boutilier, Ronen I. Brafman, Christoper Geib.
Prioritized Goal Decomposition of Markov Decision Processes: Toward a Synthesis  of Classical and Decision Theoretic Planning.
pp 1156-1162, nr 2

Robert Givan, Thomas Dean:
Model Minimization, Regression, and Propositional STRIPS Planning.
pp 1163-1168, nr 2

Michael D. Ernst, Todd D. Millstein, Daniel S. Weld:
Automatic SAT-Compilation of Planning Problems.
pp 1169-1177, nr 2

Brian C. Williams, P. Pandurang Nayak:
A Reactive Planner for a Model-based Executive.
pp 1178-1185, nr 2

Michael D. Howard:
Modeling Command Entities.
pp 1186-1193, nr 2

Jun Miura, Yoshiaki Shirai:
Vision-Motion Planning of a Mobile Robot considering Vision Uncertainty and Pla  nning Cost.
pp 1194-1200, nr 2

Abdel-Illah Mouaddib, Shlomo Zilberstein:
Handling Duration Uncertainty in Meta-Level Control of Progressive Processing.
pp 1201-1207, nr 2

Neal Lesh:
Adaptive goal recognition.
pp 1208-1214, nr 2

Witold Lukaszewicz, Ewa Madalinska-Bugaj:
Reasoning about Plans.
pp 1215-1220, nr 2

Guiseppe De Giacomo, Yves Lesp<e'rance, Hector J. Levesque:
Reasoning about concurrent execution, prioritized interrupts, and exogenous act  ions in the situation calculus.
pp 1221-1226, nr 2

Tara A. Estlin, Raymond J. Mooney:
Learning to Improve both Efficiency and Quality of Planning.
pp 1227-1233, nr 2

Barney Pell, Erann Gat, Ron Keesing, Nicola Muscettola, Ben Smith:
Robust Periodic Planning and Execution for Autonomous Spacecraft.
pp 1234-1239, nr 2

Susanne Biundo, Werner Stephan:
System Assistance in Structured Domain Model Development.
pp 1240-1245, nr 2

Leliane Nunes de Barros, James Hendler, V. Richard Benjamins:
Par-KAP:a Knowledge Acquisition Tool for Building Practical Planning Systems.
pp 1246-1253, nr 2

Andrea Schaerf:
Combining lical Search and Look-Ahead for Scheduling and Constraint satisfactio  n Problems.
pp 1254-1259, nr 2

Robert A Morris, John L. Bresina, Stuart M. Rodgers:
Automatic Generation of Heuristics for Scheduling.
pp 1260-1266, nr 2

Charles B. McVey, Ella M. Atkins, Edmund H. Durfee, Kang G. Shin:
Development of Iterative Real-time Scheduler to Planner Feedback.
pp 1267-1275, nr 2

Timothy Huang, Stuart Russell:
Object Identification in a Bayesian Context.
pp 1276-1283, nr 2

David Poole:
Probabilistic Partial Evaluation: Exploiting rule structure in probabilistic in  ference.
pp 1284-1291, nr 2

John Binder, Kevin Murphy, Stuart Russell:
Space-efficient in dynamic probabilistic networks.
pp 1292-1296, nr 2

Rina Dechter:
Mini-Buckets: A General Scheme for Generating Approximations in Automated Reaso  ning.
pp 1297-1303, nr 2

Honghua Dai, Kevin Korb, Chris Wallace, Xindong Wu:
A Study of Causal Discovery With Weak Links and Small Samples.
pp 1304-1309, nr 2

Eric McCreath, Arun Sharma:
ILP with Noise and Fixed Example Size: A Bayesian Approach.
pp 1310-1315, nr 2

Daphne Koller, Avi Pfeffer:
Learning probabilities for noisy first-order rules.
pp 1316-1323, nr 2

Yoav Shoham:
A Symmetric View of Utilities and Probabilities.
pp 1324-1329, nr 2

Taisuke Sato, Yoshitaka Kameya:
PRISM: A Language for Symbolic-Statistical Modeling.
pp 1330-1939, nr 2

Ioannis M. Rekleitis, Gregory Dudek, Evangelos E. Milios:
Multi-Robot Exploration of an Unknown Environment, Efficiently Reducing the Odo  metry Error.
pp 1340-1345, nr 2

Wolfram Burgard, Dieter Fox, Sebastian Thrun:
Active Mobile Robot Localization.
pp 1346-1352, nr 2

Robin R. Murphy, Dale K. Hawkins, Marcel J. Schoppers:
Reactive Combination of Belief Over Time Using Direct Perception.
pp 1353-1359, nr 2

Edward W. Large, Heneik I. Christensen, Ruzena Bajcsy:
Scaling the Dynamic Approach to Autonomous Path Planning: Planning Horizon Dyna  mics.
pp 1360-1365, nr 2

Manfred Huber, Roderic A. Grupen:
Learning to Coordinate Controllers-Reinforcement Learning on a Control Basis.
pp 1366-1371, nr 2

Jacques Penders, Peter J. Braspenning:
Situated Actions and Cognition.
pp 1372-1381, nr 2

Pedro Meseguer:
Interleaved Depth-First Search.
pp 1382-1387, nr 2

Toby Walsh:
Depth-bounded Discrepancy Search.
pp 1388-1395, nr 2

Ian P. Gent, Toby Walsh:
From Approximate to Optimal Solutions: Constructing Pruning and Propagation Rul  es.
pp 1396-1401, nr 2

Ho Soo Lee, Mark Trumbo:
An Approximate 0-1 Edge-Labeling Algorithm for Constrained Bin-Packing Problem.
pp 1402-1411, nr 2

Fangzhen Lin:
Applications of the Situation Calculus To Formalizing Control and Strategic Inf  ormation: The Prolog Cut Operator.
pp 1412-1419, nr 2

Marcus Bjäreland, Lars Karlsson:
Reasoning by Regression: Pre- and Postdiction Procedures for Logics of Action a  nd Change with Nondeterminism.
pp 1420-1425, nr 2

Tom Costello:
Change, Change, Change:three approaches.
pp 1426-1433, nr 2

Lars Karlsson:
Reasoning with Incomplete Initial Information and Nondeterminism in Situation C  alculus:
pp 1434-1440, nr 2

Chitta Baral, Jorge Lobo:
Defeasible Specifications in Action Theories.
pp 1441-1446, nr 2

Thomas Drakengren, Marcus Bjäreland:
Reasoning about Action in Polynomial Time.
pp 1447-1453, nr 2

Isabel Navarrete, Roque Marin:
Qualitative Temporal Reasoning with Points and Durations.
pp 1454-1459, nr 2

Alfonso Gerevini, Matteo Cristani:
On Finding a Solution in Temporal Constraint Satisfaction Problems.
pp 1460-1465, nr 2

Thomas Drakengren, Peter Jonsson:
Towards a Complete Classification of Tractability in Allen's Algrebra.
pp 1466-1475, nr 2

J. Ross Beveridge, Christopher R. Graves, Jim Steinborn:
Comparing Random Starts Local Search with Key Feature Matching,
pp 1476-1481, nr 2

Jae-Moon Chung, Noboru Ohnishi:
Chain of Circles for Matching and Recognition of Planar Shapes.
pp 1482-14887, nr 2

Shin'ichi Satoh, Yuichi Nakamura, Takeo Kanade:
Name-It:Naming and Detecting Faces in Video by the Integration of Image and Nat  ural Language Processing.
pp 1488-1495, nr 2

Yuji Iwahori, Wataru Kato, Md. Shoaib Bhuiyan, Robert J. Woodham, Naohiro Ishii   :
Neural network based photometric stereo using illumination planning.
pp 1496-1501, nr 2

Zhengyou Zhang, Gang Xu:
A General Expression of the Fundamental Matrix for Both Perspective and Affine   Cameras:
pp 1502-1510, nr 2

Munindar P. Singh, Daniel G. Bobrow, Michael N. Huhns, Margaret King, Hiroaki K  itano, Ray Reiter:
The Next Big Thing:Position Statements.
pp 1511-1524, nr 2

J Heizmann, A. Zelinsky:
Robust Real-Time Face Tracking and Gesture Recognition.
pp 1525-1530, nr 2

Lin Padgham, Guy Taylor:
PAC-Personality and Cognition:an interactive system for modelling agent scenari  os.
pp 1531-1538, nr 2

Alessandro Agostini:
Modularity in Computer Assisted Reasoning Systems.
p 1539, nr 2

Sarah Boyd:
Describing Time-Varying Data.
p 1540, nr 2

Mateja Jamnik:
Automation of Diagrammatic Proofs in Mathematics.
p 1541, nr 2

Raymund C. Sison:
Toward the Automatic Discovery of Misconceptions.
p 1542, nr 2

Hongjun Song:
Control Structures for Software Agents.
p 1543, nr 2

Astro Teller:
Algorithm Evolution for Signal Understanding.
p 1544, nr 2

Francesco Virili:
The use of neural network approach in financial asset management.
p 1545, nr 2

Hongxue Wang:
Constrained Object Hierarchy-An Architecture for Intelligent Systems.
p 1546, nr 2 

W. Bibel:
Let's plan in deductively.
pp 1549-1562, nr 2

Margaret A. Boden:
Creativity and Artificial Intelligence.
pp 1563-1566, nr 2

Cristiano Castelfranchi:
Modeling Social Action for AI Agents.
pp 1567-1576, nr 2

Ernest D. Dickmanns:
Vehicles Capable of Dynamic Vision.
pp 1577-1592, nr 2

Masayuki Inaba:
Remote-Brained Robots.
pp 1593-1606, nr 2

Kathleen R. McKeown:
Generating Multimedia Briefings:Language Generation in a Coordinated Multimedi   a Environment.
pp 1607-1612, nr 2

Leora Morgenstern:
Inheritance Comes of Age:Applying Nonmonotonic Techniques to Problems in Indust  ry.
pp 1613-1621, nr 2

Hiroshi Motoda, Kenichi Yoshida:
Machine Learning Techniques to Make Computers Easier to Use.
pp 1622-1631, nr 2

Luc Steels:
The Origins of Syntax in Visually Grounded Robotic Agents.
pp 1632-1641, nr 2

Pascal Van Hentenryck:
Numerica:a Modeling Language for Global Optimization.
pp 1642-1650, nr 2

Aravind K. Joshi:
Research Excellence Award:Relationship Between Natural Language Processing and   AI.
pp 1651-1652, nr 2