default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15th IJCAI 1997: Nagoya, Japan
- Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes. Morgan Kaufmann 1997
VOLUME 1
AI Challenges
Challenge 1
- Ashwin Srinivasan, Ross D. King, Stephen H. Muggleton, Michael J. E. Sternberg:
The Predictive Toxicology Evaluation Challenge. 4-9 - Nir Friedman, Moisés Goldszmidt, David Heckerman, Stuart Russell:
Challenge: What is the Impact of Bayesian Networks on Learning? 10-15 - Mike Perkowitz, Oren Etzioni:
Adaptive Web Sites: an AI Challenge. 16-23
Challenge 2
- Hiroaki Kitano, Milind Tambe, Peter Stone, Manuela M. Veloso, Silvia Coradeschi, Eiichi Osawa, Hitoshi Matsubara, Itsuki Noda, Minoru Asada:
The RoboCup Synthetic Agent Challenge 97. 24-30 - Hiroshi G. Okuno, Tomohiro Nakatani, Takeshi Kawabata:
Understanding Three Simultaneous Speeches. 30-35 - Hiroshi Ishiguro:
Distributed Vision System: A Perceptual Information Infrastructure for Robot Navigation. 36-43
Challenge 3
- Subbarao Kambhampati:
Challenges in Bridging Plan Synthesis Paradigms. 44-49 - Bart Selman, Henry A. Kautz, David A. McAllester:
Ten Challenges in Propositional Reasoning and Search. 50-54 - James Geller:
Challenge: How IJCAI 1999 can Prove Value of AI by Using AI. 55-61
Automated Reasoning
Automated Reasoning 1: Belief Revision
- Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade:
Qualitative Relevance and Independence: A Roadmap. 62-67 - Paolo Liberatore:
The Complexity of Belief Update. 68-73 - Mary-Anne Williams:
Anytime Belief Revision. 74-81
Automated Reasoning 2: Belief Revision
- Yan Zhang, Norman Y. Foo:
Towards Generalized Rule-based Updates. 82-88 - Dongmo Zhang, Shifu Chen, Wujia Zhu, Zhaoqian Chen:
Representation Theorems for Multiple Belief Changes. 89-94 - Dongmo Zhang, Shifu Chen, Wujia Zhu, Hongbing Li:
Nonmonotonic Reasoning and Multiple Belief Revision. 95-101
Automated Reasoning 3: Theorem Proving
- Jörg Denzinger, Marc Fuchs, Matthias Fuchs:
High Performance ATP Systems by Combining Several AI Methods. 102-107 - David A. Plaisted, Yunshan Zhu:
Equational Reasoning using AC Constraints. 108-113 - Andrei Voronkov:
Strategies in Rigid-Variable Methods. 114-121
Automated Reasoning 4: Propositional KBS
- Yacine Boufkhad, Éric Grégoire, Pierre Marquis, Bertrand Mazure, Lakhdar Sais:
Tractable Cover Compilations. 122-127 - Umberto Straccia:
A Four-Valued Fuzzy Propositional Logic. 128-135
Automated Reasoning 5: Description Logic
- Francesco M. Donini, Daniele Nardi, Riccardo Rosati:
Autoepistemic Description Logics. 136-141 - Liviu Badea:
Reifying Concepts in Description Logics. 142-149
Automated Reasoning 6: Nonmonotonism
- Philippe Besnard, Torsten Schaub:
Circumscribing Inconsistency. 150-155 - Xianchang Wang, Jia-Huai You, Li-Yan Yuan:
A Default Interpretation of Defeasible Network. 156-161 - Ulrich Junker:
A Cumulative-Model Semantics for Dynamic Preferences on Assumptions. 162-167 - James P. Delgrande, Torsten Schaub:
Compiling Reasoning with and about Preferences into Default Logic. 168-175
Automated Reasoning 7: Nonmonotonism for Logic Programming
- Katsumi Inoue, Yoshimitsu Kudoh:
Learning Extended Logic Programs. 176-181 - Toshiko Wakaki, Ken Satoh:
Compiling Prioritized Circumscription into Extended Logic Programs. 182-189
Automated Reasoning 8: Modal Logic
- Philippe Balbiani, Stéphane Demri:
Prefixed Tableaux Systems for Modal Logics with Enriched Languages. 190-195 - Angelo Montanari, Alberto Policriti:
A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics. 196-201 - Ullrich Hustadt, Renate A. Schmidt:
On Evaluating Decision Procedures for Modal Logic. 202-209
Automated Reasoning 9
- Jun Arima:
Preduction: A Common Form of Induction and Analogy. 210-215 - Gilles Défourneaux, Nicolas Peltier:
Analogy and Abduction in Automated Deduction. 216-225
Case-Based Reasoning
Case-Based Reasoning 1
- Werner Dubitzky, Alfons Schuster, John G. Hughes, David A. Bell, Kenneth Adamson:
How Similar is VERY YOUNG to 43 Years of Age? On the Representation and Comparison of Polymorphic Properties. 226-231 - Tony Veale, Mark T. Keane:
The Competence of Sub-Optimal Theories of STructure Mapping on Hard Analogies. 232-237 - Seishi Okamoto, Nobuhiro Yugami:
An Average-Case Analysis of the k-Nearest Neighbar Classifier for Noisy Domains. 238-245
Case-Based Reasoning 2
- David B. Leake, Andrew Kinley, David C. Wilson:
Learning to Integrate Multiple Knowledge Sources for Case-Based Reasoning. 246-251 - Alfons Schuster, Werner Dubitzky, Philippe Lopes, Kenneth Adamson, David A. Bell, John G. Hughes, John A. White:
Aggregating Features and Matching Cases on Vague Linguistic Expressions. 252-257 - Tu Bao Ho, Chi Mai Luong:
Using Case-Based Reasoning in Interpreting Unsupervised Inductive Learning Results. 258-267
Cognitive Modeling
Cognitive Modeling 1
- Masayuki Numao, Masashi Kobayashi, Katsuyuki Sakaniwa:
Acquisition of Human Feelings in Music Arrangements. 268-273 - Rayond Sison, Masayuki Numao, Masamichi Shimura:
Using Data and Theory in Multistretegy (Mis)Concept(ion) Discovery. 274-279 - Olivier Ferret, Brigitte Grau:
An Aggregation Procedure for Building Episodic Memory. 280-287
Cognitive Modeling 2
- Caroline C. Hayes, Michael I. Parzen:
An Achievement Test for Knowledge-Based Systems: QUEM. 288-293 - Sambasiva R. Bhatta, Ashok K. Goel:
A Functional Theory of Design Patterns. 294-300 - Kazuo Hiraki, Akio Sashima, Steven Phillips:
Mental Tracking: A Computational Model of Spatial Development. 301-309
Cognitive Modeling 3
- Guilherme Bittencourt:
In the Quest of the Missing Link. 310-315 - Michael Fisher:
Implementing BDI-like Systems by Direct Execution. 316-321 - Michael Freed, Roger W. Remington:
Managing Decision Resources in Plan Execution. 322-328
Computer-Aided Eduction
- Ruddy Lelouche, Jean-François Morin:
Use of Abstraction and Complexity Levels in Intelligent Educational System Design. 329-334 - Kevin D. Ashley, Vincent Aleven:
Reasoning Symbolically About Partially Matched Cases. 335-341 - Mitsuru Ikeda, Kazuhisa Seta, Riichiro Mizoguchi:
Task Ontology Makes It Easier To Use Authoring Tools. 342-351
Constraint Satisfaction
Constraint Satisfaction 1: Constraint Programming
- Stefano Bistarelli, Ugo Montanari, Francesca Rossi:
Semiring-based Constraint Logic Programming. 352-357 - Gilles Trombettoni, Bertrand Neveu:
Computational Complexity of Multi-way, Dataflow Constraint Problems. 358-365
Constraint Satisfaction 2: SAT
- Chu Min Li, Anbulagan:
Heuristics Based on Unit Propagation for Satisfiability Problems. 366-371 - Thierry Castell, Michel Cayrol:
Hidden Gold in Random Generation of SAT Satisfiable Instances. 372-377 - Benjamin W. Wah, Yi Shang:
Discrete Lagrangian-Based Search for Solving MAX-SAT Problems. IJCAI (1) 1997: 378-383 - Jeremy Frank:
Learning Short-Term Weights for GSAT. IJCAI (1) 1997: 384-391
Constraint Satisfaction 3: Local Consistency
- Boi Faltings, Esther M. Gelle:
Local Consistency for Ternary Numeric Constraints. IJCAI (1) 1997: 392-397 - Christian Bessière, Jean-Charles Régin:
Arc Consistency for General Constraint Networks: Preliminary Results. IJCAI (1) 1997: 398-404 - Yves Deville, Olivier Barette, Pascal Van Hentenryck:
Constraint Satisfaction over Connected Row Convex Constraints. IJCAI (1) 1997: 405-411
Constraint Satisfaction 4
- Romuald Debruyne, Christian Bessière:
Some Practicable Filtering Techniques for the Constraint Satisfaction Problem. IJCAI (1) 1997: 412-417 - Rainer Weigel, Boi Faltings:
Structuring Techniques for Constraint Satisfaction Problems. IJCAI (1) 1997: 418-423 - Javier Larrosa:
Merging Constraint Satisfaction Subproblems to Avoid Redundant Search. IJCAI (1) 1997: 424-433
Diagnosis and Qualiative Reasoning
Diagnosis 1
- Christopher Leckie, Michael Dale:
Locating Faults in Tree-Structured Networks. IJCAI (1) 1997: 434-439 - Markus Stumptner, Franz Wotawa:
Diagnosing Tree Structured Systems. IJCAI (1) 1997: 440-445 - Gianfranco Lamperti, Paolo Pogliano:
Event-Based Reasoning for Short Circuit Diagnosis in Power Transmission Networks. IJCAI (1) 1997: 446-453
Diagnosis 2
- Annette ten Teije, Frank van Harmelen:
Exploiting Domain Knowledge for Approximate Diagnosis. IJCAI (1) 1997: 454-459 - Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl:
Semantically Guided Theorem Proving for Diagnosis Applications. IJCAI (1) 1997: 460-465 - Peter Fröhlich, Wolfgang Nejdl:
A Static Model-Based Engine for Model-Based Reasoning. IJCAI (1) 1997: 466-473
Diagnosis 3
- Étienne Loiez, Patrick Taillibert:
Polynomial Temporal Band Sequences for Analog Diagnosis. IJCAI (1) 1997: 474-479 - Peter Struss:
Fundamentals of Model-Based Diagnosis of Dynamic Systems. IJCAI (1) 1997: 480-485 - Hidde de Jong, Frank van Raalte:
Comparative Analysis of STructurally Different Dynamical Systems. IJCAI (1) 1997: 486-493
Qualiative Reasoning 1: Modeling Support
- Yumi Iwasaki, Adam Farquhar, Richard Fikes, James Rice:
A Web-Based Compositional Modeling System for Sharing of Physical Knowledge. IJCAI (1) 1997: 494-500 - Yoshinobu Kitamura, Mitsuru Ikeda, Riichiro Mizoguchi:
A Causal Time Ontology for Qualitative Reasoning. IJCAI (1) 1997: 501-507
Qualiative Reasoning 2: Perception and Belief
- Alvaro del Val, Pedrito Maynard-Reid II, Yoav Shoham:
Qualitative Reasoning about Perception and Belief. IJCAI (1) 1997: 508-513 - Pavan Sikka, Brenan J. McCarragher:
Rule-based Contact Monitoring Using Examples Obtained by Task Demonstration. IJCAI (1) 1997: 514-521
Qualiative Reasoning 3: Geometric and Spatial Reasoning
- Jochen Renz, Bernhard Nebel:
On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus. IJCAI (1) 1997: 522-527 - Mateja Jamnik, Alan Bundy, Ian Green:
Automation of Diagrammatic Reasoning. IJCAI (1) 1997: 528-533 - Kenneth Yip:
Structural Inferences from Massive Datasets. IJCAI (1) 1997: 534-541
Qualiative Reasoning 4: Causality
- Koichi Kurumatani, Mari Nakamura:
Qualitative Analysis of Causal Graphs with Equilibrium Type-Transition. IJCAI (1) 1997: 542-548 - Norman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco, Pavlos Peppas, Yan Zhang:
Action Localness, Genericity and Invariants in STRIPS. IJCAI (1) 1997: 549-554 - Hector Geffner:
Causality, Constraints and Indirect Effects. IJCAI (1) 1997: 555-561
Qualiative Reasoning 5
- Eleni Stroulia, Ashok K. Goel:
Redesigning a Problem-Solver's Operations to Improve Solution Quality. IJCAI (1) 1997: 562-567 - Pieter J. Mosterman, Gautam Biswas:
Formal Specifications for Hybrid Dynamical Systems. IJCAI (1) 1997: 568-577
Distributed Artificial Intelligence
Distributed AI 1: Interagent Communication
- Keith Decker, Katia P. Sycara, Mike Williamson:
Middle-Agents for the Internet. IJCAI (1) 1997: 578-583 - Yannis Labrou, Timothy W. Finin:
Semantics and Conversations for an Agent Communication Language. IJCAI (1) 1997: 584-591 - Takayuki Ito, Toramatsu Shintani:
Persuasion among Agents: An Approach to Implementing a Group Decision System Based on Multi-Agent Negotiation. IJCAI (1) 1997: 592-599
Distributed AI 2: Coordination and Cooperation
- Mark d'Inverno, Michael Luck, Michael J. Wooldridge:
Cooperation Structures. IJCAI (1) 1997: 600-605 - David Carmel, Shaul Markovitch:
Exploration and Adaptation in Multiagent Systems: A Model-based Approach. IJCAI (1) 1997: 606-611 - Edmund H. Durfee, Young-pa So:
The Effects of Runtime Coordination Strategies Within Static Organizations. IJCAI (1) 1997: 612-619
Distributed AI 3: Multiagent Algorithms
- Aaron A. Armstrong, Edmund H. Durfee:
Dynamic Prioritization of Complex Agents in Distributed Constraint Satisfaction Problems. IJCAI (1) 1997: 620-625 - Yoav Shoham, Katsumi Tanaka:
A Dynamic Theory of Incentives in Multi-Agent Systems. IJCAI (1) 1997: 626-631 - Tuomas Sandholm, Fredrik Ygge:
On the Gains and Losses of Speculation in Equilibrium Markets. IJCAI (1) 1997: 632-639
Distributed AI 4: Multiagent Algorithms
- M. V. Nagendra Prasad, Victor R. Lesser:
The Use of Meta-level Information in Learning Situation-Specific Coordination. IJCAI (1) 1997: 640-646 - Lobel Crnogorac, Anand S. Rao, Kotagiri Ramamohanarao:
Analysis of Inheritance Mechanisms in Agent-Oriented Programming. IJCAI (1) 1997: 647-654
Expert Systems
- Leora Morgenstern, Moninder Singh:
An Expert System Using Nonmonotonic Techniques for Beneefits Inquiry in the Insurance Industry. IJCAI (1) 1997: 655-661 - Stefan Kramer, Hermann Kaindl, Stefan Schlee:
Can We Benefit from Metrics in KBS Development? IJCAI (1) 1997: 662-667 - John Kingston, Anna Griffith, Terri J. Lydiard:
Multi-Perspective Modeling of the Air Camaign Planning Process. IJCAI (1) 1997: 668-677
Game Playing
Game Playing 1: Go
- Patrick Ricaud:
A Model of Strategy for the Game of Go Using Abstraction Mechanisms. IJCAI (1) 1997: 678-683 - Takuya Kojima, Kazuhiro Ueda, Saburo Nagano:
An Evolutionary Algorithm Extended by Ecological Analogy and its Application to the Game of Go. IJCAI (1) 1997: 684-691
Game Playing 2
- Andreas Junghanns, Jonathan Schaeffer:
Search Versus Knowledge in Game-Playing Programs Revisited. IJCAI (1) 1997: 692-697 - Christophe Meyer, Jean-Gabriel Ganascia, Jean-Daniel Zucker:
Learning Strategies in Games by Anticipation. IJCAI (1) 1997: 698-707
Information Retrieval
Information Retrieval Distinguished Paper
- Jaime G. Carbonell, Yiming Yang, Robert E. Frederking, Ralf D. Brown, Yibing Geng, Danny Lee:
Translingual Information Retrieval: A Comparative Evaluation. IJCAI (1) 1997: 708-715
Information Retrieval 1
- Toshiki Kindo, Hideyuki Yoshida, Tetsuro Morimoto, Taisuke Watanabe:
Adaptive Personal Information Filtering System that Organizes Personal Profiles Automatically. IJCAI (1) 1997: 716-721 - Yukio Ohsawa, Masahiko Yachida:
An Index Navigator for Understanding and Expressing User's Coherent Interest. IJCAI (1) 1997: 722-728 - Nicholas Kushmerick, Daniel S. Weld, Robert B. Doorenbos:
Wrapper Induction for Information Extraction. IJCAI (1) 1997: 729-737
Information Retrieval 2
- Masanori Sugimoto, Norio Katayama, Atsuhiro Takasu:
COSPEX: A System for Constructing Private Digital Libraries. IJCAI (1) 1997: 738-744 - Wai Lam, Kon Fan Low, Chao Yang Ho:
Using a Bayesian Network Induction Approach for Text Categorization. IJCAI (1) 1997: 745-750 - Scott B. Huffman, Catherine Baudin:
Toward Structured Retrieval in Semi-structured Information Spaces. IJCAI (1) 1997: 751-757
Information Retrieval 3
- Daniela Rus, Peter de Santis:
The Self-Organizing Desk. IJCAI (1) 1997: 758-763 - Gianni Amati, Fabio Crestani, Flavio Ubaldini:
A Learning System for Selective Dissemination of Information. IJCAI (1) 1997: 764-769 - Thorsten Joachims, Dayne Freitag, Tom M. Mitchell:
Web Watcher: A Tour Guide for the World Wide Web. IJCAI (1) 1997: 770-777
Information Retrieval 4
- Oliver M. Duschka, Alon Y. Levy:
Recursive Plans for Information Gathering. IJCAI (1) 1997: 778-784 - Marc T. Friedman, Daniel S. Weld:
Efficiently Executing Information-Gathering Plans. IJCAI (1) 1997: 785-791
VOLUME 2
Learning
Learing 1
- Tobias Scheffer, Ralf Herbrich:
Unbiased Assesment of Learning Algorithms. 798-803 - Gregory Z. Grudic, Peter D. Lawrence:
Is Nonparametric Learning Practical in Very High Dimensional Spaces? 804-809 - Takashi Washio, Hiroshi Motoda:
Discovering Admissible Models of Complex Systems Based on Scale-Types and Idemtity Constraints. 810-819
Learing 2: Reinforcement Learning
- Takayuki Kohri, Kei Matsubayashi, Mario Tokoro:
An Adaptive Architecture for Modular Q-Learning. 820-825 - Rémi Munos:
A Convergent Reinforcement Learning Algorithm in the Continuous Case Based on a Finite Difference Method. 826-831 - Devika Subramanian, Peter Druschel, Johnny Chen:
Ants and Reinforcement Learning: A Case Study in Routing in Dynamic Networks. 832-839
Learing 3: Decision Trees
- Paul Davidsson:
Integrating Models of Discrimination and Characterization for Learning from Examples in Open Domains. 840-845 - Geoffrey I. Webb:
Decision Tree Grafting. 846-851 - Johannes Fürnkranz:
Noise-Tolerant Windowing. 852-859
Learing 4: Classification
- Lars Asker, Richard Maclin:
Ensembles as a Sequence of Classifiers. 860-865 - Kai Ming Ting, Ian H. Witten:
Stacked Generalizations: When Does It Work? 866-873
Learing 5: Applications
- Charles X. Ling, Handong Wang:
Alignment Algorithms for Learning to Read Aloud. 874-879 - Hideki Asoh, Satoru Hayamizu, Isao Hara, Yoichi Motomura, Shotaro Akaho, Toshihiro Matsui:
Socially Embedded Learning of the Office-Conversant Mobil Robot Jijo-2. 880-887
Learing 6: Logic and IPL
- Michèle Sebag, Céline Rouveirol:
Tractable Induction and Classification in First Order Logic Via Stochastic Matching. 888-893 - Yutaka Sasaki, Masahiko Haruno:
RHB+: A Type-Oriented ILP System Learning from Positive Data. 894-899 - Yannis Dimopoulos, Saso Dzeroski, Antonis C. Kakas:
Integrating Explanatory and Descriptive Learning in ILP. 900-907
Learing 7: Dynamic Environments
- G. M. Shiraz, Claude Sammut:
Combining Knowledge Acquisition and Machine Learning to Control Dynamic Systems. 908-913 - Dorian Suc, Ivan Bratko:
Skill Reconstruction as Induction of LQ Controllers with Subgoals. 914-919 - Hagit Shatkay, Leslie Pack Kaelbling:
Learning Topological Maps with Weak Local Odometric Information. 920-929
Learing 8
- Bing Liu, Liang-Ping Ku, Wynne Hsu:
Discovering Interesting Holes in Data. 930-935 - Tatsuya Nomura:
An Analysis on Crossovers for Real Number Chromosomes in an Infinite Population Size. 936-941