J013 Learning Short-Term Weights for GSAT Frank J017 Locating Faults in Tree-Structured Networks Leckie Dale J018 A Study of Causal Discovery With Weak Links and Small Samples Dai Korb Wallace J031 Integrating Models of Discrimination and Characterization for Learning from Examples in Open Domains Davidsson J045 Reifying Concepts in Description Logics Badea J052 Depth-bounded Discrepancy Search Walsh J055 Comparative Analysis of Structurally Different Dynamical Systems De Jong Van Raalte J057 Automation of Diagrammatic Reasoning Jamnik Bundy Green J065 On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus Renz Nebel J072 Corpus-Based Chinese-Korean Abstracting Translation System Li Choi J079 High Performance ATP Systems by Combining Several AI Methods Denzinger Fuchs Fuchs J082 An effective learning method for max-min neural networks Teow Loe J084 Heuristics Based on Unit Propagation for Satisfiability Problems Li Anbulagan J098 Avoiding Overfitting with BP-SOM Weijters van den Herik van den Bosch Postma J104 A Cumulative-Model Semantics for Dynamic Preferences on Assumptions Junker J105 Towards a Complete Classification of Tractability in Allen's Algebra Drakengren Jonsson J111 Qualitative Analysis of Causal Graphs with Equilibrium Type-Transition Kurumatani Nakamura J121 Compiling Prioritized Circumscription into Extended Logic Programs Wakaki Satoh J128 Comparing Random-Starts Local Search with Key-Feature Matching Beveridge Graves Steinborn J131 Content Ordering in the Generation of Persuasive Discourse Reed Long J132 Towards Generalized Rule-based Updates Zhang Foo J139 Constraint Satisfaction over Connected Row Convex Constraints Deville Barette Van Hentenryck J142 PRISM: A Language for Symbolic-Statistical Modeling Sato Kameya J149 Reasoning about Action in Polynomial Time Drakengren Bjäreland J153 An Approximate 0-1 Edge-Labeling Algorithm for Constrained Bin-Packing Problem Lee Trumbo J157 Convergence time characteristics of an associative memory for natural language processing Collier J168 Qualitative Temporal Reasoning with Points and Durations Sanchez Morales J171 An Index Navigator for Understanding and Expressing User's Coherent Interest Ohsawa Yachida J194 Polynomial Temporal Band Sequences for Analog Diagnosis Loiez Taillibert J200 Prefixed tableaux systems for modal logics with enriched languages Balbiani Demri J218 Decision Tree Grafting Webb J222 Stacked Generalization: when does it work? Ting Witten J229 A Method of Generating Calligraphy of Japanese Character using Deformable Contours Wang Yamada Seki Itoh J240 The Competence of Sub-Optimal Theories of Structure-Mapping on Hard Analogies Veale Keane J253 From Approximate to Optimal Solutions: Constructing Pruning and Propagation Rules Gent Walsh J262 Chain of Circles for Matching and Recognition of Planar Shapes Chung Ohnishi J267 Learning Extended Logic Programs Inoue Kudoh J273 Using Case-Based Reasoning In Interpreting Unsupervised Inductive Learning Results Ho J277 How Similar is VERY YOUNG to 43 Years of Age? On the Representation and Comparison of ... Dubitzky Schuster Hughes Bell Adamson J282 Aggregating Features and Matching Cases on Vague Linguistic Expressions Schuster Dubitzky Lopes Bell Adamson Hughes White J286 In the Quest of the Missing Link Bittencourt J288 Reasoning about Plans Lukaszewicz Madalinska-Bugaj J291 On the Role of Hierarchy for Neural Network Interpretation Rahmel Blum Hahn J299 "Computational Complexity of Multi-way, Dataflow Constraint Problems" Trombettoni Neveu J301 Situated Actions and Cognition Penders Braspenning J309 Cooperation Structures d'Inverno Luck Wooldridge J325 An Analysis on Crossovers for Real Number Chromosomes in an Infinite Population Size Nomura J328 Unbiased Assessment of Learning Algorithms Scheffer Herbrich J331 The RoboCup Synthetic Agents Challenge 97 Kitano Veloso Stone Tambe Coradeschi Osawa Noda Matsubara Asada J336 Law Discovery using Neural Networks Saito Nakano J338 Neural network based photometric stereo using illumination planning Iwahori Kato Bhuiyan Woodham J354 Event-Based Reasoning for Short Circuit Diagnosis in Power Transmission Networks Lamperti Pogliano J355 Arc consistency for general constraint networks: preliminary results Bessiere Regin J357 "Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus" De Giacomo Lesperance Levesque J362 Reasoning with Incomplete Initial Information and Nondeterminism in Situation Calculus Karlsson J367 Some Practicable filtering techniques Debruyne Bessiere J373 COSPEX: A System for Constructing Private Digital Library Sugimoto Katyama Takasu J374 The Complexity of Belief Update Liberatore J375 Structuring Techniques for Constraint Satisfaction Problems Weigel Faltings J377 Local consistency for ternary numeric constraints Faltings Gelle J386 Circumscribing Inconsistency Besnard Schaub J388 Analogy and Abduction in Automated Deduction Defourneaux Peltier J393 Multi-Perspective Modelling of the Air Campaign Planning process Kingston Griffith Lydiard J397 Computing Parallelism in Discourse Gardent Kohlhase J410 Compiling reasoning with and about preferences into default logic Delgrande Schaub J412 Tractable Induction and Classification in First Order Logic Sebag Rouveirol J418 Wrapper Induction for Information Extraction Kushmerick Weld Doorenbos J419 On the Efficient Classification of Data Structures by Neural Networks Frasconi Gori Sperduti J421 On evaluating decision procedures for modal logic Hustadt Schmidt J422 Semiring-based Constraint Logic Programming Bistarelli Montanari Rossi J425 Diagnosing Tree Structured Systems Stumptner Wotawa J427 Can We Benefit from Metrics in KBS Development? Kramer Kaindl Schlee J432 Probabilistic Partial Evaluation: Exploiting rule structure in probabilistic inference Poole J436 Preduction: A Common Form of Induction and Analogy Arima J437 Minimum Split Based Discretization for Continuous features Wang Han Chong J440 Extracting Propositions from Trained Neural Networks Tsukimoto J441 Anytime Belief Revision Williams J444 An Average-Case Analysis of the k-Nearest Neighbor Classifier for Noisy Domains Okamoto Yugami J445 Discovering Interesting Holes in Data Liu Ku Hsu J446 Analysis of Inheritance Mechanisms in Agent-Oriented Programming Crnogorac Rao Ramamohanarao J448 A Causal Time Ontology for Qualitative Reasoning Kitamura Ikeda Mizoguchi J449 Self-Organization and Segmentation with Laterally Connected Spiking Neurons Choe Miikkulainen J450 Adaptive Personal Information Filtering System that Organizes personal profiles Automatically Kindo Yoshida Morimoto Watanabe J451 Interactive Disambiguation of Natural Language Input: a Methodology and Two Implementations for French and English Blanchon J454 Combining Local Search and Look-Ahead for Scheduling and Constraint Satisfaction Problems Schaerf J457 Persuasion among Agents : An Approach to Implement a Group Decision Support System Based on Multi-Agent Negotiation Ito Shintani J458 Merging constraint satisfaction subproblems to avoid redundant search Larrosa J459 RHB+: A Type-Oriented ILP System Learning from Positive Data Sasaki Haruno J463 Proof Verbalization as an Application of NLG Huang Fiedler J485 Combining Knowledge Acquisition and Machine Learning for the Control of Dynamic Systems Shiraz Sammut J503 "Action Localness, Genericity and Invariants in STRIPS" Foo Zhang Peppas Pagnucco Nayak J507 A mechanism for reasoning about utilities (and probabilities) Shoham J508 Applications of the Situation Calculus To Formalizing Control and Strategic Information: The Prolog Cut Operator Lin J509 Interleaved depth-first search Meseguer J518 Can we bridge refinement-based and SAT-based planning techniques? Kambhampati J522 Vision-Motion Planning of a Mobile Robot considering Vision Uncertainty and Planning Cost Miura Shirai J533 Implementing BDI Systems by Direct Execution Fisher J540 Exploiting the Addressee's Inferential Capabilities in Presenting Mathematical Proofs Fehrer Horacek J545 Reasoning by Regression: Pre- and Postdiction Procedures for Logics of Action and Change with Nondeterminism Bjäreland Karlsson J550 Modeling Command Entities Howard J555 Tractable Cover Compilations Boufkhad Gregoire Marquis Mazure Sais J556 The Predictive Toxicology Evaluation Challenge Srinivasan King Muggleton Sternberg J561 An Aggregation Procedure for Building Episodic Memory Ferret Grau J563 ARTIMIS: Natural Dialogue meets Rational Agency Sadek Bretier Panaget J566 Socially Embedded Learning of Office-Conversant Robot Jijo-2 Asoh Hayamizu Hara Motomura Akaho Matsui J570 An Adaptive Architecture for Modular Q-learning Kohri Matsubayashi Tokoro J575 Exploiting domain knowledge for approximate diagnosis ten Teije van Harmelen J577 Acquisition of Human Feelings for Music Arrangement Numao Kobayashi Sakaniwa J579 Learning Strategies in Games by Anticipation Meyer Ganascia Zucker J583 A convergent Reinforcement Learning algorithm in the continuous case based on a Finite Difference method Munos J586 Using Bayesian Network Induction Approach to Text Categorization Lam Low Ho J593 Alignment Algorithms for Learning to Read Aloud Ling Wang J594 A Learning System for Selective Dissemination of Information Amati Crestani Ubaldini J605 Automatic Generation of Heuristics for Scheduling Morris Bresina Rodgers J610 Skill reconstruction as induction of LQ controllers with subgoals Suc Bratko J611 An Information-based Principle for Guiding Multi-Modal Human-Computer Interaction Denecke J615 Semantics and Conversations for an Agent Communication Language Labrou Finin J617 A Four-Valued Fuzzy Propositional Logic Straccia J623 Distributed Vision System: An Informative Infrastructure for Robot Navigation Ishiguro J627 Fundamentals of Model-based Diagnosis of Dynamic Systems Struss J630 Task Ontology Makes It Easier To Use Authoring Tools Ikeda Kazuhisa Mizoguchi J636 Reasoning Symbolically about Partially Matched Cases Ashley Aleven J641 Autoepistemic Description Logics Donini Nardi Rosati J644 QUEM: An Achievment Test for Knowledge-Based Systems Hayes Michael J645 Is Nonparametric Learning Practical in Very High Dimensional Spaces? Grudic Lawrence J653 Discovering Admissible Models of Complex Systems Based on Scale-Types and Identity Constraints Washio Motoda J659 On Finding a Solution in Temporal Constraint Satisfaction Problems Gerevini Cristani J661 A General expression of the Fundamental Matrix for Both Projective and Affine Cameras Zhang Xu J664 Use of abstraction and complexity levels in intelligent educational systems design Lelouche Morin J669 "Improving Performance of Transfer-DrivenMachine Translation with Extra-Linguistic Information from Context, Situation and Environment" Mima Furuse Iida J672 The Self-Organizing Desk Rus de Santis J674 Using Data and Theory in Multistrategy (Mis)Concept(ion) Discovery Sison Shimura J677 A dynamic theory of incentives in multi-agent systems Tanaka Shoham J682 Active Diagnosis by Self-Organization: An Approach by The Immune Network Metaphor Ishida J686 Equational Reasoning using AC Constraints Plaisted Zhu J687 Qualitative Reasoning about Perception and Belief del Val Maynard-Reid II Shoham J688 Recursive Plans for Information Gathering Duschka Levy J706 A Music Stream Segregation System Based on Adaptive Multi-Agents Kashino Murase J707 "Tall, Good, High - Compared to What?" Staab Hahn J709 On the Interaction of Metonymies and Anaphora Markert Hahn J711 An Evolutionary Algorithm Extended by Ecological Analogy and its Application to the Game of Go Kojima Ueda Nagano J712 Noise-Tolerant Windowing Fuernkranz J717 Exploration and Adaptation in Multiagent Systems: A Model-based Approach Carmel Markovitch J722 System Assistance in Structured Domain Model Development Biundo Stephan J723 Integrating Explanatory and Descriptive Learning in ILP Dimopoulos Dzeroski Kakas J724 Handling Duration Uncertainty in Meta-Level Control of Progressive Processing Mouaddib Zilberstein J725 Semantically Guided Theorem Proving for Diagnosis Applications Baumgartner Froehlich Furbach Nejdl J726 ILP with Noise and Fixed Example Size: A Bayesian Approach McCreath Sharma J727 "Dynamic, User-Centered Resolution in Interactive Stories" Sgouros J734 Understanding Three Simultaneous Speeches Okuno Nakatani Kawabata J737 Rigid variables considered harmful Voronkov J747 A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics Montanari Policriti J748 Evolvable Hardware for Generalized Neural Networks Murakawa Yoshizawa Kajitani Higuchi J752 A Static Model-Based Engine for Model-Based Reasoning Froehlich Nejdl J765 Learning Topological Maps with Weak Local Odometric Information Shatkay Kaelbling J768 Qualitative Relevance and Independence: A Roadmap Dubois Farinas del Cerro Herzig Prade J774 Development of Iterative Real-time Scheduler to Planner Feedback McVey Durfee Atkins Shin J775 Object Identification in a Bayesian Context Huang Russell J797 Web-Based Compositional Modeling System for Sharing of Physical Knowledge Iwasaki Farquhar Fikes Rice J798 Discrete Lagrangian-based Search for Solving MAX-SAT Problems Shang Wah J800 Hidden gold in random generation of SAT satisfiable instances Castell Cayrol J802 A Functional Theory of Design Patterns Bhatta Goel J803 Mental Tracking: A Computational Model of Spatial Development Hiraki Sashima Phillips J810 Redesigning the Problem-Solver's Operators to Improve the Quality of its Solutions Stroulia Goel J815 Space-efficient inference in dynamic probabilistic networks Binder Murphy Russell J817 WebWatcher: A Tour Guide for the World Wide Web Joachims Freitag Mitchell J828 Computational Challenges in Propositional Reasoning and Search Selman Kautz McAllester J829 Dynamic Path Planning on Mulitple Spatial Scales Large Christensen Bajcsy J830 The Use of Meta-level Information in Learning Situation-Specific Coordination Nagendra Prasad Lesser J837 Defeasible specifications in action theories Baral Lobo J845 Adaptive goal recognition Lesh J847 Prioritized Goal Decomposition of Markov Decision Processes: Toward a Synthesis of Classical and Decision Theoretic Planning Boutilier Brafman Geib J853 A Reactive Planner for a Model-based Executive Williams Nayak J855 Mini-Buckets: A General Scheme of Generating Approximations in Automated Reasoning Dechter J860 Tradeoffs in Automatic SAT-Compilation of Planning Problems Ernst Millstein Weld J862 Middle-Agents for the Internet Decker Sycara Williamson J866 Search Versus Knowledge in Game-Playing Programs Revisited Junghanns Schaeffer J869 Learning to Improve both Efficiency and Quality of Planning Estlin Mooney J870 A default interpretation of defeasible network Wang You Yuan J874 Learning to Coordinate Controllers - Reinforcement Learning on a Control Basis Huber Grupen J875 Adaptive Web Sites: an AI Challenge Perkowitz Etzioni J876 Dynamic Prioritization of Complex Agents in Distributed Constraint Satisfaction Problems Armstrong Durfee J877 Meaning and the Mental Lexicon Lowe J878 Dynamically Improving Explanations: A Revision-Based Approach to Explanation Generation Callaway Lester J879 The Effects of Runtime Coordination Strategies Within Static Organizations Durfee So J884 "Model Minimization, Regression, and Propositional STRIPS Planning" Givan Dean J885 Managing decision resources in plan execution Freed J891 Name-It: Naming and Detecting Faces in Video by the Integration of Image and Natural Language Processing Satoh Nakamura Kanade J892 Structural Inferences from Massive Datasets Yip J893 "Multi-Robot Exploration of an Unknown Environment, Efficiently Reducing the Odometry Error." Rekleitis Dudek Milios J894 Active Mobile Robot Localization Burgard Fox Thrun J896 Translingual Information Retrieval: A Comparative Evaluation Carbonell Yang Frederking Brown Geng Lee J900 Ensembles as a Sequence of Classifiers Asker Maclin J901 Rule-based Contact Monitoring Using Examples Obtained by Task Demonstration Sikka McCarragher J903 Par-KAP: a Knowledge Acquisition Tool for Building Practical Planning Systems Barros Hendler Benjamins J907 The Representation and Use of a Visual Lexicon for Automated Graphics Generation Zhou Feiner J909 An Expert System for Benefits Inquiry in the Insurance Industry Morgenstern Singh J910 Formal Specification for a Hybrid Dynamical System Simulator Mosterman Biswas J917 Challenge:Where is the Impact of Bayesian Networks in Learning? Friedman Goldszmidt Heckerman Russell J918 Efficiently Executing Information-Gathering Plans Friedman Weld Kwok J919 Toward Structured Retrieval in Semi-structured Information Spaces Huffman Baudin J920 "A Hybrid Approach to Interactive Machine Translation ---Integrating Rule-based, Corpus-based, and Example-based Method ---" Yamabana Kamei Muraki Doi Tamura Satoh J921 Learning to Integrate Multiple Knowledge Sources for Case-Based Reasoning Leake Kinley Wilson J922 "Change, Change, Change: three approaches" Costello J925 "Causality, Constraints and the Indirect Effect of Actions" Geffner J926 Learning probabilities for noisy rules Koller Pfeffer J927 Combining Probabilistic Population Codes Zemel Dayan J935 Reactive Combination of Belief Over Time Using Direct Perception Murphy Hawkins Schoppers J937 Ants and Reinforcement Learning: A Case Study in Packet Routing in Dynamic Networks. Subramanian Druschel Chen J945 Plan Execution for Autonomous Spacecraft Pell Gat Keesing Muscettola Smith J953 "Charts, interaction-free grammars, and the compact representation of ambiguity" Dymetman J955 On the Gains and Losses of Strategic Behavior in Equilibrium Markets Sandholm Ygge J960 A Model of Strategy for the Game of Go Using Abstraction Mecanisms Ricaud J979 Nonmonotonic Reasoning and Multiple Belief Revision Zhang Chen Zhu J980 Representation Theorems for Multiple Belief Changes Zhang Chen Zhu J983 Challenge: How IJCAI 1999 can Prove the Value of AI by using AI Geller