Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar15. 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 Muggleton, Michael J. E. Sternberg:
The Predictive Toxicology Evaluation Challenge. IJCAI (1) 1997: 4-9 - Nir Friedman, Moisés Goldszmidt, David Heckerman, Stuart J. Russell:
Challenge: What is the Impact of Bayesian Networks on Learning? IJCAI (1) 1997: 10-15
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. IJCAI (1) 1997: 24-30 - Hiroshi G. Okuno, Tomohiro Nakatani, Takeshi Kawabata:
Understanding Three Simultaneous Speeches. IJCAI (1) 1997: 30-35 - Hiroshi Ishiguro:
Distributed Vision System: A Perceptual Information Infrastructure for Robot Navigation. IJCAI (1) 1997: 36-43
Challenge 3
- Bart Selman, Henry A. Kautz, David A. McAllester:
Ten Challenges in Propositional Reasoning and Search. IJCAI (1) 1997: 50-54
Automated Reasoning
Automated Reasoning 1: Belief Revision
- Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade:
Qualitative Relevance and Independence: A Roadmap. IJCAI (1) 1997: 62-67
Automated Reasoning 2: Belief Revision
- Dongmo Zhang, Shifu Chen, Wujia Zhu, Zhaoqian Chen:
Representation Theorems for Multiple Belief Changes. IJCAI (1) 1997: 89-94 - Dongmo Zhang, Shifu Chen, Wujia Zhu, Hongbing Li:
Nonmonotonic Reasoning and Multiple Belief Revision. IJCAI (1) 1997: 95-101
Automated Reasoning 3: Theorem Proving
- Jörg Denzinger, Marc Fuchs, Matthias Fuchs:
High Performance ATP Systems by Combining Several AI Methods. IJCAI (1) 1997: 102-107
Automated Reasoning 4: Propositional KBS
- Yacine Boufkhad, Éric Grégoire, Pierre Marquis, Bertrand Mazure, Lakhdar Sais:
Tractable Cover Compilations. IJCAI (1) 1997: 122-127
Automated Reasoning 5: Description Logic
- Francesco M. Donini, Daniele Nardi, Riccardo Rosati:
Autoepistemic Description Logics. IJCAI (1) 1997: 136-141
Automated Reasoning 6: Nonmonotonism
- Xianchang Wang, Jia-Huai You, Li-Yan Yuan:
A Default Interpretation of Defeasible Network. IJCAI (1) 1997: 156-161 - Ulrich Junker:
A Cumulative-Model Semantics for Dynamic Preferences on Assumptions. IJCAI (1) 1997: 162-167 - James P. Delgrande, Torsten Schaub:
Compiling Reasoning with and about Preferences into Default Logic. IJCAI (1) 1997: 168-175
Automated Reasoning 7: Nonmonotonism for Logic Programming
- Toshiko Wakaki, Ken Satoh:
Compiling Prioritized Circumscription into Extended Logic Programs. IJCAI (1) 1997: 182-189
Automated Reasoning 8: Modal Logic
- Philippe Balbiani, Stéphane Demri:
Prefixed Tableaux Systems for Modal Logics with Enriched Languages. IJCAI (1) 1997: 190-195 - Angelo Montanari, Alberto Policriti:
A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics. IJCAI (1) 1997: 196-201 - Ullrich Hustadt, Renate A. Schmidt:
On Evaluating Decision Procedures for Modal Logic. IJCAI (1) 1997: 202-209
Automated Reasoning 9
- Gilles Défourneaux, Nicolas Peltier:
Analogy and Abduction in Automated Deduction. IJCAI (1) 1997: 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. IJCAI (1) 1997: 226-231 - Tony Veale, Mark T. Keane:
The Competence of Sub-Optimal Theories of STructure Mapping on Hard Analogies. IJCAI (1) 1997: 232-237 - Seishi Okamoto, Nobuhiro Yugami:
An Average-Case Analysis of the k-Nearest Neighbar Classifier for Noisy Domains. IJCAI (1) 1997: 238-245
Case-Based Reasoning 2
- David B. Leake, Andrew Kinley, David C. Wilson:
Learning to Integrate Multiple Knowledge Sources for Case-Based Reasoning. IJCAI (1) 1997: 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. IJCAI (1) 1997: 252-257 - Tu Bao Ho, Chi Mai Luong:
Using Case-Based Reasoning in Interpreting Unsupervised Inductive Learning Results. IJCAI (1) 1997: 258-267
Cognitive Modeling
Cognitive Modeling 1
- Masayuki Numao, Masashi Kobayashi, Katsuyuki Sakaniwa:
Acquisition of Human Feelings in Music Arrangements. IJCAI (1) 1997: 268-273 - Rayond Sison, Masayuki Numao, Masamichi Shimura:
Using Data and Theory in Multistretegy (Mis)Concept(ion) Discovery. IJCAI (1) 1997: 274-279 - Olivier Ferret, Brigitte Grau:
An Aggregation Procedure for Building Episodic Memory. IJCAI (1) 1997: 280-287
Cognitive Modeling 2
- Caroline C. Hayes, Michael I. Parzen:
An Achievement Test for Knowledge-Based Systems: QUEM. IJCAI (1) 1997: 288-293 - Kazuo Hiraki, Akio Sashima, Steven Phillips:
Mental Tracking: A Computational Model of Spatial Development. IJCAI (1) 1997: 301-309
Cognitive Modeling 3
- Michael Freed, Roger W. Remington:
Managing Decision Resources in Plan Execution. IJCAI (1) 1997: 322-328
Computer-Aided Eduction
- Ruddy Lelouche, Jean-François Morin:
Use of Abstraction and Complexity Levels in Intelligent Educational System Design. IJCAI (1) 1997: 329-334 - Kevin D. Ashley, Vincent Aleven:
Reasoning Symbolically About Partially Matched Cases. IJCAI (1) 1997: 335-341 - Mitsuru Ikeda, Kazuhisa Seta, Riichiro Mizoguchi:
Task Ontology Makes It Easier To Use Authoring Tools. IJCAI (1) 1997: 342-351
Constraint Satisfaction
Constraint Satisfaction 1: Constraint Programming
- Stefano Bistarelli, Ugo Montanari, Francesca Rossi:
Semiring-based Constraint Logic Programming. IJCAI (1) 1997: 352-357 - Gilles Trombettoni, Bertrand Neveu:
Computational Complexity of Multi-way, Dataflow Constraint Problems. IJCAI (1) 1997: 358-365
Constraint Satisfaction 2: SAT
- Chu Min Li, Anbulagan:
Heuristics Based on Unit Propagation for Satisfiability Problems. IJCAI (1) 1997: 366-371 - Thierry Castell, Michel Cayrol:
Hidden Gold in Random Generation of SAT Satisfiable Instances. IJCAI (1) 1997: 372-377 - Benjamin W. Wah, Yi Shang:
Discrete Lagrangian-Based Search for Solving MAX-SAT Problems. IJCAI (1) 1997: 378-383
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 - 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
- Etienne Loiez, Patrick Taillibert:
Polynomial Temporal Band Sequences for Analog Diagnosis. IJCAI (1) 1997: 474-479 - 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
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
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
- 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
- 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
- Marc Friedman, Daniel S. Weld:
Efficiently Executing Information-Gathering Plans. IJCAI (1) 1997: 785-791
VOLUME 2
Learning
Learing 1
- Gregory Z. Grudic, Peter D. Lawrence:
Is Nonparametric Learning Practical in Very High Dimensional Spaces? IJCAI (2) 1997: 804-809 - Takashi Washio, Hiroshi Motoda:
Discovering Admissible Models of Complex Systems Based on Scale-Types and Idemtity Constraints. IJCAI (2) 1997: 810-819
Learing 2: Reinforcement Learning
- Takayuki Kohri, Kei Matsubayashi, Mario Tokoro:
An Adaptive Architecture for Modular Q-Learning. IJCAI (2) 1997: 820-825 - Rémi Munos:
A Convergent Reinforcement Learning Algorithm in the Continuous Case Based on a Finite Difference Method. IJCAI (2) 1997: 826-831 - Devika Subramanian, Peter Druschel, Johnny Chen:
Ants and Reinforcement Learning: A Case Study in Routing in Dynamic Networks. IJCAI (2) 1997: 832-839
Learing 3: Decision Trees
- Paul Davidsson:
Integrating Models of Discrimination and Characterization for Learning from Examples in Open Domains. IJCAI (2) 1997: 840-845
Learing 4: Classification
Learing 5: Applications
- Charles X. Ling, Handong Wang:
Alignment Algorithms for Learning to Read Aloud. IJCAI (2) 1997: 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. IJCAI (2) 1997: 880-887
Learing 6: Logic and IPL
- Michèle Sebag, Céline Rouveirol:
Tractable Induction and Classification in First Order Logic Via Stochastic Matching. IJCAI (2) 1997: 888-893 - Yutaka Sasaki, Masahiko Haruno:
RHB+: A Type-Oriented ILP System Learning from Positive Data. IJCAI (2) 1997: 894-899 - Yannis Dimopoulos, Saso Dzeroski, Antonis C. Kakas:
Integrating Explanatory and Descriptive Learning in ILP. IJCAI (2) 1997: 900-907
Learing 7: Dynamic Environments
- G. M. Shiraz, Claude Sammut:
Combining Knowledge Acquisition and Machine Learning to Control Dynamic Systems. IJCAI (2) 1997: 908-913 - Dorian Suc, Ivan Bratko:
Skill Reconstruction as Induction of LQ Controllers with Subgoals. IJCAI (2) 1997: 914-919 - Hagit Shatkay, Leslie Pack Kaelbling:
Learning Topological Maps with Weak Local Odometric Information. IJCAI (2) 1997: 920-929
Learing 8
- Tatsuya Nomura:
An Analysis on Crossovers for Real Number Chromosomes in an Infinite Population Size. IJCAI (2) 1997: 936-941 - Ke Wang, Han Chong Goh:
Minimum Splits Based Discretization for Continuous Features. IJCAI (2) 1997: 942-951
Natural-Language Processing and Graphical Presentatioon
Natural-Language Processing 1: Generation
- Charles B. Callaway, James C. Lester:
Dynamically Imroving Explanations: A Revision-Based Approach to Explanation Generation. IJCAI (2) 1997: 952-958 - Detlef Fehrer, Helmut Horacek:
Exploiting the Addressee's Inferential Capabilities in Presenting Mathematical Proofs. IJCAI (2) 1997: 959-964 - Xiaorong Huang, Armin Fiedler:
Proof Verbalization as an Application of NLG. IJCAI (2) 1997: 965-972
Natural-Language Processing 2: Machine Translation
- Jun-Jie Li, Key-Sun Choi:
Corpus-Based Chinese-Korean Abstracting Translation System. IJCAI (2) 1997: 972-976 - Kiyoshi Yamabana, Shin-ichiro Kamei, Kazunori Muraki, Shinichi Doi, Shinko Tamura, Kenji Satoh:
A Hybrid Approach to Interactive Machine Translation - Integrating Rule-based, Corpus-based, and Example-basedMethod. IJCAI (2) 1997: 977-982 - Hideki Mima, Osamu Furuse, Hitoshi Iida:
Improving Performance of Transfer-Driven Machine Translation with Extra-Linguistic Informatioon from Context, Situation and Environment. IJCAI (2) 1997: 983-989
Natural-Language Processing 3: Dialogue and Discourse
- Nikitas M. Sgouros:
Dynamic, User-Centered Resolution in Interactive Stories. IJCAI (2) 1997: 990-995 - Marc Dymetman:
Charts, Interaction-free Grammars, and the Compact Representation of Ambiguity. IJCAI (2) 1997: 1002-1009
Natural-Language Processing 4: Dialogue and Discourse
- Chris Reed, Derek Long:
Content Ordering in the Generation of Persuasive Discourse. IJCAI (2) 1997: 1022-1029
Natural-Language Processing 5: Dialogue and Discourse
- M. David Sadek, Philippe Bretier, E. Panaget:
ARTIMIS: Natural Dialogue Meets Rational Agency. IJCAI (2) 1997: 1030-1035 - Matthias Denecke:
An Information-based Approach for Guiding Multi-Modal Human-Computer-Interaction. IJCAI (2) 1997: 1036-1041 - Hervé Blanchon:
Interactive Disambiguation of Natural Language Input: a Methodology and Two Implementatioons for French and English. IJCAI (2) 1997: 1042-1049
Graphics
- Lisong Wang, Tsuyoshi Nakamura, Minkai Wang, Hirohisa Seki, Hidenori Itoh:
A Method of Generating Calligraphy of Japanese Character using Deformable Contourse. IJCAI (2) 1997: 1050-1055 - Michelle X. Zhou, Steven Feiner:
The Representation and Use of a Visual Lexicon for Automated Graphics Generation. IJCAI (2) 1997: 1056-1065
Neural Networks
Neural Nets 1: Rule Extractions
- Paolo Frasconi, Marco Gori, Alessandro Sperduti:
On the Efficient Classification of Data Structures by Neural Networks. IJCAI 1997: 1066-1071 - Jürgen Rahmel, Christian Blum, Peter Hahn:
On the Role of Hierarchy for Neural Network Interpretation. IJCAI 1997: 1072-1077 - Yoshiteru Ishida:
Active Diagnosis by Self-Organization: An Approach by The Immune Network Metaphor. IJCAI 1997: 1084-1091
Neural Nets 2: Language and Structure Processing
- Nigel Collier:
Convergence Time Characteristics of an Associative Memory for Natural Language Processing. IJCAI 1997: 1106-1113
Neural Nets 3: Neurobiologically Inspired Computation
- Yoonsuck Choe, Risto Miikkulainen:
Self-Organization and Segmentation with Laterally Connected Spiking Neurons. IJCAI 1997: 1120-1125 - Kunio Kashino, Hiroshi Murase:
A Music Stream Segregation System Based on Adaptive Multi-Agents. IJCAI 1997: 1126-1133
Neural Nets 4: Learning Algorithms and Architectures
- Loo-Nin Teow, Kia-Fock Loe:
An Effective Learning Method for Max-Min Neural Networks. IJCAI 1997: 1134-1139 - Ton Weijters, H. Jaap van den Herik, Antal van den Bosch, Eric O. Postma:
Avoiding Overfitting with BP-SOM. IJCAI 1997: 1140-1145 - Masahiro Murakawa, Shuji Yoshizawa, Isamu Kajitani, Tetsuya Higuchi:
Evolvable Hardware for Generalized Neural Networks. IJCAI 1997: 1146-1155
Planning and Scheduling
Planning 1: Relations among Techniques
- Craig Boutilier, Ronen I. Brafman, Christopher W. Geib:
Prioritized Goal Decomposition of Markov Decision Processes: Toward a Synthesis of Classical and Decision Theoretic Planning. IJCAI 1997: 1156-1162 - Robert Givan, Thomas L. Dean:
Model Minimization, Regression, and Propositional STRIPS Planning. IJCAI 1997: 1163-1168 - Michael D. Ernst, Todd D. Millstein, Daniel S. Weld:
Automatic SAT-Compilation of Planning Problems. IJCAI 1997: 1169-1177
Planning 2: Reactive Planning
- Brian C. Williams, P. Pandurang Nayak:
A Reactive Planner for a Model-based Executive. IJCAI 1997: 1178-1185
Planning 3: Planning under Uncertainty
- Jun Miura, Yoshiaki Shirai:
Vision-Motion Planning of a Mobile Robot considering Vision Uncertainty and Planning Cost. IJCAI 1997: 1194-1200 - Abdel-Illah Mouaddib, Shlomo Zilberstein:
Handling Duration Uncertainty in Meta-Level Control of Progressive Processing. IJCAI 1997: 1201-1207
Planning 4: Reasoning about Plans
- Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque:
Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus. IJCAI 1997: 1221-1226 - Tara A. Estlin, Raymond J. Mooney:
Learning to Improve both Efficiency and Quality of Planning. IJCAI 1997: 1227-1233
Planning 5: Applications and Support
- Barney Pell, Erann Gat, Ron Keesing, Nicola Muscettola, Benjamin D. Smith:
Robust Periodic Planning and Execution for Autonomous Spacecraft. IJCAI 1997: 1234-1239 - Susanne Biundo, Werner Stephan:
System Assistance in Structured Domain Model Development. IJCAI 1997: 1240-1245 - Leliane Nunes de Barros, James A. Hendler, V. Richard Benjamins:
Par-KAP: a Knowledge Acquisition Tool for Building Practical Planning Systems. IJCAI 1997: 1246-1253
Scheduling
- Andrea Schaerf:
Combining Local Search and Look-Ahead for Scheduling and Constraint Satisfaction Problems. IJCAI 1997: 1254-1259 - Robert A. Morris, John L. Bresina, Stuart M. Rodgers:
Automatic Generation of Heuristics for Scheduling. IJCAI 1997: 1260-1266 - Charles B. McVey, Ella M. Atkins, Edmund H. Durfee, Kang G. Shin:
Development of Iterative Real-time Scheduler to Planner Feedback. IJCAI 1997: 1267-1275
Probabilistic Reasoning
Probabilistic Reasoning Distinguisted Paper
- Timothy Huang, Stuart J. Russell:
Object Identification in a Bayesian Context. IJCAI 1997: 1276-1283
Probabilistic Reasoning 1: Efficiency
- David Poole:
Probabilistic Partial Evaluation: Exploiting Rule Structure in Probabilistic Inference. IJCAI 1997: 1284-1291 - John Binder, Kevin P. Murphy, Stuart J. Russell:
Space-Efficient Inference in Dynamic Probabilistic Networks. IJCAI 1997: 1292-1296 - Rina Dechter:
Mini-Buckets: A General Scheme for Generating Approximations in Automated Reasoning. IJCAI 1997: 1297-1303
Probabilistic Reasoning 2: Causal Discovery
- Honghua Dai, Kevin B. Korb, Chris S. Wallace, Xindong Wu:
A Study of Causal Discovery With Weak Links and Small Samples. IJCAI 1997: 1304-1309 - Eric McCreath, Arun Sharma:
ILP with Noise and Fixed Example Size: A Bayesian Approach. IJCAI 1997: 1310-1315 - Daphne Koller, Avi Pfeffer:
Learning Probabilities for Noisy First-Order Rules. IJCAI 1997: 1316-1323
Probabilistic Reasoning 3
- Taisuke Sato, Yoshitaka Kameya:
PRISM: A Language for Symbolic-Statistical Modeling. IJCAI 1997: 1330-1339
Robotics
Robotics 1
- Ioannis M. Rekleitis, Gregory Dudek, Evangelos E. Milios:
Multi-Robot Exploration of an Unknown Environment, Efficiently Reducing the Odometry Error. IJCAI 1997: 1340-1345 - Wolfram Burgard, Dieter Fox, Sebastian Thrun:
Active Mobile Robot Localization. IJCAI 1997: 1346-1352 - Robin R. Murphy, Dale K. Hawkins, Marcel Schoppers:
Reactive Combination of Belief Over Time Using Direct Perception. IJCAI 1997: 1353-1359
Robotics 2
- Edward W. Large, Henrik I. Christensen, Ruzena Bajcsy:
Scaling the Dynamic Approach to Autonomous Path Planning: Planning Horizon Dynamics. IJCAI 1997: 1360-1365 - Manfred Huber, Roderic A. Grupen:
Learning to Coordinate Controllers - Reinforcement Learning on a Control Basis. IJCAI 1997: 1366-1371
Search
Search 1: Depth-First Search
Search 2: Bin Packing
- Ian P. Gent, Toby Walsh:
From Approximate to Optimal Solutions: Constructing Pruning and Propagation Rules. IJCAI 1997: 1396-1401 - Ho Soo Lee, Mark Trumbo:
An Approximate 0-1 Edge-Labeling Algorithm for Constrained Bin-Packing Problem. IJCAI 1997: 1402-1411
Temporal Reasoning
Temporal Reasoning Distinguished Paper
- Fangzhen Lin:
Applications of the Situation Calculus To Formalizing Control and Strategy Information: The Prolog Cut Operator. IJCAI 1997: 1412-1419
Temporal Reasoning 1
- Marcus Bjäreland, Lars Karlsson:
Reasoning by Regression: Pre- and Postdiction Procedures for Logics of Action and Change. IJCAI 1997: 1420-1425
Temporal Reasoning 2
- Lars Karlsson:
Reasoning with Incomplete Initial Information and Nondeterminism in Situation Calculus. IJCAI 1997: 1434-1440 - Thomas Drakengren, Marcus Bjäreland:
Reasoning about Action in Polynomial Time. IJCAI 1997: 1447-1453
Temporal Reasoning 3
- Isabel Navarrete, Roque Marín:
Qualitative Temporal Reasoning with Points and Durations. IJCAI 1997: 1454-1459 - Alfonso Gerevini, Matteo Cristani:
On Finding a Solution in Temporal Constraint Satisfaction Problems. IJCAI 1997: 1460-1465 - Thomas Drakengren, Peter Jonsson:
Towards a Complete Classification of Tractability in Allen's Algebra. IJCAI 1997: 1466-1475
Vision
Vision 1
- J. Ross Beveridge, Christopher R. Graves, Jim Steinborn:
Comparing Random Starts Local Search with Key Feature Matching. IJCAI 1997: 1476-1481 - Jae-Moon Chung, Noboru Ohnishi:
Chain of Circles for Matching and Recognition of Planar Shapes. IJCAI 1997: 1482-1487 - Shin'ichi Satoh, Yuichi Nakamura, Takeo Kanade:
Name-It: Naming and Detecting Faces in Video by the Integration of Image and Natural Language Processing. IJCAI 1997: 1488-1495
Vision 2: Stereo Vision
- Yuji Iwahori, Wataru Kato, Shoaib Bhuiyab, Robert J. Woodham, Naohiro Ishii:
Neural Network Based Photometric Strereo Using Illumination Planning. IJCAI 1997: 1496-1501 - Zhengyou Zhang, Gang Xu:
A General Expression of the Fundamental Matrix for Both Perspective and Affine Cameras. IJCAI 1997: 1502-1510
Panel
- Munindar P. Singh, Daniel G. Bobrow, Michael N. Huhns, Margaret King, Hiroaki Kitano:
The Next Big Thing: Position Statements. IJCAI 1997: 1511-1524
Videos
- J. Heizmann, Alexander Zelinsky:
Robust Real-Time Face Tracking and Gesture Recognition. IJCAI 1997: 1525-1530 - Lin Padgham, Guy Taylor:
PAC - Personality and Cognition: An Interactive System for Modelling Agent Scenarios. IJCAI 1997: 1531-1538
Doctoral Consortium Abstracts
- Francesco Virili:
The Use of Neural Network Approach in Financial Asset Management. IJCAI 1997: 1545 - Hongxue Wang:
Constrainted Object Hierarchy - An Architecture for Intelligent Systems. IJCAI 1997: 1546
Invited Speakers
- Kathleen R. McKeown:
Generating Multimedia Briefings: Language Generation in a Coordinated Multimedia Environment. IJCAI 1997: 1607-1612 - Leora Morgenstern:
Inheritance Comes of Age: Applying Nonmonotonic Techniques to Problems in Industry. IJCAI 1997: 1613-1621 - Hiroshi Motoda, Kenichi Yoshida:
Machine Learning Techniques to Make Computers Easier to Use. IJCAI 1997: 1622-1631
Awards
- Aravind K. Joshi:
Research Excellence Award: Relationship Between Natural Language Processing and AI. IJCAI 1997: 1651-1652
maintained by 
at 
at 
last updated on 2018-07-12 22:12 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint