ijcai 1997 论文列表Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes. |
Research Excellence Award: Relationship Between Natural Language Processing and AI.
Numerica: A Modeling Language for Global Optimization.
The Origins of Syntax in Visually Grounded Robotic Agents.
Machine Learning Techniques to Make Computers Easier to Use.
Inheritance Comes of Age: Applying Nonmonotonic Techniques to Problems in Industry.
Generating Multimedia Briefings: Language Generation in a Coordinated Multimedia Environment.
Remote-Brained Robots.
Vehicles Capable of Dynamic Vision.
Modeling Social Action for AI Agents.
Creativity and Artificial Intelligence.
Let's Plan It Deductively!
Constrainted Object Hierarchy - An Architecture for Intelligent Systems.
The Use of Neural Network Approach in Financial Asset Management.
Algorithm Evolution for Signal Understanding.
Control Structures for Software Agents.
Toward the Automatic Discovery of Misconceptions.
Automation of Diagrammatic Proofs in Mathematics.
Describing Time-Varying Data.
Modularity in Computer Assisted Reasoning Systems.
PAC - Personality and Cognition: An Interactive System for Modelling Agent Scenarios.
Robust Real-Time Face Tracking and Gesture Recognition.
The Next Big Thing: Position Statements.
A General Expression of the Fundamental Matrix for Both Perspective and Affine Cameras.
Neural Network Based Photometric Strereo Using Illumination Planning.
Name-It: Naming and Detecting Faces in Video by the Integration of Image and Natural Language Processing.
Chain of Circles for Matching and Recognition of Planar Shapes.
Comparing Random Starts Local Search with Key Feature Matching.
Towards a Complete Classification of Tractability in Allen's Algebra.
On Finding a Solution in Temporal Constraint Satisfaction Problems.
Qualitative Temporal Reasoning with Points and Durations.
Reasoning about Action in Polynomial Time.
Defeasible Specifications in Action Theories.
Reasoning with Incomplete Initial Information and Nondeterminism in Situation Calculus.
Change, Change, Change: Three Approaches.
Reasoning by Regression: Pre- and Postdiction Procedures for Logics of Action and Change.
Applications of the Situation Calculus To Formalizing Control and Strategy Information: The Prolog Cut Operator.
An Approximate 0-1 Edge-Labeling Algorithm for Constrained Bin-Packing Problem.
From Approximate to Optimal Solutions: Constructing Pruning and Propagation Rules.
Depth-bounded Discrepancy Search.
Interleaved Depth-First Search.
Situated Actions and Cognition.
Learning to Coordinate Controllers - Reinforcement Learning on a Control Basis.
Scaling the Dynamic Approach to Autonomous Path Planning: Planning Horizon Dynamics.
Reactive Combination of Belief Over Time Using Direct Perception.
Active Mobile Robot Localization.
Multi-Robot Exploration of an Unknown Environment, Efficiently Reducing the Odometry Error.
PRISM: A Language for Symbolic-Statistical Modeling.
A Symmetric View of Utilities and Probabilities.
Learning Probabilities for Noisy First-Order Rules.
ILP with Noise and Fixed Example Size: A Bayesian Approach.
A Study of Causal Discovery With Weak Links and Small Samples.
Mini-Buckets: A General Scheme for Generating Approximations in Automated Reasoning.
Space-Efficient Inference in Dynamic Probabilistic Networks.
Probabilistic Partial Evaluation: Exploiting Rule Structure in Probabilistic Inference.
Object Identification in a Bayesian Context.
Development of Iterative Real-time Scheduler to Planner Feedback.
Automatic Generation of Heuristics for Scheduling.
Combining Local Search and Look-Ahead for Scheduling and Constraint Satisfaction Problems.
Par-KAP: a Knowledge Acquisition Tool for Building Practical Planning Systems.
System Assistance in Structured Domain Model Development.
Robust Periodic Planning and Execution for Autonomous Spacecraft.
Learning to Improve both Efficiency and Quality of Planning.
Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus.
Reasoning about Plans.
Adaptive Goal Recognition.
Handling Duration Uncertainty in Meta-Level Control of Progressive Processing.
Vision-Motion Planning of a Mobile Robot considering Vision Uncertainty and Planning Cost.
Modeling Command Entities.
A Reactive Planner for a Model-based Executive.
Automatic SAT-Compilation of Planning Problems.
Model Minimization, Regression, and Propositional STRIPS Planning.
Prioritized Goal Decomposition of Markov Decision Processes: Toward a Synthesis of Classical and Decision Theoretic Planning.
Evolvable Hardware for Generalized Neural Networks.
Avoiding Overfitting with BP-SOM.
An Effective Learning Method for Max-Min Neural Networks.
A Music Stream Segregation System Based on Adaptive Multi-Agents.
Self-Organization and Segmentation with Laterally Connected Spiking Neurons.
Combining Probabilistic Population Codes.
Convergence Time Characteristics of an Associative Memory for Natural Language Processing.
Extracting Propositions from Trained Neural Networks.
Meaning and the Mental Lexicon.
Active Diagnosis by Self-Organization: An Approach by The Immune Network Metaphor.
Law Discovery using Neural Networks.
On the Role of Hierarchy for Neural Network Interpretation.
On the Efficient Classification of Data Structures by Neural Networks.
The Representation and Use of a Visual Lexicon for Automated Graphics Generation.
A Method of Generating Calligraphy of Japanese Character using Deformable Contourse.
Interactive Disambiguation of Natural Language Input: a Methodology and Two Implementatioons for French and English.
An Information-based Approach for Guiding Multi-Modal Human-Computer-Interaction.
ARTIMIS: Natural Dialogue Meets Rational Agency.
Content Ordering in the Generation of Persuasive Discourse.
Computing Parallelism in Discourse.
On the Interaction of Metonymies and Anaphora.
Charts, Interaction-free Grammars, and the Compact Representation of Ambiguity.
"Tall", "Good", "High" - Compared to What?
Dynamic, User-Centered Resolution in Interactive Stories.
Improving Performance of Transfer-Driven Machine Translation with Extra-Linguistic Informatioon from Context, Situation and Environment.
A Hybrid Approach to Interactive Machine Translation - Integrating Rule-based, Corpus-based, and Example-basedMethod.
Corpus-Based Chinese-Korean Abstracting Translation System.
Proof Verbalization as an Application of NLG.
Exploiting the Addressee's Inferential Capabilities in Presenting Mathematical Proofs.
Dynamically Imroving Explanations: A Revision-Based Approach to Explanation Generation.
Minimum Splits Based Discretization for Continuous Features.
An Analysis on Crossovers for Real Number Chromosomes in an Infinite Population Size.
Discovering Interesting Holes in Data.
Learning Topological Maps with Weak Local Odometric Information.
Skill Reconstruction as Induction of LQ Controllers with Subgoals.
Combining Knowledge Acquisition and Machine Learning to Control Dynamic Systems.
Integrating Explanatory and Descriptive Learning in ILP.
RHB+: A Type-Oriented ILP System Learning from Positive Data.
Tractable Induction and Classification in First Order Logic Via Stochastic Matching.
Socially Embedded Learning of the Office-Conversant Mobil Robot Jijo-2.
Alignment Algorithms for Learning to Read Aloud.
Stacked Generalizations: When Does It Work?
Ensembles as a Sequence of Classifiers.
Noise-Tolerant Windowing.
Decision Tree Grafting.
Integrating Models of Discrimination and Characterization for Learning from Examples in Open Domains.
Ants and Reinforcement Learning: A Case Study in Routing in Dynamic Networks.
A Convergent Reinforcement Learning Algorithm in the Continuous Case Based on a Finite Difference Method.
An Adaptive Architecture for Modular Q-Learning.
Discovering Admissible Models of Complex Systems Based on Scale-Types and Idemtity Constraints.
Is Nonparametric Learning Practical in Very High Dimensional Spaces?
Unbiased Assesment of Learning Algorithms.
Efficiently Executing Information-Gathering Plans.
Recursive Plans for Information Gathering.
Web Watcher: A Tour Guide for the World Wide Web.
A Learning System for Selective Dissemination of Information.
The Self-Organizing Desk.
Toward Structured Retrieval in Semi-structured Information Spaces.
Using a Bayesian Network Induction Approach for Text Categorization.
COSPEX: A System for Constructing Private Digital Libraries.
Wrapper Induction for Information Extraction.
An Index Navigator for Understanding and Expressing User's Coherent Interest.
Adaptive Personal Information Filtering System that Organizes Personal Profiles Automatically.
Translingual Information Retrieval: A Comparative Evaluation.
Learning Strategies in Games by Anticipation.
Search Versus Knowledge in Game-Playing Programs Revisited.
An Evolutionary Algorithm Extended by Ecological Analogy and its Application to the Game of Go.
A Model of Strategy for the Game of Go Using Abstraction Mechanisms.
Multi-Perspective Modeling of the Air Camaign Planning Process.
Can We Benefit from Metrics in KBS Development?
An Expert System Using Nonmonotonic Techniques for Beneefits Inquiry in the Insurance Industry.
Analysis of Inheritance Mechanisms in Agent-Oriented Programming.
The Use of Meta-level Information in Learning Situation-Specific Coordination.
On the Gains and Losses of Speculation in Equilibrium Markets.
A Dynamic Theory of Incentives in Multi-Agent Systems.
Dynamic Prioritization of Complex Agents in Distributed Constraint Satisfaction Problems.
The Effects of Runtime Coordination Strategies Within Static Organizations.
Exploration and Adaptation in Multiagent Systems: A Model-based Approach.
Cooperation Structures.
Persuasion among Agents: An Approach to Implementing a Group Decision System Based on Multi-Agent Negotiation.
Semantics and Conversations for an Agent Communication Language.
Middle-Agents for the Internet.
Formal Specifications for Hybrid Dynamical Systems.
Redesigning a Problem-Solver's Operations to Improve Solution Quality.
Causality, Constraints and Indirect Effects.
Action Localness, Genericity and Invariants in STRIPS.
Qualitative Analysis of Causal Graphs with Equilibrium Type-Transition.
Structural Inferences from Massive Datasets.
Automation of Diagrammatic Reasoning.
On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus.
Rule-based Contact Monitoring Using Examples Obtained by Task Demonstration.
Qualitative Reasoning about Perception and Belief.
A Causal Time Ontology for Qualitative Reasoning.
A Web-Based Compositional Modeling System for Sharing of Physical Knowledge.
Comparative Analysis of STructurally Different Dynamical Systems.
Fundamentals of Model-Based Diagnosis of Dynamic Systems.
Polynomial Temporal Band Sequences for Analog Diagnosis.
A Static Model-Based Engine for Model-Based Reasoning.
Semantically Guided Theorem Proving for Diagnosis Applications.
Exploiting Domain Knowledge for Approximate Diagnosis.
Event-Based Reasoning for Short Circuit Diagnosis in Power Transmission Networks.
Diagnosing Tree Structured Systems.
Locating Faults in Tree-Structured Networks.
Merging Constraint Satisfaction Subproblems to Avoid Redundant Search.
Structuring Techniques for Constraint Satisfaction Problems.
Some Practicable Filtering Techniques for the Constraint Satisfaction Problem.
Constraint Satisfaction over Connected Row Convex Constraints.
Arc Consistency for General Constraint Networks: Preliminary Results.
Local Consistency for Ternary Numeric Constraints.
Learning Short-Term Weights for GSAT.
Discrete Lagrangian-Based Search for Solving MAX-SAT Problems.
Hidden Gold in Random Generation of SAT Satisfiable Instances.
Heuristics Based on Unit Propagation for Satisfiability Problems.
Computational Complexity of Multi-way, Dataflow Constraint Problems.
Semiring-based Constraint Logic Programming.
Task Ontology Makes It Easier To Use Authoring Tools.
Reasoning Symbolically About Partially Matched Cases.
Use of Abstraction and Complexity Levels in Intelligent Educational System Design.
Managing Decision Resources in Plan Execution.
Implementing BDI-like Systems by Direct Execution.
In the Quest of the Missing Link.
Mental Tracking: A Computational Model of Spatial Development.
A Functional Theory of Design Patterns.
An Achievement Test for Knowledge-Based Systems: QUEM.
An Aggregation Procedure for Building Episodic Memory.
Using Data and Theory in Multistretegy (Mis)Concept(ion) Discovery.
Acquisition of Human Feelings in Music Arrangements.
Using Case-Based Reasoning in Interpreting Unsupervised Inductive Learning Results.
Aggregating Features and Matching Cases on Vague Linguistic Expressions.
Alfons Schuster Werner Dubitzky Philippe Lopes Kenneth Adamson David A. Bell John G. Hughes John A. White
Learning to Integrate Multiple Knowledge Sources for Case-Based Reasoning.
An Average-Case Analysis of the k-Nearest Neighbar Classifier for Noisy Domains.
The Competence of Sub-Optimal Theories of STructure Mapping on Hard Analogies.
How Similar is VERY YOUNG to 43 Years of Age? On the Representation and Comparison of Polymorphic Properties.
Analogy and Abduction in Automated Deduction.
Preduction: A Common Form of Induction and Analogy.
On Evaluating Decision Procedures for Modal Logic.
A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics.
Prefixed Tableaux Systems for Modal Logics with Enriched Languages.
Compiling Prioritized Circumscription into Extended Logic Programs.
Learning Extended Logic Programs.
Compiling Reasoning with and about Preferences into Default Logic.
A Cumulative-Model Semantics for Dynamic Preferences on Assumptions.
A Default Interpretation of Defeasible Network.
Circumscribing Inconsistency.
Reifying Concepts in Description Logics.
Autoepistemic Description Logics.
A Four-Valued Fuzzy Propositional Logic.
Tractable Cover Compilations.
Strategies in Rigid-Variable Methods.
Equational Reasoning using AC Constraints.
High Performance ATP Systems by Combining Several AI Methods.
Nonmonotonic Reasoning and Multiple Belief Revision.
Representation Theorems for Multiple Belief Changes.
Towards Generalized Rule-based Updates.
Anytime Belief Revision.
The Complexity of Belief Update.
Qualitative Relevance and Independence: A Roadmap.
Challenge: How IJCAI 1999 can Prove Value of AI by Using AI.
Ten Challenges in Propositional Reasoning and Search.
Challenges in Bridging Plan Synthesis Paradigms.
Distributed Vision System: A Perceptual Information Infrastructure for Robot Navigation.
Understanding Three Simultaneous Speeches.
The RoboCup Synthetic Agent Challenge 97.
Hiroaki Kitano Milind Tambe Peter Stone Manuela M. Veloso Silvia Coradeschi Eiichi Osawa Hitoshi Matsubara Itsuki Noda Minoru Asada
Adaptive Web Sites: an AI Challenge.
Challenge: What is the Impact of Bayesian Networks on Learning?
The Predictive Toxicology Evaluation Challenge.