| No. | TITLE | |
|---|---|---|
| J013 | Learning Short-Term Weights for GSAT | |
| J017 | Locating Faults in Tree-Structured Networks | |
| J018 | A Study of Causal Discovery With Weak Links and Small Samples | |
| J031 | Integrating Models of Discrimination and Characterization for Learning from Examples in Open Domains | |
| J045 | Reifying Concepts in Description Logics | |
| J052 | Depth-bounded Discrepancy Search | |
| J055 | Comparative Analysis of Structurally Different Dynamical Systems | |
| J057 | Automation of Diagrammatic Reasoning | |
| J065 | On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus | |
| J072 | Corpus-Based Chinese-Korean Abstracting Translation System | |
| J079 | High Performance ATP Systems by Combining Several AI Methods | |
| J082 | An effective learning method for max-min neural networks | |
| J084 | Heuristics Based on Unit Propagation for Satisfiability Problems | |
| J098 | Avoiding Overfitting with BP-SOM | |
| J104 | A Cumulative-Model Semantics for Dynamic Preferences on Assumptions | |
| J105 | Towards a Complete Classification of Tractability in Allen's Algebra | |
| J111 | Qualitative Analysis of Causal Graphs with Equilibrium Type-Transition | |
| J121 | Compiling Prioritized Circumscription into Extended Logic Programs | |
| J128 | Comparing Random-Starts Local Search with Key-Feature Matching | |
| J131 | Content Ordering in the Generation of Persuasive Discourse | |
| J132 | Towards Generalized Rule-based Updates | |
| J139 | Constraint Satisfaction over Connected Row Convex Constraints | |
| J142 | PRISM: A Language for Symbolic-Statistical Modeling | |
| J149 | Reasoning about Action in Polynomial Time | |
| J153 | An Approximate 0-1 Edge-Labeling Algorithm for Constrained Bin-Packing Problem | |
| J157 | Convergence time characteristics of an associative memory for natural language processing | |
| J168 | Qualitative Temporal Reasoning with Points and Durations | |
| J171 | An Index Navigator for Understanding and Expressing User's Coherent Interest | |
| J194 | Polynomial Temporal Band Sequences for Analog Diagnosis | |
| J200 | Prefixed tableaux systems for modal logics with enriched languages | |
| J218 | Decision Tree Grafting | |
| J222 | Stacked Generalization: when does it work? | |
| J229 | A Method of Generating Calligraphy of Japanese Character using Deformable Contours | |
| J240 | The Competence of Sub-Optimal Theories of Structure-Mapping on Hard Analogies | |
| J253 | From Approximate to Optimal Solutions: Constructing Pruning and Propagation Rules | |
| J262 | Chain of Circles for Matching and Recognition of Planar Shapes | |
| J267 | Learning Extended Logic Programs | |
| J273 | Using Case-Based Reasoning In Interpreting Unsupervised Inductive Learning Results | |
| J277 | How Similar is VERY YOUNG to 43 Years of Age? On the Representation and Comparison of ... | |
| J282 | Aggregating Features and Matching Cases on Vague Linguistic Expressions | |
| J286 | In the Quest of the Missing Link | |
| J288 | Reasoning about Plans | |
| J291 | On the Role of Hierarchy for Neural Network Interpretation | |
| J299 | Computational Complexity of Multi-way, Dataflow Constraint Problems | |
| J301 | Situated Actions and Cognition | |
| J309 | Cooperation Structures | |
| J325 | An Analysis on Crossovers for Real Number Chromosomes in an Infinite Population Size | |
| J328 | Unbiased Assessment of Learning Algorithms | |
| J331 | The RoboCup Synthetic Agents Challenge 97 | |
| J336 | Law Discovery using Neural Networks | |
| J338 | Neural network based photometric stereo using illumination planning | |
| J354 | Event-Based Reasoning for Short Circuit Diagnosis in Power Transmission Networks | |
| J355 | Arc consistency for general constraint networks: preliminary results | |
| J357 | Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus | |
| J362 | Reasoning with Incomplete Initial Information and Nondeterminism in Situation Calculus | |
| J367 | Some Practicable filtering techniques | |
| J373 | COSPEX: A System for Constructing Private Digital Library | |
| J374 | The Complexity of Belief Update | |
| J375 | Structuring Techniques for Constraint Satisfaction Problems | |
| J377 | Local consistency for ternary numeric constraints | |
| J386 | Circumscribing Inconsistency | |
| J388 | Analogy and Abduction in Automated Deduction | |
| J393 | Multi-Perspective Modelling of the Air Campaign Planning process | |
| J397 | Computing Parallelism in Discourse | |
| J410 | Compiling reasoning with and about preferences into default logic | |
| J412 | Tractable Induction and Classification in First Order Logic | |
| J418 | Wrapper Induction for Information Extraction | |
| J419 | On the Efficient Classification of Data Structures by Neural Networks | |
| J421 | On evaluating decision procedures for modal logic | |
| J422 | Semiring-based Constraint Logic Programming | |
| J425 | Diagnosing Tree Structured Systems | |
| J427 | Can We Benefit from Metrics in KBS Development? | |
| J432 | Probabilistic Partial Evaluation: Exploiting rule structure in probabilistic inference | |
| J436 | Preduction: A Common Form of Induction and Analogy | |
| J437 | Minimum Split Based Discretization for Continuous features | |
| J440 | Extracting Propositions from Trained Neural Networks | |
| J441 | Anytime Belief Revision | |
| J444 | An Average-Case Analysis of k-Nearest Neighbor Classifier in Noisy domains | |
| J445 | Discovering Interesting Holes in Data | |
| J446 | Analysis of Inheritance Mechanisms in Agent-Oriented Programming | |
| J448 | A Causal Time Ontology for Qualitative Reasoning | |
| J449 | Self-Organization and Segmentation with Laterally Connected Spiking Neurons | |
| J450 | Adaptive Personal Information Filtering System that Organizes personal profiles Automatically | |
| J451 | Interactive Disambiguation of Natural Language Input: a Methodology and Two Implementations for French and English | |
| J454 | Combining Local Search and Look-Ahead for Scheduling and Constraint Satisfaction Problems | |
| J457 | Persuasion among Agents : An Approach to Implement a Group Decision Support System Based on Multi-Agent Negotiation | |
| J458 | Merging constraint satisfaction subproblems to avoid redundant search | |
| J459 | RHB+: A Type-Oriented ILP System Learning from Positive Data | |
| J463 | Proof Verbalization as an Application of NLG | |
| J485 | Combining Knowledge Acquisition and Machine Learning for the Control of Dynamic Systems | |
| J503 | Action Localness, Genericity and Invariants in STRIPS | |
| J507 | A mechanism for reasoning about utilities (and probabilities) | |
| J508 | Applications of the Situation Calculus To Formalizing Control and
Strategic Information: The Prolog Cut Operator Distinguished Papers! | |
| J509 | Interleaved depth-first search | |
| J518 | Can we bridge refinement-based and SAT-based planning techniques? | |
| J522 | Vision-Motion Planning of a Mobile Robot considering Vision Uncertainty and Planning Cost | |
| J533 | Implementing BDI Systems by Direct Execution | |
| J540 | Exploiting the Addressee's Inferential Capabilities in Presenting Mathematical Proofs | |
| J545 | Reasoning by Regression: Pre- and Postdiction Procedures for Logics of Action and Change with Nondeterminism | |
| J550 | Modeling Command Entities | |
| J555 | Tractable Cover Compilations | |
| J556 | The Predictive Toxicology Evaluation Challenge | |
| J561 | An Aggregation Procedure for Building Episodic Memory | |
| J563 | ARTIMIS: Natural Dialogue meets Rational Agency | |
| J566 | Socially Embedded Learning of Office-Conversant Robot Jijo-2 | |
| J570 | An Adaptive Architecture for Modular Q-learning | |
| J575 | Exploiting domain knowledge for approximate diagnosis | |
| J577 | Acquisition of Human Feelings for Music Arrangement | |
| J579 | Learning Strategies in Games by Anticipation | |
| J583 | A convergent Reinforcement Learning algorithm in the continuous case based on a Finite Difference method | |
| J586 | Using Bayesian Network Induction Approach to Text Categorization | |
| J593 | Alignment Algorithms for Learning to Read Aloud | |
| J594 | A Learning System for Selective Dissemination of Information | |
| J605 | Automatic Generation of Heuristics for Scheduling | |
| J610 | Skill reconstruction as induction of LQ controllers with subgoals | |
| J611 | An Information-based Principle for Guiding Multi-Modal Human-Computer Interaction | |
| J615 | Semantics and Conversations for an Agent Communication Language | |
| J617 | A Four-Valued Fuzzy Propositional Logic | |
| J623 | Distributed Vision System: An Informative Infrastructure for Robot Navigation | |
| J627 | Fundamentals of Model-based Diagnosis of Dynamic Systems | |
| J630 | Task Ontology Makes It Easier To Use Authoring Tools | |
| J636 | Reasoning Symbolically about Partially Matched Cases | |
| J641 | Autoepistemic Description Logics | |
| J644 | QUEM: An Achievment Test for Knowledge-Based Systems | |
| J645 | Is Nonparametric Learning Practical in Very High Dimensional Spaces? | |
| J653 | Discovering Admissible Models of Complex Systems Based on Scale-Types and Identity Constraints | |
| J659 | On Finding a Solution in Temporal Constraint Satisfaction Problems | |
| J661 | A General expression of the Fundamental Matrix for Both Projective and Affine Cameras | |
| J664 | Use of abstraction and complexity levels in intelligent educational systems design | |
| J669 | Improving Performance of Transfer-DrivenMachine Translation with Extra-Linguistic Information from Context, Situation and Environment | |
| J672 | The Self-Organizing Desk | |
| J674 | Using Data and Theory in Multistrategy (Mis)Concept(ion) Discovery | |
| J677 | A dynamic theory of incentives in multi-agent system | |
| J682 | Active Diagnosis by Self-Organization: An Approach by The Immune Network Metaphor | |
| J686 | Equational Reasoning using AC Constraints | |
| J687 | Qualitative Reasoning about Perception and Belief | |
| J688 | Recursive Plans for Information Gathering | |
| J706 | A Music Stream Segregation System Based on Adaptive Multi-Agents | |
| J707 | Tall, Good, High - Compared to What? | |
| J709 | On the Interaction of Metonymies and Anaphora | |
| J711 | An Evolutionary Algorithm Extended by Ecological Analogy and its Application to the Game of Go | |
| J712 | Noise-Tolerant Windowing | |
| J717 | Exploration and Adaptation in Multiagent Systems: A Model-based Approach | |
| J722 | System Assistance in Structured Domain Model Development | |
| J723 | Integrating Explanatory and Descriptive Learning in ILP | |
| J724 | Handling Duration Uncertainty in Meta-Level Control of Progressive Processing | |
| J725 | Semantically Guided Theorem Proving for Diagnosis Applications | |
| J726 | ILP with Noise and Fixed Example Size: A Bayesian Approach | |
| J727 | Dynamic, User-Centered Resolution in Interactive Stories | |
| J734 | Understanding Three Simultaneous Speeches | |
| J737 | Rigid variables considered harmful | |
| J747 | A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics | |
| J748 | Evolvable Hardware for Generalized Neural Networks | |
| J752 | A Static Model-Based Engine for Model-Based Reasoning | |
| J765 | Learning Topological Maps with Weak Local Odometric Information | |
| J768 | Qualitative Relevance and Independence: A Roadmap | |
| J774 | Development of Iterative Real-time Scheduler to Planner Feedback | |
| J775 | Object Identification in a Bayesian Context Distinguished Papers! |
|
| J797 | Web-Based Compositional Modeling System for Sharing of Physical Knowledge | |
| J798 | Discrete Lagrangian-based Search for Solving MAX-SAT Problems | |
| J800 | Hidden gold in random generation of SAT satisfiable instances | |
| J802 | A Functional Theory of Design Patterns | |
| J803 | Mental Tracking: A Computational Model of Spatial Development | |
| J810 | Redesigning the Problem-Solver's Operators to Improve the Quality of its Solutions | |
| J815 | Space-efficient inference in dynamic probabilistic networks | |
| J817 | WebWatcher: A Tour Guide for the World Wide Web | |
| J828 | Computational Challenges in Propositional Reasoning and Search | |
| J829 | Dynamic Path Planning on Mulitple Spatial Scales | |
| J830 | The Use of Meta-level Information in Learning Situation-Specific Coordination | |
| J837 | Defeasible specifications in action theories | |
| J845 | Adaptive goal recognition | |
| J847 | Prioritized Goal Decomposition of Markov Decision Processes: Toward a Synthesis of Classical and Decision Theoretic Planning | |
| J853 | A Reactive Planner for a Model-based Executive | |
| J855 | Mini-Buckets: A General Scheme of Generating Approximations in Automated Reasoning | |
| J860 | Tradeoffs in Automatic SAT-Compilation of Planning Problems | |
| J862 | Middle-Agents for the Internet | |
| J866 | Search Versus Knowledge in Game-Playing Programs Revisited | |
| J869 | Learning to Improve both Efficiency and Quality of Planning | |
| J870 | A default interpretation of defeasible network | |
| J874 | Learning to Coordinate Controllers - Reinforcement Learning on a Control Basis | |
| J875 | Adaptive Web Sites: an AI Challenge | |
| J876 | Dynamic Prioritization of Complex Agents in Distributed Constraint Satisfaction Problems | |
| J877 | Meaning and the Mental Lexicon | |
| J878 | Dynamically Improving Explanations: A Revision-Based Approach to Explanation Generation | |
| J879 | The Effects of Runtime Coordination Strategies Within Static Organizations | |
| J884 | Model Minimization, Regression, and Propositional STRIPS Planning | |
| J885 | Managing decision resources in plan execution | |
| J891 | Name-It: Naming and Detecting Faces in Video by the Integration of Image and Natural Language Processing | |
| J892 | Structural Inferences from Massive Datasets | |
| J893 | Multi-Robot Exploration of an Unknown Environment, Efficiently Reducing the Odometry Error. | |
| J894 | Active Mobile Robot Localization | |
| J896 | Translingual Information Retrieval: A Comparative Evaluation Distinguished Papers! | Translingual Information Retrieval: A Comparative Evaluation |
| J900 | Ensembles as a Sequence of Classifiers | |
| J901 | Rule-based Contact Monitoring Using Examples Obtained by Task Demonstration | |
| J903 | Par-KAP: a Knowledge Acquisition Tool for Building Practical Planning Systems | |
| J907 | The Representation and Use of a Visual Lexicon for Automated Graphics Generation | |
| J909 | An Expert System for Benefits Inquiry in the Insurance Industry | |
| J910 | Formal Specification for a Hybrid Dynamical System Simulator | |
| J917 | Challenge:Where is the Impact of Bayesian Networks in Learning? | |
| J918 | Efficiently Executing Information-Gathering Plans | |
| J919 | Toward Structured Retrieval in Semi-structured Information Spaces | |
| J920 | A Hybrid Approach to Interactive Machine Translation ---Integrating Rule-based, Corpus-based, and Example-based Method --- | |
| J921 | Learning to Integrate Multiple Knowledge Sources for Case-Based Reasoning | |
| J922 | Change, Change, Change: three approaches | |
| J925 | Causality, Constraints and the Indirect Effect of Actions | |
| J926 | Learning probabilities for noisy rules | |
| J927 | Combining Probabilistic Population Codes | |
| J935 | Reactive Combination of Belief Over Time Using Direct Perception | |
| J937 | Ants and Reinforcement Learning: A Case Study in Packet Routing in Dynamic Networks. | |
| J945 | Plan Execution for Autonomous Spacecraft | |
| J953 | Charts, interaction-free grammars, and the compact representation of ambiguity | |
| J955 | On the Gains and Losses of Strategic Behavior in Equilibrium Markets | |
| J960 | A Model of Strategy for the Game of Go Using Abstraction Mecanisms | |
| J979 | Nonmonotonic Reasoning and Multiple Belief Revision | |
| J980 | Representation Theorems for Multiple Belief Changes | |
| J983 | Challenge: How IJCAI 1999 can Prove the Value of AI by using AI |