15. 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. 4-9
- Nir Friedman, Moisés Goldszmidt, David Heckerman, Stuart J. Russell: Challenge: What is the Impact of Bayesian Networks on Learning? 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. 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
- 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
- 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
- Liviu Badea: Reifying Concepts in Description Logics. 142-149
Automated Reasoning 6: Nonmonotonism
- 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
- 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
Automated Reasoning 9
- Jun Arima: Preduction: A Common Form of Induction and Analogy. 210-215
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
Cognitive Modeling 2
- Caroline C. Hayes, Michael I. Parzen: An Achievement Test for Knowledge-Based Systems: QUEM. 288-293
- 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
Computer-Aided Eduction
- Ruddy Lelouche, Jean-François Morin: Use of Abstraction and Complexity Levels in Intelligent Educational System Design. 329-334
- 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
- Thierry Castell, Michel Cayrol: Hidden Gold in Random Generation of SAT Satisfiable Instances. 372-377
- Jeremy Frank: Learning Short-Term Weights for GSAT. 384-391
Constraint Satisfaction 3: Local Consistency
- Christian Bessière, Jean-Charles Régin: Arc Consistency for General Constraint Networks: Preliminary Results. 398-404
- Yves Deville, Olivier Barette, Pascal Van Hentenryck: Constraint Satisfaction over Connected Row Convex Constraints. 405-411
Constraint Satisfaction 4
- Romuald Debruyne, Christian Bessière: Some Practicable Filtering Techniques for the Constraint Satisfaction Problem. 412-417
- Javier Larrosa: Merging Constraint Satisfaction Subproblems to Avoid Redundant Search. 424-433
Diagnosis and Qualiative Reasoning
Diagnosis 1
- Gianfranco Lamperti, Paolo Pogliano: Event-Based Reasoning for Short Circuit Diagnosis in Power Transmission Networks. 446-453
Diagnosis 2
- Annette ten Teije, Frank van Harmelen: Exploiting Domain Knowledge for Approximate Diagnosis. 454-459
- Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl: Semantically Guided Theorem Proving for Diagnosis Applications. 460-465
Diagnosis 3
- Peter Struss: Fundamentals of Model-Based Diagnosis of Dynamic Systems. 480-485
- Hidde de Jong, Frank van Raalte: Comparative Analysis of STructurally Different Dynamical Systems. 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. 494-500
- Yoshinobu Kitamura, Mitsuru Ikeda, Riichiro Mizoguchi: A Causal Time Ontology for Qualitative Reasoning. 501-507
Qualiative Reasoning 2: Perception and Belief
- Alvaro del Val, Pedrito Maynard-Reid II, Yoav Shoham: Qualitative Reasoning about Perception and Belief. 508-513
- Pavan Sikka, Brenan J. McCarragher: Rule-based Contact Monitoring Using Examples Obtained by Task Demonstration. 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. 522-527
- Kenneth Yip: Structural Inferences from Massive Datasets. 534-541
Qualiative Reasoning 4: Causality
- Koichi Kurumatani, Mari Nakamura: Qualitative Analysis of Causal Graphs with Equilibrium Type-Transition. 542-548
- Norman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco, Pavlos Peppas, Yan Zhang: Action Localness, Genericity and Invariants in STRIPS. 549-554
- Hector Geffner: Causality, Constraints and Indirect Effects. 555-561
Qualiative Reasoning 5
- Eleni Stroulia, Ashok K. Goel: Redesigning a Problem-Solver's Operations to Improve Solution Quality. 562-567
Distributed Artificial Intelligence
Distributed AI 1: Interagent Communication
- Yannis Labrou, Timothy W. Finin: Semantics and Conversations for an Agent Communication Language. 584-591
- Takayuki Ito, Toramatsu Shintani: Persuasion among Agents: An Approach to Implementing a Group Decision System Based on Multi-Agent Negotiation. 592-599
Distributed AI 2: Coordination and Cooperation
- David Carmel, Shaul Markovitch: Exploration and Adaptation in Multiagent Systems: A Model-based Approach. 606-611
- Edmund H. Durfee, Young-pa So: The Effects of Runtime Coordination Strategies Within Static Organizations. 612-619
Distributed AI 3: Multiagent Algorithms
- Aaron A. Armstrong, Edmund H. Durfee: Dynamic Prioritization of Complex Agents in Distributed Constraint Satisfaction Problems. 620-625
- Tuomas Sandholm, Fredrik Ygge: On the Gains and Losses of Speculation in Equilibrium Markets. 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. 640-646
- Lobel Crnogorac, Anand S. Rao, Kotagiri Ramamohanarao: Analysis of Inheritance Mechanisms in Agent-Oriented Programming. 647-654
Expert Systems
- Leora Morgenstern, Moninder Singh: An Expert System Using Nonmonotonic Techniques for Beneefits Inquiry in the Insurance Industry. 655-661
- Stefan Kramer, Hermann Kaindl, Stefan Schlee: Can We Benefit from Metrics in KBS Development? 662-667
- John Kingston, Anna Griffith, Terri Lydiard: Multi-Perspective Modeling of the Air Camaign Planning Process. 668-677
Game Playing
Game Playing 1: Go
- Patrick Ricaud: A Model of Strategy for the Game of Go Using Abstraction Mechanisms. 678-683
- Takuya Kojima, Kazuhiro Ueda, Saburo Nagano: An Evolutionary Algorithm Extended by Ecological Analogy and its Application to the Game of Go. 684-691
Game Playing 2
- Andreas Junghanns, Jonathan Schaeffer: Search Versus Knowledge in Game-Playing Programs Revisited. 692-697
- Christophe Meyer, Jean-Gabriel Ganascia, Jean-Daniel Zucker: Learning Strategies in Games by Anticipation. 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. 708-715
Information Retrieval 1
- Toshiki Kindo, Hideyuki Yoshida, Tetsuro Morimoto, Taisuke Watanabe: Adaptive Personal Information Filtering System that Organizes Personal Profiles Automatically. 716-721
- Yukio Ohsawa, Masahiko Yachida: An Index Navigator for Understanding and Expressing User's Coherent Interest. 722-728
- Nicholas Kushmerick, Daniel S. Weld, Robert B. Doorenbos: Wrapper Induction for Information Extraction. 729-737
Information Retrieval 2
- Masanori Sugimoto, Norio Katayama, Atsuhiro Takasu: COSPEX: A System for Constructing Private Digital Libraries. 738-744
- Wai Lam, Kon Fan Low, Chao Yang Ho: Using a Bayesian Network Induction Approach for Text Categorization. 745-750
- Scott B. Huffman, Catherine Baudin: Toward Structured Retrieval in Semi-structured Information Spaces. 751-757
Information Retrieval 3
- Gianni Amati, Fabio Crestani, Flavio Ubaldini: A Learning System for Selective Dissemination of Information. 764-769
- Thorsten Joachims, Dayne Freitag, Tom M. Mitchell: Web Watcher: A Tour Guide for the World Wide Web. 770-777
Information Retrieval 4
VOLUME 2
Learning
Learing 1
- 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
Learing 5: Applications
- 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
- Hagit Shatkay, Leslie Pack Kaelbling: Learning Topological Maps with Weak Local Odometric Information. 920-929
Learing 8
- Tatsuya Nomura: An Analysis on Crossovers for Real Number Chromosomes in an Infinite Population Size. 936-941
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
Natural-Language Processing 2: Machine Translation
- 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
- Marc Dymetman: Charts, Interaction-free Grammars, and the Compact Representation of Ambiguity. 1002-1009
Natural-Language Processing 4: Dialogue and Discourse
Natural-Language Processing 5: Dialogue and Discourse
- M. David Sadek, Philippe Bretier, E. 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
- 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
- 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
- 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
- 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
- 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
- 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
Probabilistic Reasoning 1: Efficiency
- David Poole: Probabilistic Partial Evaluation: Exploiting Rule Structure in Probabilistic Inference. 1284-1291
- John Binder, Kevin P. Murphy, Stuart J. 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
Probabilistic Reasoning 3
- Yoav Shoham: A Symmetric View of Utilities and Probabilities. 1324-1329
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
- 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
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
Temporal Reasoning 3
- 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
- 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 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T201401 by the dblp team