Stockholm, Sweden
Edited by Thomas Dean
No papers match this filter.
Automated Reasoning
Maximum Entropy and Variable Strength Defaults
Pages 50–54
Stable Model Checking Made Easy
Pages 70–74
Reasoning with Concrete Domains
Pages 90–94
Multi-Dimensional Description Logics
Pages 104–108
Preferential Semantics for Causal Systems
Pages 118–122
The Ramification Problem in the Event Calculus
Pages 140–145
Logic-Based Subsumption Architecture
Pages 147–151
Automata Theory for Reasoning About Actions
Pages 153–158
Projection Using Regression and Sensors
Pages 160–164
A Logic of Intention
Pages 172–178
Postulates for Conditional Belief Revision
Pages 186–190
Programming Resource-Bounded Deliberative Agents
Pages 200–204
Case-based Reasoning
Demand-Driven Discovery of Adaptation Knowledge
Pages 222–226
PEBM: A Probabilistic Exemplar Based Model
Pages 242–246
Challenge Papers
Adaptive Web Sites: Conceptual Cluster Mining
Pages 264–268
Unifying SAT-based and Graph-based Planning
Pages 318–324
Temporal Planning with Mutual Exclusion Reasoning
Pages 326–336
Cognitive Modeling
An Anthropocentric Tool for Decision Making Support
Pages 338–342
Autonomous Concept Formation
Pages 344–348
Reasoning About Actions in Narrative Understanding
Pages 350–356
Investigating the Emergence of Speech Sounds
Pages 364–368
Diagrammatic Proofs
Pages 378–382
Modeling the Basic Meanings of Path Relations
Pages 384–392
Constraint Satisfaction
A Comparison of Structural CSP Decomposition Methods
Pages 394–398
Solving Strategies for Highly Symmetric CSPs
Pages 400–404
Extending Consistent Domains of Numeric CSP
Pages 406–412
The Difference All-Difference Makes
Pages 414–418
The Symmetric Alldiff Constraint
Pages 420–424
Branch and Bound with Mini-Bucket Heuristics
Pages 426–434
A New Tractable Subclass of the Rectangle Algebra
Pages 442–446
Path Consistency on Triangulated Constraint Graphs
Pages 456–460
A New Method to Index and Query Sets
Pages 462–466
Distributed AI
Shopbots and Pricebots
Pages 506–510
Algorithms for Optimizing Leveled Commitment Contracts
Pages 535–540
Speeding Up Ascending-Bid Auctions
Pages 554–562
Computer Game Playing
Temporal Coherence and Prediction Decay in TD Learning
Pages 564–568
Domain-Dependent Single-Agent Search Enhancements
Pages 570–576
Knowledge-based Applications
An Effective Ship Berthing Algorithm
Pages 594–598
Knowledge Modeling and Reusability in ExClaim
Pages 606–612
Verifying Integrity Constraints on Web Sites
Pages 614–618
Integrating Problem-Solving Methods into CYC
Pages 627–632
Machine Learning
Domain-Specific Keyphrase Extraction
Pages 668–672
Latent Class Models for Collaborative Filtering
Pages 688–692
Conceptual Grouping in Word Co-Occurrence Networks
Pages 694–700
Constructive Induction: A Version Space-based Approach
Pages 708–712
Process-Oriented Estimation of Generalization Error
Pages 714–720
Transduction with Confidence and Credibility
Pages 722–725
Leave-One-Out Support Vector Machines
Pages 727–732
Efficient Reinforcement Learning in Factored MDPs
Pages 740–746
Finding Relations in Polynomial Time
Pages 780–784
Automatic Concept Formation in Pure Mathematics
Pages 786–792
Efficient Mining of Statistical Dependencies
Pages 794–798
Towards Efficient Metaquerying
Pages 800–804
SARDSRN: A Neural Network Shift-Reduce Parser
Pages 820–826
Generalized Connectionist Associative Memory
Pages 833–838
Preference Moore Machines for Neural Fuzzy Integration
Pages 840–844
Natural Language Processing
Situated Grounded Word Semantics
Pages 862–866
Lean Semantic Interpretation
Pages 868–874
Learning in Natural Language
Pages 898–903
How Latent is Latent Semantic Analysis?
Pages 932–940
Planning and Scheduling
SHOP: Simple Hierarchical Ordered Planner
Pages 968–974
Improving Graphplan's Search with EBL & DDB Techniques
Pages 982–986
To Encode or Not to Encode - Linear Planning
Pages 988–994
Highly Reactive Decision Making: A Game with Time
Pages 1002–1006
Real-Time Problem-Solving with Contract Algorithms
Pages 1008–1014
Cyclic Scheduling
Pages 1016–1020
Qualitative Reasoning and Diagnosis
Semi-Quantitative Comparative Analysis
Pages 1034–1039
Generalized Physical Networks for Automated Model Building
Pages 1047–1052
Qualitative Outline Theory
Pages 1061–1065
Debugging Functional Programs
Pages 1074–1078
Utilizing Device Behavior in Structure-Based Diagnosis
Pages 1096–1100
Robotics and Perception
Physical Constraints on Human Robot Interaction
Pages 1124–1129
State Space Construction by Attention Control
Pages 1131–1138
A Context-Dependent Attention System for a Social Robot
Pages 1146–1152
Markov Localization using Correlation
Pages 1154–1158
Tracking Many Objects with Many Sensors
Pages 1160–1170
Search
Search in a Small World
Pages 1172–1176
Switching from Bidirectional to Unidirectional Search
Pages 1178–1182
A Divide and Conquer Bidirectional Search: First Results
Pages 1184–1190
An Experimental Study of Phase Transitions in Matching
Pages 1198–1202
Optimizing Recursive Information-Gathering Plans
Pages 1204–1210
Coevolution, Memory and Balance
Pages 1212–1216
Genetic Heuristic for Search Space Exploration
Pages 1218–1225
Software Agents
Designing Comprehensible Agents
Pages 1227–1231
Rights, Duties and Commitments between Agents
Pages 1239–1245
Temporal Reasoning
Scalable Temporal Reasoning
Pages 1247–1251
Managing Temporal Uncertainty Through Waypoint Controllability
Pages 1253–1257
Uncertainty and Probabilistic Reasoning
Reactive Control of Dynamic Progressive Processing
Pages 1268–1272
Pre-sending Documents on the WWW: A Comparative Study
Pages 1274–1278
Learning Probabilistic Relational Models
Pages 1300–1308
Bounding the Suboptimality of Reusing Subproblem
Pages 1340–1346
Solving Non-Markovian Control Tasks with Neuro-Evolution
Pages 1356–1360
Towards a Possibilistic Logic Handling of Preferences
Pages 1370–1374
Incremental Learning in a Fuzzy Intelligent System
Pages 1376–1383
Invited Speakers
Robotics in the Home, Office, and Playing Field
Pages 1385–1391
A Brief Introduction to Boosting
Pages 1401–1405
Awards
Agent-Based Computing: Promise and Perils
Pages 1429–1435
Reasoning with Cause and Effect
Pages 1437–1448
Other papers
Front matter, copyright and publication details
Sponsored by the
International Joint Conferences on Artificial Intelligence, Inc. (IJCAII)
The Scandinavian AI Societies
Copyright © 1999 International Joint Conferences on Artificial Intelligence, Inc.
All rights reserved.
Distributed by
Morgan Kaufmann Publishers, Inc.
340 Pine Street, 6th Floor
San Francisco, CA 94104
http:/ /www.mkp.com
Secretary-Treasurer: Ronald J. Brachman, AT&T Labs-Research (USA)
ISBN 1-55860-613-0
Front matter
- Lemma Generation for Model Elimination by Combining Top-Down and Bottom-Up Inference
- Cooperation of Heterogeneous Provers
- UPML: A framework for knowledge system reuse
- Complexity results for propositional closed world reasoning and circumscription from tractable knowledge bases
- Credulous Nonmonotonic Inference
- Preferred Arguments are Harder to Compute than Stable Extensions
- Author Index.. .. 655
- Improvements to the Evaluation of Quantified Boolean Formulae
- Exploratory Interaction with a Bayesian Argumentation System
- Computing Near Optimal Strategies for Stochastic Investment Planning Problems
- Author Index..1450
