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 - Ke Wang, Han Chong Goh:
Minimum Splits Based Discretization for Continuous Features. 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. 952-958 - Detlef Fehrer, Helmut Horacek:
Exploiting the Addressee's Inferential Capabilities in Presenting Mathematical Proofs. 959-964 - Xiaorong Huang, Armin Fiedler:
Proof Verbalization as an Application of NLG. 965-972
Natural-Language Processing 2: Machine Translation
- Jun-Jie Li, Key-Sun Choi:
Corpus-Based Chinese-Korean Abstracting Translation System. 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. 977-982 - Hideki Mima, Osamu Furuse, Hitoshi Iida:
Improving Performance of Transfer-Driven Machine Translation with Extra-Linguistic Informatioon from Context, Situation and Environment. 983-989
Natural-Language Processing 3: Dialogue and Discourse
- Nikitas M. Sgouros:
Dynamic, User-Centered Resolution in Interactive Stories. 990-995 - Steffen Staab, Udo Hahn:
"Tall", "Good", "High" - Compared to What? 996-1001 - Marc Dymetman:
Charts, Interaction-free Grammars, and the Compact Representation of Ambiguity. 1002-1009
Natural-Language Processing 4: Dialogue and Discourse
- Katja Markert, Udo Hahn:
On the Interaction of Metonymies and Anaphora. 1010-1015 - Claire Gardent, Michael Kohlhase:
Computing Parallelism in Discourse. 1016-1021 - Chris Reed, Derek Long:
Content Ordering in the Generation of Persuasive Discourse. 1022-1029
Natural-Language Processing 5: Dialogue and Discourse
- M. David Sadek, Philippe Bretier, Franck Panaget:
ARTIMIS: Natural Dialogue Meets Rational Agency. 1030-1035 - Matthias Denecke:
An Information-based Approach for Guiding Multi-Modal Human-Computer-Interaction. 1036-1041 - Hervé Blanchon:
Interactive Disambiguation of Natural Language Input: a Methodology and Two Implementatioons for French and English. 1042-1049
Graphics
- Lisong Wang, Tsuyoshi Nakamura, Minkai Wang, Hirohisa Seki, Hidenori Itoh:
A Method of Generating Calligraphy of Japanese Character using Deformable Contourse. 1050-1055 - Michelle X. Zhou, Steven Feiner:
The Representation and Use of a Visual Lexicon for Automated Graphics Generation. 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. 1066-1071 - Jürgen Rahmel, Christian Blum, Peter Hahn:
On the Role of Hierarchy for Neural Network Interpretation. 1072-1077 - Kazumi Saito, Ryohei Nakano:
Law Discovery using Neural Networks. 1078-1083 - Yoshiteru Ishida:
Active Diagnosis by Self-Organization: An Approach by The Immune Network Metaphor. 1084-1091
Neural Nets 2: Language and Structure Processing
- Will Lowe:
Meaning and the Mental Lexicon. 1092-1097 - Hiroshi Tsukimoto:
Extracting Propositions from Trained Neural Networks. 1098-1105 - Nigel Collier:
Convergence Time Characteristics of an Associative Memory for Natural Language Processing. 1106-1113
Neural Nets 3: Neurobiologically Inspired Computation
- Richard S. Zemel, Peter Dayan:
Combining Probabilistic Population Codes. 1114-1119 - Yoonsuck Choe, Risto Miikkulainen:
Self-Organization and Segmentation with Laterally Connected Spiking Neurons. 1120-1125 - Kunio Kashino, Hiroshi Murase:
A Music Stream Segregation System Based on Adaptive Multi-Agents. 1126-1133
Neural Nets 4: Learning Algorithms and Architectures
- Loo-Nin Teow, Kia-Fock Loe:
An Effective Learning Method for Max-Min Neural Networks. 1134-1139 - Ton Weijters, H. Jaap van den Herik, Antal van den Bosch, Eric O. Postma:
Avoiding Overfitting with BP-SOM. 1140-1145 - Masahiro Murakawa, Shuji Yoshizawa, Isamu Kajitani, Tetsuya Higuchi:
Evolvable Hardware for Generalized Neural Networks. 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. 1156-1162 - Robert Givan, Thomas L. Dean:
Model Minimization, Regression, and Propositional STRIPS Planning. 1163-1168 - Michael D. Ernst, Todd D. Millstein, Daniel S. Weld:
Automatic SAT-Compilation of Planning Problems. 1169-1177
Planning 2: Reactive Planning
- Brian C. Williams, P. Pandurang Nayak:
A Reactive Planner for a Model-based Executive. 1178-1185 - Michael D. Howard:
Modeling Command Entities. 1186-1193
Planning 3: Planning under Uncertainty
- Jun Miura, Yoshiaki Shirai:
Vision-Motion Planning of a Mobile Robot considering Vision Uncertainty and Planning Cost. 1194-1200 - Abdel-Illah Mouaddib, Shlomo Zilberstein:
Handling Duration Uncertainty in Meta-Level Control of Progressive Processing. 1201-1207
Planning 4: Reasoning about Plans
- Neal Lesh:
Adaptive Goal Recognition. 1208-1214 - Witold Lukaszewicz, Ewa Madalinska-Bugaj:
Reasoning about Plans. 1215-1220 - Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque:
Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus. 1221-1226 - Tara A. Estlin, Raymond J. Mooney:
Learning to Improve both Efficiency and Quality of Planning. 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. 1234-1239 - Susanne Biundo, Werner Stephan:
System Assistance in Structured Domain Model Development. 1240-1245 - Leliane Nunes de Barros, James A. Hendler, V. Richard Benjamins:
Par-KAP: a Knowledge Acquisition Tool for Building Practical Planning Systems. 1246-1253
Scheduling
- Andrea Schaerf:
Combining Local Search and Look-Ahead for Scheduling and Constraint Satisfaction Problems. 1254-1259 - Robert A. Morris, John L. Bresina, Stuart M. Rodgers:
Automatic Generation of Heuristics for Scheduling. 1260-1266 - Charles B. McVey, Ella M. Atkins, Edmund H. Durfee, Kang G. Shin:
Development of Iterative Real-time Scheduler to Planner Feedback. 1267-1275
Probabilistic Reasoning
Probabilistic Reasoning Distinguisted Paper
- Timothy Huang, Stuart Russell:
Object Identification in a Bayesian Context. 1276-1283
Probabilistic Reasoning 1: Efficiency
- David Poole:
Probabilistic Partial Evaluation: Exploiting Rule Structure in Probabilistic Inference. 1284-1291 - John Binder, Kevin P. Murphy, Stuart Russell:
Space-Efficient Inference in Dynamic Probabilistic Networks. 1292-1296 - Rina Dechter:
Mini-Buckets: A General Scheme for Generating Approximations in Automated Reasoning. 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. 1304-1309 - Eric McCreath, Arun Sharma:
ILP with Noise and Fixed Example Size: A Bayesian Approach. 1310-1315 - Daphne Koller, Avi Pfeffer:
Learning Probabilities for Noisy First-Order Rules. 1316-1323
Probabilistic Reasoning 4
- Yoav Shoham:
A Symmetric View of Utilities and Probabilities. 1324-1329 - Taisuke Sato, Yoshitaka Kameya:
PRISM: A Language for Symbolic-Statistical Modeling. 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. 1340-1345 - Wolfram Burgard, Dieter Fox, Sebastian Thrun:
Active Mobile Robot Localization. 1346-1352 - Robin R. Murphy, Dale K. Hawkins, Marcel Schoppers:
Reactive Combination of Belief Over Time Using Direct Perception. 1353-1359
Robotics 2
- Edward W. Large, Henrik I. Christensen, Ruzena Bajcsy:
Scaling the Dynamic Approach to Autonomous Path Planning: Planning Horizon Dynamics. 1360-1365 - Manfred Huber, Roderic A. Grupen:
Learning to Coordinate Controllers - Reinforcement Learning on a Control Basis. 1366-1371 - Jacques Penders, Peter J. Braspenning:
Situated Actions and Cognition. 1372-1381
Search
Search 1: Depth-First Search
- Pedro Meseguer:
Interleaved Depth-First Search. 1382-1387 - Toby Walsh:
Depth-bounded Discrepancy Search. 1388-1395
Search 2: Bin Packing
- Ian P. Gent, Toby Walsh:
From Approximate to Optimal Solutions: Constructing Pruning and Propagation Rules. 1396-1401 - Ho Soo Lee, Mark Trumbo:
An Approximate 0-1 Edge-Labeling Algorithm for Constrained Bin-Packing Problem. 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. 1412-1419
Temporal Reasoning 1
- Marcus Bjäreland, Lars Karlsson:
Reasoning by Regression: Pre- and Postdiction Procedures for Logics of Action and Change. 1420-1425 - Tom Costello:
Change, Change, Change: Three Approaches. 1426-1433
Temporal Reasoning 2
- Lars Karlsson:
Reasoning with Incomplete Initial Information and Nondeterminism in Situation Calculus. 1434-1440 - Chitta Baral, Jorge Lobo:
Defeasible Specifications in Action Theories. 1441-1446 - Thomas Drakengren, Marcus Bjäreland:
Reasoning about Action in Polynomial Time. 1447-1453
Temporal Reasoning 3
- Isabel Navarrete, Roque Marín:
Qualitative Temporal Reasoning with Points and Durations. 1454-1459 - Alfonso Gerevini, Matteo Cristani:
On Finding a Solution in Temporal Constraint Satisfaction Problems. 1460-1465 - Thomas Drakengren, Peter Jonsson:
Towards a Complete Classification of Tractability in Allen's Algebra. 1466-1475
Vision
Vision 1
- J. Ross Beveridge, Christopher R. Graves, Jim Steinborn:
Comparing Random Starts Local Search with Key Feature Matching. 1476-1481 - Jae-Moon Chung, Noboru Ohnishi:
Chain of Circles for Matching and Recognition of Planar Shapes. 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. 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. 1496-1501 - Zhengyou Zhang, Gang Xu:
A General Expression of the Fundamental Matrix for Both Perspective and Affine Cameras. 1502-1510
Panel
- Munindar P. Singh, Daniel G. Bobrow, Michael N. Huhns, Margaret King, Hiroaki Kitano:
The Next Big Thing: Position Statements. 1511-1524
Videos
- J. Heizmann, Alexander Zelinsky:
Robust Real-Time Face Tracking and Gesture Recognition. 1525-1530 - Lin Padgham, Guy Taylor:
PAC - Personality and Cognition: An Interactive System for Modelling Agent Scenarios. 1531-1538
Doctoral Consortium Abstracts
- Alessandro Agostini:
Modularity in Computer Assisted Reasoning Systems. 1539 - Sarah Boyd:
Describing Time-Varying Data. 1540 - Mateja Jamnik:
Automation of Diagrammatic Proofs in Mathematics. 1541 - Raymund Sison:
Toward the Automatic Discovery of Misconceptions. 1542 - Hongjun Song:
Control Structures for Software Agents. 1543 - Astro Teller:
Algorithm Evolution for Signal Understanding. 1544 - Francesco Virili:
The Use of Neural Network Approach in Financial Asset Management. 1545 - Hongxue Wang:
Constrainted Object Hierarchy - An Architecture for Intelligent Systems. 1546
Invited Speakers
- Wolfgang Bibel:
Let's Plan It Deductively! 1549-1562 - Margaret A. Boden:
Creativity and Artificial Intelligence. 1563-1566 - Cristiano Castelfranchi:
Modeling Social Action for AI Agents. 1567-1576 - Ernst D. Dickmanns:
Vehicles Capable of Dynamic Vision. 1577-1592 - Masayuki Inaba:
Remote-Brained Robots. 1593-1606 - Kathleen R. McKeown:
Generating Multimedia Briefings: Language Generation in a Coordinated Multimedia Environment. 1607-1612 - Leora Morgenstern:
Inheritance Comes of Age: Applying Nonmonotonic Techniques to Problems in Industry. 1613-1621 - Hiroshi Motoda, Kenichi Yoshida:
Machine Learning Techniques to Make Computers Easier to Use. 1622-1631 - Luc Steels:
The Origins of Syntax in Visually Grounded Robotic Agents. 1632-1641 - Pascal Van Hentenryck:
Numerica: A Modeling Language for Global Optimization. 1642-1650
Awards
- Aravind K. Joshi:
Research Excellence Award: Relationship Between Natural Language Processing and AI. 1651-1652
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-22 03:44 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
