IJCAI-97 Accepted Papers

Below is a list of the papers that were accepted for full presentation at IJCAI '97 and publication in the conference proceedings. In addition, a number of authors were invited to present their submission in a poster session; brief abstracts of all poster-session papers will be distributed at the conference.
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

IJCAI-97 Program Chair pollack@cs.pitt.edu
Last modified: Wed Apr 16 13:12:28 1997 [tk@etl]