No. | TITLE | AUTHOR(S) |
---|---|---|

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 Luong |

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 Libraries | Sugimoto Katayama 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 Numao 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 |

higuchi@etl.go.jp Last modified: Wed Aug 6 00:06:10 JST 1997