Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th IJCAI 1995: Montréal, Québec, Canada
- Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI 95, Montréal Québec, Canada, August 20-25 1995, 2 Volumes. Morgan Kaufmann 1995
VOLUME 1
Action and Perception
Vision: Early Vision
- Sourabh A. Niyogi:
Fitting Models to Distributed Representations of Vision. 3-9 - Rajesh P. N. Rao, Dana H. Ballard:
Natural Basis Functions and Topographic Memory for Face Recognition. 10-19
Vison: Active Vision
- Cornelia Fermüller, Yiannis Aloimonos:
Representations for Active Vision. 20-26 - Tomas Uhlin, Jan-Olof Eklundh:
Animate Vision in a Rich Environment. 27-35
Vision: Qualitative Methods
- Steven Reece, Hugh F. Durrant-Whyte:
A Qualitative Approach to Sensor Data Fusion for Mobile Robot Navigation. 36-41 - Qi Zhao, Toyoaki Nishida:
Qualitative Interpretation of Spectral Images: Reasoning with Uncertain Evidence. 42-49
Vision: Systems and Architectures 1
- Rajiv Chopra, Rohini K. Srihari:
Control Structures for Incorporating Picture-Specific Context in Image Interpretation. 50-55 - Ian Horswill:
Visual Routines and Visual Search: A Real-Time Implementation and an Automata-Theoretic Analysis. 56-63
Vision: Systems and Architectures 2
- Robert W. Wisniewski, Christopher M. Brown:
Adaptable Planner Primitives for Real-World Robotic Applications. 64-71 - R. James Firby, Roger E. Kahn, Peter N. Prokopowicz, Michael J. Swain:
An Architecture for Vision and Action. 72-81
Vision: Vision and Other Perception
- Osamu Hasegawa, Katsunobu Itou, Takio Kurita, Satoru Hayamizu, Kazuyo Tanaka, Kazuhiko Yamamoto, Nobuyuki Otsu:
Active Agent Oriented Multimodal Interface System. 82-87 - Eric Krotkov:
Robotic Perception of Material. 88-95
Robotics: Multi-Agent Systems
- Ronen I. Brafman, Yoav Shoham:
Knowledge Considerations in Robotics and Distribution of Robotic Tasks. 96-102 - Milind Tambe, Paul S. Rosenbloom:
RESC: An Approach for Real-time, Dynamic Agent Tracking. 103-111
Robotics: Navigation
- Jun Tani:
Self-Organization of Symbolic Processes through Interaction with the Physical World. 112-118 - Bing Liu:
Using Knowledge to Isolate Search in Route Finding. 119-125
Robotics: Learning
- Takayuki Nakamura, Minoru Asada:
Motion Sketch: Acquisition of Visual Motion Guided Behaviors. 126-132 - Shumeet Baluja, Dean Pomerleau:
Using the Representation in a Neural Network's Hidden Layer for Task-Specific Focus of Attention. 133-141
Robotics: Formal Methods
- Vikram Manikonda, James A. Hendler, P. S. Krishnaprasad:
Formalizing Behavior-based Planning for Nonholonomic Robots. 142-149 - David Poole:
Logic Programming for Robot Control. 150-157
Auditory Scene Analysis
- Kunio Kashino, Kazuhiro Nakadai, Tomoyoshi Kinoshita, Hidehiko Tanaka:
Organization of Hierarchical Perceptual Sounds: Music Scene Analysis with Autonomous Processing Modules and a Quantitative Information Integration Mechanism. 158-164 - Tomohiro Nakatani, Hiroshi G. Okuno, Takeshi Kawabata:
Residue-Driven Architecture for Computational Auditory Scene Analysis. 165-174
Automated Reasoning
Proof Planning
- Alan Bundy, Vincent Lombart:
Relational Rippling: A General Approach. 175-181 - Erica Melis:
A Model of Analogy-Driven Proof-Plan Construction. 182-189
Analogy and Abstraction
- Thomas Kolbe, Christoph Walther:
Second-Order Matching modulo Evaluation: A Technique for Reusing Proofs. 190-195 - P. Pandurang Nayak, Alon Y. Levy:
A Semantic Theory of Abstractions. 196-203
Abduction
- Katsumi Inoue, Chiaki Sakama:
Abductive Framework for Nonmonotonic Theory Change. 204-210 - Adnan Darwiche:
Model-Based Diagnosis using Causal Networks. 211-219
Search 1
- Babak Hamidzadeh, Shashi Shekhar:
Deadline Compliance, Predictability, and On-line Optimization in Real-Time Problem Solving. 220-226 - Joseph C. Pemberton:
k-Best: A New Method for Real-Time Decision Making. 227-235
Search 2
- Hermann Kaindl, Gerhard Kainz, Angelika Leeb, Harald Smetana:
How to Use Limited Memory in Heuristic Search. 236-242 - Subir Bhattacharya:
Experimenting with Revisits in Game Tree Search. 243-251
Search 3
- Pang C. Chen:
On Bootstrapping Local Search with Trail-Markers. 252-258 - Takahiro Sasaki, Fumihiko Chimura, Mario Tokoro:
The Trailblazer Search with a Hierarchical Abstract Map. 259-265
Search 4
- Richard E. Korf:
From Approximate to Optimal Solutions: A Case Study of Number Partitioning. 266-272 - Aske Plaat, Jonathan Schaeffer, Wim Pijls, Arie de Bruin:
Best-First Fixed-Depth Game-Tree Search in Practice. 273-281
Satisfiability 1
- Nobuhiro Yugami:
Theoretical Analysis of Davis-Putnam Procedure and Propositional Satisfiability. 282-288 - Thierry Boy de la Tour, Stéphane Demri:
On the Complexity of Extending Ground Resolution with Symmetry Rules. 289-297
Satisfiability 2
- Jian Zhang, Hantao Zhang:
SEM: a System for Enumerating Models. 298-303 - Byungki Cha, Kazuo Iwama:
Performance Test of Local Search Algorithms Using New Types of Random CNF Formulas. 304-311
Defaults
- Ilkka Niemelä:
Towards Efficient Default Reasoning. 312-318 - Roni Khardon, Dan Roth:
Default-Reasoning with Models. 319-327
Theorem Proving 1
- Ricardo Caferra, Nicolas Peltier:
Extending Semantic Resolution via Automated Model Building: Applications. 328-334 - Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg:
Model Elimination, Logic Programming and Computing Answers. 335-341
Theorem Proving 2
- Anatoli Degtyarev, Andrei Voronkov:
Equality Elimination for the Inverse Method and Extension Procedures. 342-347 - Leo Bachmair, Ta Chen, I. V. Ramakrishnan, Siva Anantharaman, Jacques Chabin:
Experiments with Associative-Commutative Discrimination Nets. 348-355
Reasoning about Programs
- Elena Marchiori:
A Methodology for Proving Termination of General Logic Programs. 356-361 - Rakesh M. Verma:
Unique Normal Forms and Confluence of Rewrite Systems: Persistence. 362-370
Case Based Reasoning
Case Based Reasoning 1
- Kazuo Miyashita, Katia P. Sycara:
Improving System Performance in Case-Based Iterative Optimization through Knowledge Filtering. 371-376 - Barry Smyth, Mark T. Keane:
Remembering To Forget: A Competence-Preserving Case Deletion Policy for Case-Based Reasoning Systems. 377-383
Case Based Reasoning 2
- Karl Branting, David W. Aha:
Stratified Case-Based Reasoning: Reusing Hierarchical Problem Solving Episodes. 384-390 - Susan Fox, David B. Leake:
Using Introspective Reasoning to Refine Indexing. 391-399
Case Based Reasoning 3
- Edwina L. Rissland, Jody J. Daniels:
Using CBR to Drive IR. 400-407 - Kathryn E. Sanders:
Within the Letter of the Law: Open-Textured Planning. 408-416
Cognitive Modelling
Cognitive Modelling 1
- Anselm Blocher, Jörg R. J. Schirra:
Optional Deep Case Filling and Focus Control with Mental Images: ANTLIMA-KOREF. 417-423 - Ron Sun:
A Microfeature Based Approach Towards Metaphor Interpretation. 424-431
Cognitive Modelling 2
- Gunther Sablon, Luc De Raedt:
Forgetting and Compacting data in Concept Learning. 432-438 - Bruce Krulwich, Lawrence Birnbaum, Gregg Collins:
Determining What to Learn Through Component-Task Modeling. 439-447
Cognitive Modelling 3
- Philip Resnik:
Using Information Content to Evaluate Semantic Similarity in a Taxonomy. 448-453 - Susan L. Epstein:
On Heuristic Reasoning, Reactivity, and Search. 454-463
Cognitive Modelling 4
- Daniel D. Fu, Kristian J. Hammond, Michael J. Swain:
Action and Perception in Man-Made Environments. 464-472
Connectionist Models
Connectionist Models 1
- Andreas Turk, Günther Görz:
Kanerva's Sparse Distributed Memory: An Object-Oriented Implementation on the Connection Machine. 473-479 - Rudy Setiono, Huan Liu:
Understanding Neural Networks via Rule Extraction. 480-487
Connectionist Models 2
- Zhe Ma, Robert F. Harrison, R. Lee Kennedy:
GR2: A Hybrid Knowledge-based System Using General Rules. 488-493 - Christoph S. Herrmann:
A Hybrid Fuzzy-Neural Expert System for Diagnosis. 494-501
Connectionist Models 3
- Fukumi Kozato:
A Hybrid Rule-based System: How Variables are Involved in Connectionist Rule-based Systems. 502-508 - Alessandro Sperduti, Antonina Starita, Christoph Goller:
Learning Distributed Representations for the Classification of Terms. 509-517
Connectionist Models 4
- Nathalie Japkowicz, Catherine Myers, Mark A. Gluck:
A Novelty Detection Approach to Classification. 518-523 - Richard Maclin, Jude W. Shavlik:
Combining the Predictions of Multiple Classifiers: Using Competitive Learning to Initialize Neural Networks. 524-531
Connectionist Models 5
- Hiroaki Kitano:
A Model for Hormonal Modulation of Learning. 532-540
Constraint Satisfaction
Constraint Satisfaction 1
- Grzegorz Kondrak, Peter van Beek:
A Theoretical Evaluation of Selected Backtracking Algorithms. 541-547 - Eugene C. Freuder, Paul D. Hubbe:
Extracting Constraint Satisfaction Subproblems. 548-557
Constraint Satisfaction 2
- Roberto J. Bayardo Jr., Daniel P. Miranker:
On the Space-Time Trade-off in Solving Constraint Satisfaction Problems. 558-562 - Eugene C. Freuder, Richard J. Wallace:
Generalizing Inconsistency Learning for Constraint Satisfaction. 563-571
Constraint Satisfaction 3
- Daniel Frost, Rina Dechter:
Look-Ahead Value Ordering for Constraint Satisfaction Problems. 572-578 - Pedro Meseguer, Javier Larrosa:
Constraint Satisfaction as Global Optimization. 579-585
Constraint Satisfaction 4
- Bing Liu:
Increasing Functional Constraints Need to Be Checked Only Once. 586-591 - Christian Bessière, Eugene C. Freuder, Jean-Charles Régin:
Using Inference to Reduce Arc Consistency Computation. 592-599
Constraint Satisfaction 5
- Philippe Baptiste, Claude Le Pape:
A Theoretical and Experimental Comparison of Constraint Propagation Techniques for Disjunctive Scheduling. 600-606 - William D. Harvey, Matthew L. Ginsberg:
Limited Discrepancy Search. 607-615
Constraint Satisfaction 6
- Kalev Kask, Rina Dechter:
GSAT and Local Consistency. 616-623
Constraint Satisfaction 7
- Stefano Bistarelli, Ugo Montanari, Francesca Rossi:
Constraint Solving over Semirings. 624-630 - Thomas Schiex, Hélène Fargier, Gérard Verfaillie:
Valued Constraint Satisfaction Problems: Hard and Easy Problems. 631-639
Constraint Satisfaction 8
- Michael Jampel, Sebastian Hunt:
Composition in Hierarchical CLP. 640-645 - Barbara M. Smith, Stuart A. Grant:
Sparse Constraint Graphs and Exceptionally Hard Problems. 646-654
Distributed AI
Coalitions
- Onn Shehory, Sarit Kraus:
Task Allocation Via Coalition Formation Among Autonomous Agents. 655-661 - Tuomas Sandholm, Victor R. Lesser:
Coalition Formation among Bounded Rational Agents. 662-671
Multiple Agents 1
- Daniel Kuokka, Larry Harada:
Matchmaking for Information Agents. 672-678 - Eithan Ephrati, Martha E. Pollack, Sigalit Ur:
Deriving Multi-Agent Coordination through Filtering Strategies. 679-687
Multiple Agents 2
- Will Briggs, Diane J. Cook:
Flexible Social Laws. 688-693 - Tuomas Sandholm, Victor R. Lesser:
Equilibrium Analysis of the Possibilities of Unenforced Exchange in Multiagent Systems. 694-703
Distributed Planning
- Michael P. Georgeff, Anand S. Rao:
The Semantics of Intention Maintenance for Rational Agents. 704-710 - Tad Hogg:
Social Dilemmas in Computational Ecosystems. 711-718
Genetic Algorithms
Genetic Algorithms 1
- Jerzy W. Bala, Jeffrey Huang, Haleh Vafaie, Kenneth A. De Jong, Harry Wechsler:
Hybrid Learning Using Genetic Algorithms and Decision Trees for Pattern Classification. 719-724 - Sandip Sen, Leslie Knight:
A Genetic Prototype Learner. 725-733
Genetic Algorithms 2
- John R. Koza:
Gene Duplication to Enable Genetic Programming to Concurrently Evolve Both the Architecture and Work-Performing Steps of a Computer Program. 734-740 - David Andre:
The Automatic Programming of Agents that Learn Mental Models and Create Simple Plans of Action. 741-750
Knowledge Base Technology
Knowledge Base Technology 1
- Peter D. Karp, Suzanne M. Paley:
Knowledge Representation in the Large. 751-758 - Vinay K. Chaudhri, John Mylopoulos:
Efficient Algorithms and Performance Results for Multi-User Knowledge Bases. 759-767
Knowledge Base Technology 2
- Peter D. Karp, Karen L. Myers, Thomas R. Gruber:
The Generic Frame Protocol. 768-774 - Abdel-Illah Mouaddib, Shlomo Zilberstein:
Knowledge-Based Anytime Computation. 775-783
Planning, Monitoring, and Control
- Johann Gamper, Wolfgang Nejdl
:
Proposing Measurements in Dynamic Systems. 784-790 - Michel Barbeau, Froduald Kabanza, Richard St-Denis:
Synthesizing Plant Controllers Using Real-time Goals. 791-800
Knowledge Representation
Description Logics
- Giuseppe De Giacomo, Maurizio Lenzerini:
What's in an Aggregate: Foundations for Description Logics with Tuples and Sets. 801-807 - Franz Baader, Armin Laux:
Terminological Logics with Modal Operators. 808-815
Explanation
- Deborah L. McGuinness, Alexander Borgida:
Explaining Subsumption in Description Logics. 816-821 - Mary-Anne Williams, Maurice Pagnucco, Norman Y. Foo, Brailey Sims:
Determining Explanations using Transmutations. 822-829
Knowledge Compilation
- Alvaro del Val:
An Analysis of Approximate Knowledge Compilation. 830-836 - Pierre Marquis:
Knowledge Compilation Using Theory Prime Implicates. 837-845
Commonsense Knowledge
- Nicholas Asher, Laure Vieu:
Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology. 846-852 - Gerhard Lakemeyer:
A Logical Account of Relevance. 853-861
Complexity
- Goran Gogic, Henry A. Kautz, Christos H. Papadimitriou, Bart Selman:
The Comparative Linguistics of Knowledge Representation. 862-869 - Thomas Eiter, Georg Gottlob, Nicola Leone:
Semantics and Complexity of Abduction from Default Theories. 870-877
Diagrams
- Michael Anderson, Robert McCartney:
Inter-diagrammatic Reasoning. 878-884 - Shirley Tessler, Yumi Iwasaki, Kincho H. Law:
Qualitative Structural Analysis Using Diagrammatic Reasoning. 885-893
Spatial Reasoning
- Jérôme Euzenat:
An Algebraic Approach to Granularity in Qualitative Time and Space Representation. 894-900 - Michelangelo Grigni, Dimitris Papadias, Christos H. Papadimitriou:
Topological Inference. 901-907
Shape and Space
- Haim Schweitzer, Janell Straach:
Utilizing Moment Invariants and Gröbner Bases to Reason About Shapes. 908-914 - Amitabha Mukerjee, Manish Agarwal, Praveen Bhatia:
A Qualitative Discretization for Two-Body Contacts. 915-923
Information Gathering
- Henry Lieberman:
Letizia: An Agent That Assists Web Browsing. 924-929 - Mike Perkowitz, Oren Etzioni:
Category Translation: Learning to Understand Information on the Internet. 930-938
Awards
Research Excellence Award
- Herbert A. Simon:
Explaining the Ineffable: AI on the Topics of Intuition, Insight and Inspiration. 939-949
Computers and Thought Award
- Stuart Russell:
Rationality and Intelligence. 950-960
Invited Speakers
- Jonathan Maresky, Yuval Davidor, Daniel Gitler, Gad Aharoni, Amnon Barak:
Profiling Communication in Distributed Genetic Algorithms. 961-966 - Barbara Hayes-Roth:
Agents on Stage: Advancing the State of the Art of AI. 967-971 - Patrick J. Hayes, Kenneth M. Ford:
Turing Test Considered Harmful. 972-977 - Judy Kay:
Vive la difference! Individualised Interaction with Users. 978-984 - Jeffrey O. Kephart, Gregory B. Sorkin, William C. Arnold, David M. Chess, Gerald Tesauro, Steve R. White:
Biologically Inspired Defenses Against Computer Viruses. 985-996 - Stephen H. Muggleton:
Inductive Logic Programming: Inverse Resolution and Beyond. 997 - Bart Selman:
Stochastic Search and Phase Transitions: AI Meets Physics. 998-1002 - Demetri Terzopoulos:
Modeling Living Systems for Computer Vision. 1003-1013
VOLUME 2
Learning
Learning 1
- J. Ross Quinlan, R. Mike Cameron-Jones:
Oversearching and Layered Search in Empirical Learning. 1019-1024 - Sreerama K. Murthy, Steven Salzberg:
Lookahead and Pathology in Decision Tree Induction. 1025-1033
Learning 2
- Igor Kononenko:
On Biases in Estimating Multi-Valued Attributes. 1034-1040 - Julio Ortega, Douglas Fisher:
Flexibly Exploiting Prior Knowledge in Empirical Learning. 1041-1049
Learning 3
- Joseph F. McCarthy, Wendy G. Lehnert:
Using Decision Trees for Coreference Resolution. 1050-1055 - Lawrence B. Holder:
Intermediate Decision Trees. 1056-1063