List of contents of the Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95)
- c-ijcai-95-3
- S. A. Niyogi:
Fitting Models to Distributed Representations of Vision.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 3-9.
- c-ijcai-95-10
- R. P. N. Rao, D. H. Ballard:
Natural Basis Functions and Topographic Memory for Face Recognition.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 10-17.
- c-ijcai-95-20
- C. Fermüller, Y. Aloimonos:
Representations for Active Vision.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 20-26.
- c-ijcai-95-27
- Tomas Uhlin, J.-O. Eklundh:
Animate Vision in a Rich Environment.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 27-33.
- c-ijcai-95-36
- Steven Reece, H. Durrant-Whyte:
A Qualitative Approach to Sensor Data Fusion for Mobile Robot Navigation.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 36-41.
- c-ijcai-95-42
- Qi Zhao, T. Nishida:
Qualitative Interpretation of Spectral Images: Reasoning with Uncertain Evidence.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 42-47.
- c-ijcai-95-50
- Rajiv Chopra, R. K. Srihari:
Control Structures for Incorporating Picture-Specific Context in Image Interpretation.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 50-55.
- c-ijcai-95-56
- Ian Horswill:
Visual Routines and Visual Search: A Real-Time Implementation and Automata-Theoretic Analysis.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 56-62.
- c-ijcai-95-64
- R. W. Wisniewski, C. M. Brown:
Adaptable Planner Primitives for Real-World Robotic Applications.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 64-71.
- c-ijcai-95-72
- R. J. Firby, R. E. Kahn, P. N. Prokopowicz, and M. J. Swain:
An Architecture for Vision and Action.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 72-79.
- c-ijcai-95-82
- O. Hasegawa, K. Itou, T. Kurita, S. Hayamizu, K. Tanaka, K. Yamamoto, and N. Otsu:
Active Agent Oriented Multimodal Interface System.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 82-87.
- c-ijcai-95-88
- E. Krotkov:
Robotic Perception of Material.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 88-94.
- c-ijcai-95-96
- R. I. Brafman, Yoav Shoham:
Knowledge Considerations in Robotics and Distribution of Robotic Tasks.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 96-102.
- c-ijcai-95-103
- M. Tambe, P. S. Rosenbloom:
RESC: An Approach for Real-Time, Dynamic Agent Tracking.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 103-110.
- c-ijcai-95-112
- J. Tani:
Self-Organization of Symbolic Processes Through Interaction with the Physical World.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 112-118.
- c-ijcai-95-119
- B. Liu:
Using Knowledge to Isolate Search in Route Finding.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 119-124.
- c-ijcai-95-126
- T. Nakamura, M. Asada:
Motion Sketch: Acquisition of Visual Motion Guided Behaviors.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 126-132.
- c-ijcai-95-133
- S. Baluja, D. A. Pomerleau:
Using the Representation in a Neural Network's Hidden Layer for Task-Specific Focus of Attention.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 133-139.
- c-ijcai-95-142
- V. Manikonda, J. Hendler and P. S. Krishnaprasad:
Formalizing Behavior-Based Planning for Nonholonomic Robots.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 142-149.
- c-ijcai-95-150
- David Poole:
Logic Programming for Robot Control.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 150-157.
- c-ijcai-95-158
- K. Kashino, K. Nakadai, T. Kinoshita, and H. Tanaka:
Organization of Hierarchical Perceptual Sounds: Music Scene Analysis with Autonomous Processing Modules and a Quantitative Information Integration Mechanism.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 158-164.
- c-ijcai-95-165
- T. Nakatani, H. G. Okuno and T. Kawabata:
Residue-Driven Architecture for Computational Auditory Scene Analysis.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 165-172.
- c-ijcai-95-175
- A. Bundy, V. Lombart:
Relational Rippling: A General Approach.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 175-181.
- c-ijcai-95-182
- E. Melis:
A Model of Analogy-Driven Proof-Plan Construction.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 182-188.
- c-ijcai-95-190
- T. Kolbe, C. Walther:
Second-Order Matching Modulo Evaluation - A Technique for Reusing Proofs.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 190-195.
- c-ijcai-95-196
- P. P. Nayak, A. Y. Levy:
A Semantic Theory of Abstractions.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 196-202.
- c-ijcai-95-204
- K. Inoue, C. Sakama:
Abductive Framework for Nonmonotonic Theory Change.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 204-210.
- c-ijcai-95-211
- Adnan Darwiche:
Model-Based Diagnosis Using Causal Networks.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 211-217.
- c-ijcai-95-220
- B. Hamidzadeh, S. Shekhar:
Deadline Compliance, Predictability, and On-Line Optimization in Real-Time Problem Solving.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 220-226.
- c-ijcai-95-227
- J. C. Pemberton:
k-Best: A New Method for Real-Time Decision Making.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 227-233.
- c-ijcai-95-236
- H. Kaindl, G. Kainz, A. Leeb, and H. Smetana:
How to Use Limited Memory in Heuristic Search.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 236-242.
- c-ijcai-95-243
- S. Bhattacharya:
Experimenting with Revisits in Game Tree Search.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 243-249.
- c-ijcai-95-252
- P. C. Chen:
On Bootstrapping Local Search with Trail-Markers.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 252-258.
- c-ijcai-95-259
- T. Sasaki, F. Chimura and M. Tokoro:
The Trailblazer Search with a Hierarchical Abstract Map.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 259-264.
- c-ijcai-95-266
- R. E. Korf:
From Approximate to Optimal Solutions: A Case Study of Number Partitioning.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 266-272.
- c-ijcai-95-273
- A. Plaat, J. Schaeffer, W. Pijls, and A. de Bruin:
Best-First Fixed-Depth Game-Tree Search in Practice.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 273-279.
- c-ijcai-95-282
- N. Yugami:
Theoretical Analysis of Davis-Putnam Procedure and Propositional Satisfiability.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 282-288.
- c-ijcai-95-289
- T.Boy de la Tour, S. Demri:
On the Complexity of Extending Ground Resolution with Symmetry Rules.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 289-295.
- c-ijcai-95-298
- Yan Zhang, Yan Zhang:
SEM: A System for Enumerating Models.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 298-303.
- c-ijcai-95-304
- B. Cha, K. Iwama:
Performance Test of Local Search Algorithms Using New Types of Random CNF Formulas.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 304-310.
- c-ijcai-95-312
- I. Niemelä:
Towards Efficient Default Reasoning.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 312-318.
- c-ijcai-95-319
- R. Khardon, D. Roth:
Default-Reasoning with Models.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 319-325.
- c-ijcai-95-328
- R. Caferra, N. Peltier:
Extending Semantic Resolution Via Automated Model Building: Applications.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 328-334.
- c-ijcai-95-335
- P. Baumgartner, U. Furbach and F. Stolzenburg:
Model Elimination, Logic Programming and Computing Answers.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 335-340.
- c-ijcai-95-342
- A. Degtyarev, A. Voronkov:
Equality Elimination for the Inverse Method and Extension Procedures.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 342-347.
- c-ijcai-95-348
- L. Bachmair, T. Chen, I. V. Ramakrishnan, S. Anantharaman, and J. Chabin:
Experiments with Associative-Commutative Discrimination Nets.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 348-354.
- c-ijcai-95-356
- E. Marchiori:
A Methodology for Proving Termination of General Logic Programs.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 356-361.
- c-ijcai-95-362
- R. M. Verma:
Unique Normal Forms and Confluence of Rewrite Systems: Persistence.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 362-368.
- c-ijcai-95-371
- K. Miyashita, K. Sycara:
Improving System Performance in Case-Based Iterative Optimization Through Knowledge Filtering.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 371-376.
- c-ijcai-95-377
- B. Smyth, M. T. Keane:
Remembering To Forget: A Competence-Preserving Case Deletion Policy for Case-Based Reasoning Systems.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 377-382.
- c-ijcai-95-384
- L. K. Branting, D. W. Aha:
Stratified Case-Based Reasoning: Reusing Hierarchical Problem Solving Episodes.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 384-390.
- c-ijcai-95-391
- S. Fox, D. B. Leake:
Using Introspective Reasoning to Refine Indexing.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 391-397.
- c-ijcai-95-400
- E. L. Rissland, J. J. Daniels:
Using CBR to Drive IR.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 400-407.
- c-ijcai-95-408
- K. E. Sanders:
Within the Letter of the Law: Open-Textured Planning.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 408-414.
- c-ijcai-95-417
- A. Blocher, J. R. J. Schirra:
Optional Deep Case Filling and Focus Control with Mental Images: ANTLIMA-KOREF.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 417-423.
- c-ijcai-95-424
- R. Sun:
A Microfeature Based Approach Towards Metaphor Interpretation.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 424-429.
- c-ijcai-95-432
- G. Sablon, L. De Raedt:
Forgetting and Compacting Data in Concept Learning.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 432-438.
- c-ijcai-95-439
- B. Krulwich, L. Birnbaum and G. Collins:
Determining What to Learn Through Component-Task Modeling.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 439-445.
- c-ijcai-95-448
- P. Resnik:
Using Information Content to Evaluate Semantic Similarity in a Taxonomy.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 448-453.
- c-ijcai-95-454
- S. L. Epstein:
On Heuristic Reasoning, Reactivity, and Search.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 454-461.
- c-ijcai-95-464
- D. D. Fu, K. J. Hammond and M. J. Swain:
Action and Perception in Man-Made Environments.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 464-469.
- c-ijcai-95-473
- A. Turk, G. Görz:
Kanerva's Sparse Distributed Memory: An Object-Oriented Implementation on the Connection Machine.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 473-479.
- c-ijcai-95-480
- R. Setiono, H. Liu:
Understanding Neural Networks Via Rule Extraction.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 480-485.
- c-ijcai-95-488
- Jixin Ma, R. F. Harrison and R. L. Kennedy:
GR2 - A Hybrid Knowledge-Based System Using General Rules.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 488-493.
- c-ijcai-95-494
- C. S. Herrmann:
A Hybrid Fuzzy-Neural Expert System for Diagnosis.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 494-500.
- c-ijcai-95-502
- F. Kozato:
A Hybrid Rule-Based System - How Variables Are Involved in Connectionist Rule-Based Systems.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 502-508.
- c-ijcai-95-509
- A. Sperduti, A. Starita and C. Goller:
Learning Distributed Representations for the Classification of Terms.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 509-515.
- c-ijcai-95-518
- N. Japkowicz, C. Myers and M. Gluck:
A Novelty Detection Approach to Classification.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 518-523.
- c-ijcai-95-524
- R. Maclin, J. W. Shavlik:
Combining the Predictions of Multiple Classifiers: Using Competitive Learning to Initialize Neural Networks.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 524-530.
- c-ijcai-95-532
- H. Kitano:
A Model for Hormonal Modulation of Learning.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 532-538.
- c-ijcai-95-541
- G. Kondrak, P. van Beek:
A Theoretical Evaluation of Selected Backtracking Algorithms.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 541-547.
- c-ijcai-95-548
- E. C. Freuder, P. D. Hubbe:
Extracting Constraint Satisfaction Subproblems.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 548-555.
- c-ijcai-95-558
- R. J. Bayardo, D. P. Miranker:
On the Space-Time Trade-Off in Solving Constraint Satisfaction Problems.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 558-562.
- c-ijcai-95-563
- E. C. Freuder, R. J. Wallace:
Generalizing Inconsistency Learning for Constraint Satisfaction.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 563-569.
- c-ijcai-95-572
- D. Frost, Rina Dechter:
Look-Ahead Value Ordering for Constraint Satisfaction Problems.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 572-578.
- c-ijcai-95-579
- P. Meseguer, J. Larrosa:
Constraint Satisfaction as Global Optimization.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 579-584.
- c-ijcai-95-586
- B. Liu:
Increasing Functional Constraints Need to Be Checked Only Once.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 586-591.
- c-ijcai-95-592
- C. Bessiere, E. C. Freuder and J.-C. Regin:
Using Inference to Reduce Arc Consistency Computation.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 592-598.
- c-ijcai-95-600
- P. Baptiste, C. Le Pape:
A Theoretical and Experimental Comparison of Constraint Propagation Techniques for Disjunctive Scheduling.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 600-606.
- c-ijcai-95-607
- W. D. Harvey, M. L. Ginsberg:
Limited Discrepancy Search.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 607-613.
- c-ijcai-95-616
- K. Kask, Rina Dechter:
GSAT and Local Consistency.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 616-622.
- c-ijcai-95-624
- S. Bistarelli, Angelo Montanari and F. Rossi:
Constraint Solving Over Semirings.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 624-630.
- c-ijcai-95-631
- T. Schiex, H. Fargier and G. Verfaillie:
Valued Constraint Satisfaction Problems: Hard and Easy Problems.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 631-637.
- c-ijcai-95-640
- M. Jampel, S. Hunt:
Composition in Hierarchical CLP.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 640-645.
- c-ijcai-95-646
- B. M. Smith, S. A. Grant:
Sparse Constraint Graphs and Exceptionally Hard Problems.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 646-651.
- c-ijcai-95-655
- O. Shehory, S. Kraus:
Task Allocation Via Coalition Formation Among Autonomous Agents.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 655-661.
- c-ijcai-95-662
- T. W. Sandholm, V. R. Lesser:
Coalition Formation Among Bounded Rational Agents.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 662-669.
- c-ijcai-95-672
- D. Kuokka, L. Harada:
Matchmaking for Information Agents.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 672-678.
- c-ijcai-95-679
- E. Ephrati, M. E. Pollack and S. Ur:
Deriving Multi-Agent Coordination Through Filtering Strategies.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 679-685.
- c-ijcai-95-688
- W. Briggs, D. Cook:
Flexible Social Laws.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 688-693.
- c-ijcai-95-694
- T. W. Sandholm, V. R. Lesser:
Equilibrium Analysis of the Possibilities of Unenforced Exchange in Multiagent Systems.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 694-701.
- c-ijcai-95-704
- M. P. Georgeff, A. S. Rao:
The Semantics of Intention Maintenance for Rational Agents.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 704-710.
- c-ijcai-95-711
- T. Hogg:
Social Dilemmas in Computational Ecosystems.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 711-716.
- c-ijcai-95-719
- J. Bala, Zhisheng Huang, H. Vafaie, K. DeJong, and H. Wechsler:
Hybrid Learning Using Genetic Algorithms and Decision Trees for Pattern Classification.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 719-724.
- c-ijcai-95-725
- S. Sen, Brian Knight:
A Genetic Prototype Learner.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 725-731.
- c-ijcai-95-734
- J. R. Koza:
Gene Duplication to Enable Genetic Programming to Concurrently Evolve Both the Architecture and Work-Performing Steps of a Computer Program.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 734-740.
- c-ijcai-95-741
- D. Andre:
The Automatic Programming of Agents That Learn Mental Models and Create Simple Plans of Action.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 741-747.
- c-ijcai-95-751
- P. D. Karp, S. M. Paley:
Knowledge Representation in the Large.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 751-758.
- c-ijcai-95-759
- V. K. Chaudhri, J. Mylopoulos:
Efficient Algorithms and Performance Results for Multi-User Knowledge Bases.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 759-766.
- c-ijcai-95-768
- P. D. Karp, K. L. Myers and T. Gruber:
The Generic Frame Protocol.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 768-774.
- c-ijcai-95-775
- A. Mouaddib, S. Zilberstein:
Knowledge-Based Anytime Computation.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 775-781.
- c-ijcai-95-784
- J. Gamper, W. Nejdl:
Proposing Measurements in Dynamic Systems.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 784-790.
- c-ijcai-95-791
- M. Barbeau, Froduald Kabanza and R. St-Denis:
Synthesizing Plant Controllers Using Real-Time Goals.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 791-798.
- c-ijcai-95-801
- G. De Giacomo, Maurizio Lenzerini:
What's in an Aggregate: Foundations for Description Logics with Tuples and Sets.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 801-807.
- c-ijcai-95-808
- F. Baader, A. Laux:
Terminological Logics with Modal Operators.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 808-814.
- c-ijcai-95-816
- D. L. Mc Guinness, A. T. Borgida:
Explaining Subsumption in Description Logics.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 816-821.
- c-ijcai-95-822
- Mary-Anne Williams, M. Pagnucco, B. Sims, and N. Foo:
Determining Explanations Using Transmutations.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 822-827.
- c-ijcai-95-830
- Alvaro del Val:
An Analysis of Approximate Knowledge Compilation.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 830-836.
- c-ijcai-95-837
- P. Marquis:
Knowledge Compilation Using Theory Prime Implicates.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 837-843.
- c-ijcai-95-846
- N. Asher, L. Vieu:
Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 846-852.
- c-ijcai-95-853
- G. Lakemeyer:
A Logical Account of Relevance.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 853-859.
- c-ijcai-95-862
- G. Gogic, C. Papadimitriou, B. Selman, and H. Kautz:
The Comparative Linguistics of Knowledge Representation.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 862-869.
- c-ijcai-95-870
- T. Eiter, G. Gottlob and N. Leone:
Semantics and Complexity of Abduction from Default Theories.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 870-876.
- c-ijcai-95-878
- R. McCartney, M. Anderson:
Inter-Diagrammatic Reasoning.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 878-884.
- c-ijcai-95-885
- S. Tessler, Y. Iwasaki and K. Law:
Qualitative Structural Analysis Using Diagrammatic Reasoning.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 885-891.
- c-ijcai-95-894
- J. Euzenat:
An Algebraic Approach to Granularity in Qualitative Time and Space Representation.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 894-900.
- c-ijcai-95-901
- M. Grigni, D. Papadias and C. Papadimitriou:
Topological Inference.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 901-906.
- c-ijcai-95-908
- J. Straach, H. Schweitzer:
Utilizing Moment Invariants and Gröbner Bases to Reason About Shapes.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 908-914.
- c-ijcai-95-915
- A. Mukerjee, M. Agarwal and P. Bhatia:
A Qualitative Discretization for Two-Body Contacts.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 915-921.
- c-ijcai-95-924
- H. Lieberman:
Letizia: An Agent That Assists Web Browsing.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 924-929.
- c-ijcai-95-930
- M. Perkowitz, O. Etzioni:
Category Translation: Learning to Understand Information on the Internet.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 930-936.
- c-ijcai-95-939
- H. A. Simon:
Explaining the Ineffable: AI on the Topics of Intuition, Insight and Inspiration.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 939-948.
- c-ijcai-95-961
- J. Maresky, Y. Davidor, D. Gitler, G. Aharoni, and A. Barak:
Profiling Communication in Distributed Genetic Algorithms.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 961-966.
- c-ijcai-95-967
- B. Hayes-Roth:
Agents on Stage: Advancing the State of the Art of AI.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 967-971.
- c-ijcai-95-972
- Pat Hayes, K. Ford:
Turing Test Considered Harmful.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 972-977.
- c-ijcai-95-978
- J. Kay:
Vive la Difference! Individualised Interaction with Users.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 978-984.
- c-ijcai-95-985
- J. O. Kephart, G. B. Sorkin, W. C. Arnold, D. M. Chess, G. J. Tesauro, and S. R. White:
Biologically Inspired Defenses Against Computer Viruses.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 985-996.
- c-ijcai-95-997
- S. Muggleton:
Inductive Logic Programming: Inverse Resolution and Beyond.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 997.
- c-ijcai-95-998
- B. Selman:
Stochastic Search and Phase Transitions: AI Meets Physics.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 998-1002.
- c-ijcai-95-1003
- D. Terzopoulos:
Modeling Living Systems for Computer Vision.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1003-1013.
- c-ijcai-95-1019
- J. R. Quinlan, R. M. Cameron-Jones:
Oversearching and Layered Search in Empirical Learning.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1019-1024.
- c-ijcai-95-1025
- S. Murthy, S. Salzberg:
Lookahead and Pathology in Decision Tree Induction.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1025-1031.
- c-ijcai-95-1034
- I. Kononenko:
On Biases in Estimating Multi-Valued Attributes.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1034-1040.
- c-ijcai-95-1041
- J. Ortega, Michael Fisher:
Flexibly Exploiting Prior Knowledge in Empirical Learning.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1041-1047.
- c-ijcai-95-1050
- J. F. McCarthy, W. G. Lehnert:
Using Decision Trees for Coreference Resolution.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1050-1055.
- c-ijcai-95-1056
- L. B. Holder:
Intermediate Decision Trees.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1056-1062.
- c-ijcai-95-1064
- Z. Zheng:
Constructing Nominal X-of-N Attributes.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1064-1070.
- c-ijcai-95-1071
- R. Kohavi, Renwei Li:
Oblivious Decision Trees, Graphs, and Top-Down Pruning.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1071-1077.
- c-ijcai-95-1080
- R. Simmons, S. Koenig:
Probabilistic Robot Navigation in Partially Observable Environments.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1080-1087.
- c-ijcai-95-1088
- R. Parr, S. Russell:
Approximating Optimal Policies for Partially Observable Stochastic Domains.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1088-1094.
- c-ijcai-95-1096
- Craig Boutilier, M. L. Puterman:
Process-Oriented Planning and Average-Reward Optimality.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1096-1103.
- c-ijcai-95-1104
- Craig Boutilier, Richard Dearden and Moises Goldszmidt:
Exploiting Structure in Policy Construction.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1104-1111.
- c-ijcai-95-1114
- Yan Zhang, T. G. Dietterich:
A Reinforcement Learning Approach to Job-Shop Scheduling.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1114-1120.
- c-ijcai-95-1121
- Tom Dean, Fangzhen Lin:
Decomposition Texchniques for Planning in Stochastic Domains.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1121-1127.
- c-ijcai-95-1130
- H.-J. Kang, J.-H. Kim:
Dependency Relationship Based Decision Combination in Multiple Classifier Systems.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1130-1136.
- c-ijcai-95-1137
- R. Kohavi:
A Study of Cross-Validation and Bootstrap for Accuracy Estimation and Model Selection.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1137-1143.
- c-ijcai-95-1146
- S. Russell, J. Binder, Daphne Koller, and Keiji Kanazawa:
Local Learning in Probabilistic Networks with Hidden Variables.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1146-1152.
- c-ijcai-95-1153
- G. DeJong, S. Bennett:
Extending Classical Planning to Real-World Execution with Machine Learning.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1153-1159.
- c-ijcai-95-1162
- R. Greiner:
The Complexity of Theory Revision.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1162-1168.
- c-ijcai-95-1169
- D. Schuurmans, R. Greiner:
Practical PAC Learning.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1169-1175.
- c-ijcai-95-1178
- D. Roth:
Learning to Reason: The Non-Monotonic Case.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1178-1184.
- c-ijcai-95-1185
- Daphne Koller, A. Pfeffer:
Generating and Solving Imperfect Information Games.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1185-1192.
- c-ijcai-95-1194
- H. Boström:
Covering vs. Divide-and-Conquer for Top-Down Induction of Logic Programs.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1194-1200.
- c-ijcai-95-1201
- H. Ade, M. Denecker:
AILP: Abductive Inductive Logic Programming.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1201-1207.
- c-ijcai-95-1210
- A. M. Frisch, C. D. Page:
Building Theories into Instantiation.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1210-1216.
- c-ijcai-95-1217
- S. Thrun, T. M. Mitchell:
Learning One More Thing.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1217-1223.
- c-ijcai-95-1226
- P. Domingos:
Rule Induction and Instance-Based Learning: A Unified Approach.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1226-1232.
- c-ijcai-95-1233
- K. Deng, A. W. Moore:
Multiresolution Instance-Based Learning.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1233-1239.
- c-ijcai-95-1243
- J. Chu-Carroll, S. Carberry:
Generating Information-Sharing Subdialogues in Expert-User Consultation.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1243-1250.
- c-ijcai-95-1251
- I. Zukerman, R. McConachy:
Generating Discourse Across Several User Models: Maximizing Belief While Avoiding Boredom and Overload.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1251-1257.
- c-ijcai-95-1260
- K. E. Lochbaum:
The Use of Knowledge Preconditions in Language Processing.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1260-1266.
- c-ijcai-95-1267
- R. J. Passonneau:
Integrating Gricean and Attentional Constraints.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1267-1273.
- c-ijcai-95-1276
- V. O. Mittal, S. Roth, J. D. Moore, J. Mattis, and G. Carenini:
Generating Explanatory Captions for Information Graphics.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1276-1283.
- c-ijcai-95-1284
- K. Nagao, J. Rekimoto:
Ubiquitous Talker: Spoken Language Interaction with Real World Objects.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1284-1290.
- c-ijcai-95-1292
- M. Steedman:
Dynamic Semantics for Tense and Aspect.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1292-1298.
- c-ijcai-95-1299
- B. J. Dorr, T. Gaasterland:
Selecting Tense, Aspect, and Connecting Words In Language Generation.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1299-1305.
- c-ijcai-95-1308
- T. Takenobu, I. Makoto and T. Hozumi:
Automatic Thesaurus Construction Based on Grammatical Relations.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1308-1313.
- c-ijcai-95-1314
- S. Soderland, Michael Fisher, J. Aseltine, and W. Lehnert:
CRYSTAL: Inducing a Conceptual Dictionary.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1314-1319.
- c-ijcai-95-1322
- M. Iwayama, T. Tokunaga:
Hierarchical Bayesian Clustering for Automatic Text Classification.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1322-1327.
- c-ijcai-95-1328
- D. Wu:
Stochastic Inversion Transduction Grammars, with Application to Segmentation, Bracketing, and Alignment of Parallel Corpora.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1328-1335.
- c-ijcai-95-1338
- F. Song, R. Cohen:
Improving Heuristic-Based Temporal Analysis of Narratives with Aspect Determination.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1338-1345.
- c-ijcai-95-1346
- M. Vilain:
Semantic Inference in Natural Language: Validating a Tractable Approach.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1346-1351.
- c-ijcai-95-1354
- S. Azzam:
Anaphors, PPs and Disambiguation Process for Conceptual Analysis.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1354-1359.
- c-ijcai-95-1360
- T. Nasukawa, N. Uramoto:
Discourse as a Knowledge Resource for Sentence Disambiguation.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1360-1365.
- c-ijcai-95-1368
- Renwei Li, S. Szpakowicz and S. Matwin:
A WordNet-Based Algorithm for Word Sense Disambiguation.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1368-1374.
- c-ijcai-95-1375
- K. B. Haase:
Analogy in the Large.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1375-1380.
- c-ijcai-95-1382
- V. Hatzivassiloglou, Brian Knight:
Unification-Based Glossing.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1382-1389.
- c-ijcai-95-1390
- Brian Knight, I. Chander, M. Haines, V. Hatzivassiloglou, E. Hovy, M. Iida, S. K. Luk, R. Whitney, and K. Yamada:
Filling Knowledge Gaps in a Broad-Coverage Machine Translation System.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1390-1396.
- c-ijcai-95-1398
- C. Paris, K. Vander Linden, Michael Fisher, A. Hartley, L. Pemberton, R. Power, and D. Scott:
A Support Tool for Writing Multilingual Instructions.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1398-1404.
- c-ijcai-95-1405
- A. Jönsson:
Dialogue Actions for Natural Language Interfaces.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1405-1411.
- c-ijcai-95-1414
- C. Samuelsson:
An Efficient Algorithm for Surface Generation.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1414-1419.
- c-ijcai-95-1420
- Fangzhen Lin:
A Dependency-Based Method for Evaluating Broad-Coverage Parsers.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1420-1425.
- c-ijcai-95-1428
- H.-U. Krieger, U. Schäfer:
Efficient Parameterizable Type Expansion for Typed Feature Formalisms.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1428-1434.
- c-ijcai-95-1435
- O. Imaichi, Y. Matsumoto:
Integration of Syntactic, Semantic and Contextual Information in Processing Grammatically Ill-Formed Inputs.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1435-1440.
- c-ijcai-95-1443
- C. Cayrol:
On the Relation Between Argumentation and Non-Monotonic Coherence-Based Entailment.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1443-1448.
- c-ijcai-95-1449
- S. Benferhat, Didier Dubois and H. Prade:
How to Infer From Inconsistent Beliefs Without Revising?.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1449-1455.
- c-ijcai-95-1458
- R. I. Brafman, Nir Friedman:
On Decision-Theoretic Foundations for Defaults.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1458-1465.
- c-ijcai-95-1466
- M. Morreau:
Allowed Arguments.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1466-1472.
- c-ijcai-95-1474
- J. Rintanen:
On Specificity in Default Logic.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1474-1479.
- c-ijcai-95-1480
- S.-W. Tan, Judea Pearl:
Specificity and Inheritance in Default Reasoning.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1480-1486.
- c-ijcai-95-1488
- J. P. Delgrande:
Syntactic Conditional Closures for Defeasible Reasoning.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1488-1494.
- c-ijcai-95-1495
- H. Geffner, Jimena Llopis and Gisela Mendez:
Sound and Efficient Non-Monotonic Inference.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1495-1500.
- c-ijcai-95-1502
- Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas:
Computing Circumscription Revisited: Preliminary Report.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1502-1508.
- c-ijcai-95-1509
- A. Mikitiuk, M. Truszczynski:
Constrained and Rational Default Logics.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1509-1515.
- c-ijcai-95-1518
- A. Bochman:
On Bimodal Nonmonotonic Logics and Their Unimodal and Nonmodal Equivalents.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1518-1524.
- c-ijcai-95-1525
- L. W. N. van der Torre, Y.-H. Tan:
Cancelling and Overshadowing: Two Types of Defeasibility in Defeasible Deontic Logic.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1525-1532.
- c-ijcai-95-1534
- D. Lehmann:
Belief Revision, Revised.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1534-1540.
- c-ijcai-95-1541
- Mary-Anne Williams:
Iterated Theory Base Change: A Computational Model.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1541-1547.
- c-ijcai-95-1550
- Craig Boutilier:
Generalized Update: Belief Change in Dynamic Settings.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1550-1556.
- c-ijcai-95-1557
- P. Liberatore, Marco Schaerf:
Relating Belief Revision and Circumscription.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1557-1563.
- c-ijcai-95-1567
- G. Collins, Louise Pryor:
Planning Under Uncertainty: Some Key Issues.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1567-1573.
- c-ijcai-95-1576
- S. Zilberstsein:
Optimizing Decision Quality with Contract Algorithms.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1576-1582.
- c-ijcai-95-1583
- J. Bresina, M. Drummond and K. Swanson:
Expected Solution Quality.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1583-1590.
- c-ijcai-95-1592
- K. Erol, J. Hendler, D. S. Nau, and R. Tsuneto:
A Critical Look at Critics in HTN Planning.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1592-1598.
- c-ijcai-95-1599
- C. Bäckström, P. Jonsson:
Planning with Abstraction Hierarchies Can Be Exponentially Less Efficient.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1599-1604.
- c-ijcai-95-1606
- E. Fink, Q. Yang:
Planning with Primary Effects: Experiments and Analysis.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1606-1611.
- c-ijcai-95-1612
- A. L. Lansky, L. C. Getoor:
Scope and Abstraction: Two Criteria for Localized Planning.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1612-1618.
- c-ijcai-95-1620
- R. Srinivasan, A. E. Howe:
Comparison of Methods for Improving Search Efficiency in a Partial-Order Planner.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1620-1626.
- c-ijcai-95-1627
- S. Kambhampati:
Admissible Pruning Strategies Based on Plan Minimality for Plan-Space Planning.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1627-1633.
- c-ijcai-95-1636
- A. L. Blum, M. L. Furst:
Fast Planning Through Planning Graph Analysis.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1636-1642.
- c-ijcai-95-1643
- P. Laborie, Malik Ghallab:
Planning with Sharable Resource Constraints.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1643-1649.
- c-ijcai-95-1652
- A. Stentz:
The Focussed D* Algorithm for Real-Time Replanning.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1652-1659.
- c-ijcai-95-1660
- S. Koenig, R. G. Simmons:
Real-Time Search in Non-Deterministic Domains.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1660-1667.
- c-ijcai-95-1670
- D. S. Nau, S. K. Gupta and W. C. Regli:
AI Planning Versus Manufacturing-Operation Planning: A Case Study.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1670-1676.
- c-ijcai-95-1677
- J. Britanik, M. Marefat:
Hierarchical Plan Merging with Application to Process Planning.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1677-1683.
- c-ijcai-95-1686
- C. A. Knoblock:
Planning, Executing, Sensing, and Replanning for Information Gathering.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1686-1693.
- c-ijcai-95-1694
- B. Y. Choueiry, B. Faltings and R. Weigel:
Abstraction by Interchangeability in Resource Allocation.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1694-1701.
- c-ijcai-95-1704
- N. Lesh, O. Etzioni:
A Sound and Fast Goal Recognizer.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1704-1710.
- c-ijcai-95-1711
- Y. Hayashi:
Recovering Problem-Solving Activities from Query Messages.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1711-1717.
- c-ijcai-95-1721
- W. Nejdl, P. Fröhlich and M. Schroeder:
A Formal Framework for Representing Diagnosis Strategies in Model-Based Diagnosis Systems.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1721-1727.
- c-ijcai-95-1728
- C. Böttcher:
No Faults in Structure? - How to Diagnose Hidden Interactions.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1728-1734.
- c-ijcai-95-1736
- J. de Kleer, O. Raiman:
Trading Off the Costs of Inference Vs. Probing in Diagnosis.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1736-1741.
- c-ijcai-95-1742
- Y. El Fattah, Rina Dechter:
Diagnosing Tree-Decomposable Circuits.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1742-1748.
- c-ijcai-95-1750
- K. Kurumatani:
Generating Causal Networks for Mobile Multi-Agent Systems with Qualitative Regions.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1750-1756.
- c-ijcai-95-1757
- B. Richards, B. Faltings and P. Duxbury-Smith:
Case-Based Modeling with Qualitative Indices.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1757-1763.
- c-ijcai-95-1766
- S. R. Ling:
Using a Domain Theory to Guide Automated Modeling of Complex Physical Phenomena.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1766-1772.
- c-ijcai-95-1773
- Y. Iwasaki, A. Farquhar, V. Saraswat, D. Bobrow, and V. Gupta:
Modeling Time in Hybrid Systems: How Fast Is `` Instantaneous ''?.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1773-1780.
- c-ijcai-95-1782
- K. Yip:
Reasoning About Fluid Motion I: Finding Structures.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1782-1788.
- c-ijcai-95-1789
- U. Junker, B. Braunschweig:
History-Based Interpretation of Finite Element Simulations of Seismic Wave Fields.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1789-1795.
- c-ijcai-95-1798
- K. D. Forbus, B. Falkenhainer:
Scaling up Self-Explanatory Simulators: Polynomial-Time Compilation.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1798-1805.
- c-ijcai-95-1806
- M. Vescovi, A. Farquhar and Y. Iwasaki:
Numerical Interval Simulation: Combined Qualitative and Quantitative Simulation to Bound Behaviors of Non-Monotonic Systems.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1806-1812.
- c-ijcai-95-1814
- J. M. Crawford, D. L. Dvorak, D. J. Litman, A. K. Mishra, and P. F. Patel-Schneider:
Device Representation and Reasoning with Affective Relations.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1814-1820.
- c-ijcai-95-1821
- R. J. Doyle:
Determining the Loci of Anomalies Using Minimal Causal Models.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1821-1827.
- c-ijcai-95-1830
- M. Sasajima, Y. Kitamura, M. Ikeda, and R. Mizoguchi:
FBRL: A Function and Behavior Representation Language.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1830-1836.
- c-ijcai-95-1837
- J. O. Everett:
A Theory of Mapping from Structure to Function Applied to Engineering Thermodynamics.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1837-1843.
- c-ijcai-95-1847
- M. Jaeger:
Minimum Cross-Entropy Reasoning: A Statistical Justification.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1847-1852.
- c-ijcai-95-1853
- J. Y. Halpern, Daphne Koller:
Representation Dependence in Probabilistic Inference.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1853-1860.
- c-ijcai-95-1862
- P. Hansen, B. Jaumard, G.-B. D. Nguetse, and M. P. de Aragao:
Models and Algorithms for Probabilistic and Bayesian Logic.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1862-1868.
- c-ijcai-95-1869
- M. Ramoni:
Ignorant Influence Diagrams.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1869-1875.
- c-ijcai-95-1878
- J. Forbes, Zhisheng Huang, Keiji Kanazawa, and S. Russell:
The BATmobile: Towards a Bayesian Automated Taxi.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1878-1885.
- c-ijcai-95-1886
- A. Jameson, R. Schäfer, J. Simons, and T. Weis:
Adaptive Provision of Evaluation-Oriented Information: Tasks and Techniques.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1886-1893.
- c-ijcai-95-1896
- P. Smets:
The Canonical Decomposition of a Weighted Belief.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1896-1901.
- c-ijcai-95-1902
- R. R. Yager:
On the Representation of Nonmonotonic Relations in the Theory of Evidence.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1902-1907.
- c-ijcai-95-1910
- C. Xiaochun, J. Yunfei and L. Xuhua:
The Rationality and Decidability of Fuzzy Implications.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1910-1915.
- c-ijcai-95-1916
- L. Godo, Lluís Vila:
Possibilistic Temporal Reasoning Based on Fuzzy Temporal Constraints.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1916-1922.
- c-ijcai-95-1924
- Didier Dubois, H. Prade:
Possibility Theory as a Basis for Qualitative Decision Theory.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1924-1930.
- c-ijcai-95-1933
- Fahiem Bacchus, J. Y. Halpern and H. J. Levesque:
Reasoning About Noisy Sensors in the Situation Calculus.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1933-1940.
- c-ijcai-95-1941
- P. Traverso, L. Spalazzi:
A Logic for Acting, Sensing and Planning.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1941-1947.
- c-ijcai-95-1950
- Witold Lukaszewicz, NIL NIL:
Reasoning About Action and Change Using Dijkstra's Semantics for Programming Languages: Preliminary Report.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1950-1955.
- c-ijcai-95-1956
- Michael Thielscher:
The Logic of Dynamic Systems.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1956-1962.
- c-ijcai-95-1964
- E. Giunchiglia, Vladimir Lifschitz:
Dependent Fluents.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1964-1969.
- c-ijcai-95-1970
- G. N. Kartha, Vladimir Lifschitz:
A Simple Formalization of Actions Using Circumscription.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1970-1975.
- c-ijcai-95-1978
- Norman McCain, Hudson Turner:
A Causal Theory of Ramifications and Qualifications.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1978-1984.
- c-ijcai-95-1985
- Fangzhen Lin:
Embracing Causality in Specifying the Indirect Effects of Actions.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1985-1991.
- c-ijcai-95-1994
- Michael Thielscher:
Computing Ramifications by Postprocessing.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 1994-2000.
- c-ijcai-95-2001
- Fangzhen Lin, Ray Reiter:
How to Progress a Database II: The STRIPS Connection.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 2001-2007.
- c-ijcai-95-2010
- R. I. Brafman, M. Tennenholtz:
Towards Action Prediction Using a Mental-Level Model.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 2010-2016.
- c-ijcai-95-2017
- Chitta Baral:
Reasoning About Actions: Non-Deterministic Effects, Constraints, and Qualification.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 2017-2023.
- c-ijcai-95-2027
- E. C. Freuder, Rina Dechter, M. L. Ginsberg, B. Selman, and E. Tsang:
Systematic Versus Stochastic Constraint Satisfaction.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 2027-2032.
- c-ijcai-95-2033
- J. Hendler, J. Carbonell, D. Lenat, R. Mizoguchi, and P.S. Rosenbloom:
VERY Large Knowledge Bases - Architecture vs Engineering.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 2033-2036.
- c-ijcai-95-2037
- A. Sloman:
A Philosophical Encounter.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 2037-2040.
- c-ijcai-95-2041
- J. McCarthy:
What Has AI in Common with Philosophy?.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 2041-2042.
- c-ijcai-95-2045
- D. L. McGuinness, L. A. Resnick and C. Isbell:
Description Logic in Practice: A CLASSIC Application.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 2045-2046.
- c-ijcai-95-2047
- M. A. Hearst, J. O. Pederson:
Revealing Collection Structure Through Information Access Interfaces.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 2047-2048.
- c-ijcai-95-2049
- J. Han, Y. Fu and S. Tang:
Advances of the DBLearn System for Knowledge Discovery in Large Databases.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 2049-2050.
- c-ijcai-95-2051
- P. N. Prokopowicz, P. R. Cooper:
IRV: Learning to Integrate Visual Information Across Camera Movements.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 2051-2052.
- c-ijcai-95-2053
- E. André, W. Finkler, W. Graf, K. Harbusch, J. Heinsohn, A. Kilger, Bernhard Nebel, H.-J. Profitlich, T. Rist, W. Wahlster, A. Butz, and A. Jameson:
WIP: From Multimedia to Intellimedia.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 2053-2054.
- c-ijcai-95-2055
- B. Faltings, K. Sun:
Computer-Aided Creative Mechanism Design.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 2055-2056.
- c-ijcai-95-2057
- E. Furse:
Learning University Mathematics.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 2057-2058.
- c-ijcai-95-2059
- I. A. Ferguson, J. D. Davlouros:
PeopleFinder: A Multimodal Multimedia Communications Tool for Interconnecting Office Staff.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 2059-2060.
- c-ijcai-95-2061
- Y. Cao, B. Jung and I. Wachsmuth:
Situated Verbal Interaction in Virtual Design and Assembly.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 2061-2062.
- c-ijcai-95-2063
- A. Katkere, D. Kuramura, S. Moezzi, P. Kelly, D. Swanberg, K. Wakimoto, E. Hunter, L.-C. Tai, S. Chatterjee, and R. Jain:
Multiple Perspective Interactive Video.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 2063-2064.
- c-ijcai-95-2065
- S. Bennett, G. DeJong:
GRASPER: A Permissive Planning Robot.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 2065-2066.
- c-ijcai-95-2067
- U. M. Fayyad:
SKICAT: Sky Image Cataloging and Analysis Tool.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 2067-2068.
- c-ijcai-95-2069
- C. Maples, C. Peterson:
MUSE(Multidimensional, User-Oriented Synthetic Environment), A New Approach to the Human-Computer Interface Using Precognitive Models of Perception.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 2069-2070.
- c-ijcai-95-2071
- K. J. Hammond, R. Burke and S. L. Lytinen:
A Case-Based Approach to Knowledge Navigation.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 2071-2072.
- c-ijcai-95-2073
- P. Maes, B. Blumberg, T. Darrell, A. Pentland, and A. Wexelblat:
Modeling Interactive Agents in ALIVE.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 2073-2074.
- c-ijcai-95-950957
- S. Russell:
Rationality and Intelligence.
Proceedings of the
NIL'th International Joint Conference on Artificial Intelligence,
1995 (NIL-95),
pages 950957.
23-May-97 23:15