ijcai 1995 论文列表
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI 95, Montréal Québec, Canada, August 20-25 1995, 2 Volumes.
|
Modeling Interactive Agents in ALIVE.
A Case-Based Approach to Knowledge Navigation.
MUSE (Multidimensional User-Oriented Synthetic Environment): A New Approach to the Human-Computer Interface Using Precognitive Models of Perception.
SKICAT: Sky Image Cataloging and Analysis Tool.
GRASPER: A Permissive Planning Robot.
Multiple Perspective Interactive Video.
Situated Verbal Interaction in Virtual Design and Assembly.
PeopleFinder: a Multimodal Multimedia Communications Tool for Interconnecting Office Staff.
Learning University Mathematics.
Computer-Aided Creative Mechanism Design.
WIP: From Multimedia to Intellimedia.
IRV: Learning to Integrate Visual Information Across Camera Movements.
Advances of the DBLearn System for Knowledge Discovery in Large Databases.
Revealing Collection Structure through Information Access Interfaces.
Description Logic in Practice: A CLASSIC Application.
What has AI in Common with Philosophy?
A Philosophical Encounter.
VERY Large Knowledge Bases - Architecture vs Engineering.
Systematic Versus Stochastic Constraint Satisfaction.
Reasoning about actions: Non-deterministic effects, Constraints, and Qualification.
Towards Action Prediction Using a Mental-Level Model.
How to Progress a Database II: The STRIPS Connection.
Computing Ramifications by Postprocessing.
Embracing Causality in Specifying the Indirect Effects of Actions.
A Causal Theory of Ramifications and Qualifications.
A Simple Formalization of Actions Using Circumscription.
Dependent Fluents.
The Logic of Dynamic Systems.
Reasoning about Action and Change Using Dijkstra's Semantics for Programming Languages: Preliminary Report.
A Logic for Acting, Sensing and Planning.
Reasoning about Noisy Sensors in the Situation Calculus.
Possibility Theory as a Basis for Qualitative Decision Theory.
Possibilistic Temporal Reasoning based on Fuzzy Temporal Constraints.
The Rationality and Decidability of Fuzzy Implications.
On the Representation of Nonmontonic Relations in the Theory of Evidence.
The Canonical Decomposition of a Weighted Belief.
Adaptive Provision of Evaluation-Oriented Information: Tasks and Techniques.
The BATmobile: Towards a Bayesian Automated Taxi.
Ignorant Influence Diagrams.
Models and Algorithms for Probabilistic and Bayesian Logic.
Representation Dependence in Probabilistic Inference.
Minimum Cross-Entropy Reasoning: A Statistical Justification.
A Theory of Mapping from Structure to Function Applied to Engineering Thermodynamics.
FBRL: A Function and Behavior Representation Language.
Determining the Loci of Anomalies Using Minimal Causal Models.
Device Representation and Reasoning with Affective Relations.
Numerical Interval Simulation: Combined Qualitative and Quantitative Simulation to Bound Behaviors of Non-Monotonic Systems.
Scaling up Self-Explanatory Simulators: Polynomial-time Compilation.
History-based Interpretation of Finite Element Simulations of Seismic Wave Fields.
Reasoning about Fluid Motion I: Finding Structures.
Modeling Time in Hybrid Systems: How Fast Is "Instantaneous"?
Using a Domain Theory to Guide Automated Modeling of Complex Physical Phenomena.
Case-based Modeling with Qualitative Indices.
Generating Causal Networks for Mobile Multi-Agent Systems with Qualitative Regions.
Diagnosing Tree-Decomposable Circuits.
Trading off the Costs of Inference vs. Probing in Diagnosis.
No Faults in Structure? How to Diagnose Hidden Interactions.
A Formal Framework for Representing Diagnosis Strategies in Model-Based Diagnosis Systems.
Recovering Problem-Solving Activities from Query Messages.
A Sound and Fast Goal Recognizer.
Abstraction by Interchangeability in Resource Allocation.
Planning, Executing, Sensing, and Replanning for Information Gathering.
Hierarchical Plan Merging with Application to Process Planning.
AI Planning Versus Manufacturing-Operation Planning: A Case Study.
Real-Time Search in Non-Deterministic Domains.
The Focussed D* Algorithm for Real-Time Replanning.
Planning with Sharable Resource Constraints.
Fast Planning Through Planning Graph Analysis.
Admissible Pruning Strategies based on plan minimality for Plan-Space Planning.
Comparison of Methods for Improving Search Efficiency in a Partial-Order Planner.
Scope and Abstraction: Two Criteria for Localized Planning.
Planning with Primary Effects: Experiments and Analysis.
Planning with Abstraction Hierarchies can be Exponentially Less Efficient.
A Critical Look at Critics in HTN Planning.
Expected Solution Quality.
Optimizing Decision Quality with Contract Algorithms.
Planning Under Uncertainty: Some Key Issues.
Relating Belief Revision and Circumscription.
Generalized Update: Belief Change in Dynamic Settings.
Iterated Theory Base Change: A Computational Model.
Belief Revision, Revised.
Cancelling and Overshadowing: Two Types of Defeasibility in Defeasible Deontic Logic.
On Bimodal Nonmonotonic Logics and Their Unimodal and Nonmodal Equivalents.
Constrained and Rational Default Logics.
Computing Circumscription Revisited: Preliminary Report.
Sound and Efficient Non-monotonic Inference.
Syntactic Conditional Closures for Defeasible Reasoning.
Specificity and Inheritance in Default Reasoning.
On Specificity in Default Logic.
Allowed Arguments.
On Decision-Theoretic Foundations for Defaults.
How to Infer from Inconsisent Beliefs without Revising?
On the Relation between Argumentation and Non-monotonic Coherence-Based Entailment.
Integration of Syntactic, Semantic and Contextual Information in Processing Grammatically Ill-Formed Inputs.
Efficient Parameterizable Type Expansion for Typed Feature Formalisms.
A Dependency-based Method for Evaluating Broad-Coverage Parsers.
An Efficient Algorithm for Surface Generation.
Dialogue Actions for Natural Language Interfaces.
A Support Tool for Writing Multilingual Instructions.
Filling Knowledge Gaps in a Broad-Coverage Machine Translation System.
Unification-Based Glossing.
Analogy in the Large.
A WordNet-based Algorithm for Word Sense Disambiguation.
Discourse as a Knowledge Resource for Sentence Disambiguation.
Anaphors, PPs and Disambiguation Process for Conceptual Analysis.
Semantic Inference in Natural Language: Validating a Tractable Approach.
Improving Heuristic-Based Temporal Analysis of Narratives with Aspect Determination.
Stochastic Inversion Transduction Grammars, with Application to Segmentation, Bracketing, and Alignment of Parallel Corpora.
Hierarchical Bayesian Clustering for Automatic Text Classification.
CRYSTAL: Inducing a Conceptual Dictionary.
Automatic Thesaurus Construction based on Grammatical Relations.
Selecting Tense, Aspect, and Connecting Words In Language Generation.
Dynamic Semantics for Tense and Aspect.
Ubiquitous Talker: Spoken Language Interaction with Real World Objects.
Generating Explanatory Captions for Information Graphics.
Integrating Gricean and Attentional Constraints.
The Use of Knowledge Preconditions in Language Processing.
Generating Discourse across Several User Models: Maximizing Belief while Avoiding Boredom and Overload.
Generating Information-Sharing Subdialogues in Expert-User Consultation.
Multiresolution Instance-Based Learning.
Rule Induction and Instance-Based Learning: A Unified Approach.
Learning One More Thing.
Building Theories into Instantiation.
AILP: Abductive Inductive Logic Programming.
Covering vs. Divide-and-Conquer for Top-Down Induction of Logic Programs.
Generating and Solving Imperfect Information Games.
Learning to Reason: The Non-Monotonic Case.
Practical PAC Learning.
The Complexity of Theory Revision.
Extending Classical Planning to Real-World Execution with Machine Learning.
Local Learning in Probabilistic Networks with Hidden Variables.
A Study of Cross-Validation and Bootstrap for Accuracy Estimation and Model Selection.
Dependency Relationship Based Decision Combination in Multiple Classifier Systems.
Decomposition Techniques for Planning in Stochastic Domains.
A Reinforcement Learning Approach to job-shop Scheduling.
Exploiting Structure in Policy Construction.
Process-Oriented Planning and Average-Reward Optimality.
Approximating Optimal Policies for Partially Observable Stochastic Domains.
Probabilistic Robot Navigation in Partially Observable Environments.
Oblivious Decision Trees, Graphs, and Top-Down Pruning.
Constructing Nominal X-of-N Attributes.
Intermediate Decision Trees.
Using Decision Trees for Coreference Resolution.
Flexibly Exploiting Prior Knowledge in Empirical Learning.
On Biases in Estimating Multi-Valued Attributes.
Lookahead and Pathology in Decision Tree Induction.
Oversearching and Layered Search in Empirical Learning.
Modeling Living Systems for Computer Vision.
Stochastic Search and Phase Transitions: AI Meets Physics.
Inductive Logic Programming: Inverse Resolution and Beyond.
Biologically Inspired Defenses Against Computer Viruses.
Vive la difference! Individualised Interaction with Users.
Turing Test Considered Harmful.
Agents on Stage: Advancing the State of the Art of AI.
Profiling Communication in Distributed Genetic Algorithms.
Rationality and Intelligence.
Explaining the Ineffable: AI on the Topics of Intuition, Insight and Inspiration.
Category Translation: Learning to Understand Information on the Internet.
Letizia: An Agent That Assists Web Browsing.
A Qualitative Discretization for Two-Body Contacts.
Utilizing Moment Invariants and Gröbner Bases to Reason About Shapes.
Topological Inference.
An Algebraic Approach to Granularity in Qualitative Time and Space Representation.
Qualitative Structural Analysis Using Diagrammatic Reasoning.
Inter-diagrammatic Reasoning.
Semantics and Complexity of Abduction from Default Theories.
The Comparative Linguistics of Knowledge Representation.
A Logical Account of Relevance.
Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology.
Knowledge Compilation Using Theory Prime Implicates.
An Analysis of Approximate Knowledge Compilation.
Determining Explanations using Transmutations.
Explaining Subsumption in Description Logics.
Terminological Logics with Modal Operators.
What's in an Aggregate: Foundations for Description Logics with Tuples and Sets.
Synthesizing Plant Controllers Using Real-time Goals.
Proposing Measurements in Dynamic Systems.
Knowledge-Based Anytime Computation.
The Generic Frame Protocol.
Efficient Algorithms and Performance Results for Multi-User Knowledge Bases.
Knowledge Representation in the Large.
The Automatic Programming of Agents that Learn Mental Models and Create Simple Plans of Action.
Gene Duplication to Enable Genetic Programming to Concurrently Evolve Both the Architecture and Work-Performing Steps of a Computer Program.
A Genetic Prototype Learner.
Hybrid Learning Using Genetic Algorithms and Decision Trees for Pattern Classification.
Social Dilemmas in Computational Ecosystems.
The Semantics of Intention Maintenance for Rational Agents.
Equilibrium Analysis of the Possibilities of Unenforced Exchange in Multiagent Systems.
Flexible Social Laws.
Deriving Multi-Agent Coordination through Filtering Strategies.
Matchmaking for Information Agents.
Coalition Formation among Bounded Rational Agents.
Task Allocation Via Coalition Formation Among Autonomous Agents.
Sparse Constraint Graphs and Exceptionally Hard Problems.
Composition in Hierarchical CLP.
Valued Constraint Satisfaction Problems: Hard and Easy Problems.
Constraint Solving over Semirings.
GSAT and Local Consistency.
Limited Discrepancy Search.
A Theoretical and Experimental Comparison of Constraint Propagation Techniques for Disjunctive Scheduling.
Using Inference to Reduce Arc Consistency Computation.
Increasing Functional Constraints Need to Be Checked Only Once.
Constraint Satisfaction as Global Optimization.
Look-Ahead Value Ordering for Constraint Satisfaction Problems.
Generalizing Inconsistency Learning for Constraint Satisfaction.
On the Space-Time Trade-off in Solving Constraint Satisfaction Problems.
Extracting Constraint Satisfaction Subproblems.
A Theoretical Evaluation of Selected Backtracking Algorithms.
A Model for Hormonal Modulation of Learning.
Combining the Predictions of Multiple Classifiers: Using Competitive Learning to Initialize Neural Networks.
A Novelty Detection Approach to Classification.
Learning Distributed Representations for the Classification of Terms.
A Hybrid Rule-based System: How Variables are Involved in Connectionist Rule-based Systems.
A Hybrid Fuzzy-Neural Expert System for Diagnosis.
GR2: A Hybrid Knowledge-based System Using General Rules.
Understanding Neural Networks via Rule Extraction.
Kanerva's Sparse Distributed Memory: An Object-Oriented Implementation on the Connection Machine.
Action and Perception in Man-Made Environments.
On Heuristic Reasoning, Reactivity, and Search.
Using Information Content to Evaluate Semantic Similarity in a Taxonomy.
Determining What to Learn Through Component-Task Modeling.
Forgetting and Compacting data in Concept Learning.
A Microfeature Based Approach Towards Metaphor Interpretation.
Optional Deep Case Filling and Focus Control with Mental Images: ANTLIMA-KOREF.
Within the Letter of the Law: Open-Textured Planning.
Using CBR to Drive IR.
Using Introspective Reasoning to Refine Indexing.
Stratified Case-Based Reasoning: Reusing Hierarchical Problem Solving Episodes.
Remembering To Forget: A Competence-Preserving Case Deletion Policy for Case-Based Reasoning Systems.
Improving System Performance in Case-Based Iterative Optimization through Knowledge Filtering.
Unique Normal Forms and Confluence of Rewrite Systems: Persistence.
A Methodology for Proving Termination of General Logic Programs.
Experiments with Associative-Commutative Discrimination Nets.
Equality Elimination for the Inverse Method and Extension Procedures.
Model Elimination, Logic Programming and Computing Answers.
Extending Semantic Resolution via Automated Model Building: Applications.
Default-Reasoning with Models.
Towards Efficient Default Reasoning.
Performance Test of Local Search Algorithms Using New Types of Random CNF Formulas.
SEM: a System for Enumerating Models.
On the Complexity of Extending Ground Resolution with Symmetry Rules.
Theoretical Analysis of Davis-Putnam Procedure and Propositional Satisfiability.
Best-First Fixed-Depth Game-Tree Search in Practice.
From Approximate to Optimal Solutions: A Case Study of Number Partitioning.
The Trailblazer Search with a Hierarchical Abstract Map.
On Bootstrapping Local Search with Trail-Markers.
Experimenting with Revisits in Game Tree Search.
How to Use Limited Memory in Heuristic Search.
k-Best: A New Method for Real-Time Decision Making.
Deadline Compliance, Predictability, and On-line Optimization in Real-Time Problem Solving.
Model-Based Diagnosis using Causal Networks.
Abductive Framework for Nonmonotonic Theory Change.
A Semantic Theory of Abstractions.
Second-Order Matching modulo Evaluation: A Technique for Reusing Proofs.
A Model of Analogy-Driven Proof-Plan Construction.
Relational Rippling: A General Approach.
Residue-Driven Architecture for Computational Auditory Scene Analysis.
Organization of Hierarchical Perceptual Sounds: Music Scene Analysis with Autonomous Processing Modules and a Quantitative Information Integration Mechanism.
Logic Programming for Robot Control.
Formalizing Behavior-based Planning for Nonholonomic Robots.
Using the Representation in a Neural Network's Hidden Layer for Task-Specific Focus of Attention.
Motion Sketch: Acquisition of Visual Motion Guided Behaviors.
Using Knowledge to Isolate Search in Route Finding.
Self-Organization of Symbolic Processes through Interaction with the Physical World.
RESC: An Approach for Real-time, Dynamic Agent Tracking.
Knowledge Considerations in Robotics and Distribution of Robotic Tasks.
Robotic Perception of Material.
Active Agent Oriented Multimodal Interface System.
An Architecture for Vision and Action.
Adaptable Planner Primitives for Real-World Robotic Applications.
Visual Routines and Visual Search: A Real-Time Implementation and an Automata-Theoretic Analysis.
Control Structures for Incorporating Picture-Specific Context in Image Interpretation.
Qualitative Interpretation of Spectral Images: Reasoning with Uncertain Evidence.
A Qualitative Approach to Sensor Data Fusion for Mobile Robot Navigation.
Animate Vision in a Rich Environment.
Representations for Active Vision.
Natural Basis Functions and Topographic Memory for Face Recognition.
Fitting Models to Distributed Representations of Vision.
