conf/ijcai/UtsuroMN93:::Takehito Utsuro::Yuji Matsumoto::Makoto Nagao:::Verbal Case Frame Acquisition from Bilingual Corpora.
conf/ijcai/BlumF95:::Avrim Blum::Merrick L. Furst:::Fast Planning Through Planning Graph Analysis.
conf/ijcai/MosesT93:::Yoram Moses::Moshe Tennenholtz:::Off-line Reasoning for On-line Efficiency.
conf/ijcai/Raulefs87:::Peter Raulefs:::A Representation Framework for Continuous Dynamic Systems.
conf/ijcai/AyebW93:::Béchir el Ayeb::Shengrui Wang:::Computing Effect-to-Cause/Cause-to-Effect Diagnoses Within NdL.
conf/ijcai/Wilks85:::Yorick Wilks:::Responsible Computers?
conf/ijcai/FedericiPY95:::Stefano Federici::Vito Pirrelli::François Yvon:::A dynamic approach to paradigm-driven analogy.
conf/ijcai/LewisJ77:::R. A. Lewis::A. R. Johnston:::A Scanning Laser Rangefinder for a Robotic Vechicle.
conf/ijcai/RaoB95:::Rajesh P. N. Rao::Dana H. Ballard:::Natural Basis Functions and Topographic Memory for Face Recognition.
conf/ijcai/RayC01:::Soumya Ray::Mark Craven:::Representing Sentence Structure in Hidden Markov Models for Information Extraction.
conf/ijcai/ReinefeldSM85:::Alexander Reinefeld::Jonathan Schaeffer::T. Anthony Marsland:::Information Acquisition in Minimal Window Search.
conf/ijcai/DemolombeC91:::Robert Demolombe::Luis Fariñas del Cerro:::An Inference Rule for Hypothesis Generation.
conf/ijcai/WoodsM73:::William A. Woods::John Makhoul:::Mechanical Inference Prohlems in Continuous Speech Understanding.
conf/ijcai/IwahoriKBWI97:::Yuji Iwahori::Wataru Kato::Shoaib Bhuiyab::Robert J. Woodham::Naohiro Ishii:::Neural Network Based Photometric Strereo Using Illumination Planning.
conf/ijcai/JoachimsFM97:::Thorsten Joachims::Dayne Freitag::Tom M. Mitchell:::Web Watcher: A Tour Guide for the World Wide Web.
conf/ijcai/Junker97:::Ulrich Junker:::A Cumulative-Model Semantics for Dynamic Preferences on Assumptions.
conf/ijcai/Roth99:::Dan Roth:::Learning in Natural Language.
conf/ijcai/SenB93:::Anup K. Sen::Amitava Bagchi:::Non-Order-Preserving Evaluation Functions: Recursive Graph-Search Methods for Job Sequencing Problems.
conf/ijcai/Shen93:::Wei-Mein Shen:::Learning Finite Automata Using Local Distinguishing Experiments.
conf/ijcai/NakanoN71:::Kaoru Nakano::Jin-ichi Nagumo:::Information Processing Using a Model of Associative Memory.
conf/ijcai/MimaFI97:::Hideki Mima::Osamu Furuse::Hitoshi Iida:::Improving Performance of Transfer-Driven Machine Translation with Extra-Linguistic Informatioon from Context, Situation and Environment.
conf/ijcai/TharpK69:::Alan L. Tharp::Gilbert K. Krulee:::Using Relational Operators to Structure Long-Term Memory.
conf/ijcai/AntoniouO83:::Grigoris Antoniou::Hans Jürgen Ohlbach:::TERMINATOR.
conf/ijcai/ChunBA87:::Hon Wai Chun::Lawrence A. Bookman::Niki Afshartous:::Network Regions: Alternatives to the Winner-Take-All Structure.
conf/ijcai/KhardonR95:::Roni Khardon::Dan Roth:::Default-Reasoning with Models.
conf/ijcai/Furukawa81:::Koichi Furukawa:::Use of Data Representation Mapping in Automatic Generation of Data Base Access Procedures.
conf/ijcai/Marsland83:::T. Anthony Marsland:::Relative Efficiency of Alpha-Beta Implementations.
conf/ijcai/DaviesG01:::Jim Davies::Ashok K. Goel:::Visual Analogy in Problem Solving.
conf/ijcai/Ishida77:::T. Ishida:::Force Control in Coordination of Two Arms.
conf/ijcai/UhrD77:::Leonard Uhr::R. J. Douglass:::A `Recognition Cone' Perceptual System: Brief Test Results.
conf/ijcai/Hayes77a:::Philip J. Hayes:::On Semantic Nets, Frames and Associations.
conf/ijcai/Kyburg87:::Henry E. Kyburg Jr.:::Objective Probabilities.
conf/ijcai/ValS93:::Alvaro del Val::Yoav Shoham:::Deriving Properties of Belief Update from Theories of Action (II).
conf/ijcai/StimpsonGW01:::Jeff L. Stimpson::Michael A. Goodrich::Lawrence C. Walters:::Satisficing and Learning Cooperation in the Prisoner s Dilemma.
conf/ijcai/Shirai75a:::Y. Shirai:::Edge Finding, Segmentation Of Edges And Recognition Of Complex Objects.
conf/ijcai/Brown81:::Richard H. Brown:::Automatic Synthesis of Numerical Computer Programs.
conf/ijcai/ShirazS97:::G. M. Shiraz::Claude Sammut:::Combining Knowledge Acquisition and Machine Learning to Control Dynamic Systems.
conf/ijcai/Wang89:::Dongming Wang:::On Wu's Method for Proving Constructive Geometric Theorems.
conf/ijcai/OhkoHA95:::Takuya Ohko::Kazuo Hiraki::Yuichiro Anzai:::Learning to Reduce Communication Cost on Task Negotiation among Multiple Autonomous Mobile Robots.
conf/ijcai/BraudawayT89:::Wesley Braudaway::Chris Tong:::Automated Synthesis of Constrained Generators.
conf/ijcai/Woods77:::William A. Woods:::Shortfall and Density Scoring Strategies for Speech Understanding Control.
conf/ijcai/EnsorG85:::J. Robert Ensor::John D. Gabbe:::Transactional Blackboards.
conf/ijcai/HintonL85:::Geoffrey E. Hinton::Kevin J. Lang:::Shape Recognition and Illusory Conjunctions.
conf/ijcai/Wong81:::Douglas Wong:::Language Comprehension in a Problem Solver.
conf/ijcai/SandholmSGL01:::Tuomas Sandholm::Subhash Suri::Andrew Gilpin::David Levine:::CABOB: A Fast Optimal Algorithm for Combinatorial Auctions.
conf/ijcai/Prade83:::Henri Prade:::A Synthetic View of Approximate Reasoning Techniques.
conf/ijcai/ErmanFLR73:::Lee D. Erman::R. D. Fenneli::Victor R. Lesser::D. R. Reddy:::System Organizations for Speech Understanding: Implications of Network and Multiprocessor Computer Architecture for AI.
conf/ijcai/Yang87:::Yiming Yang:::Combining Prediction, Syntactic Analysis and Semantic Analysis in Chinese Sentence Analysis.
conf/ijcai/KambhampatiH89:::Subbarao Kambhampati::James A. Hendler:::Control of Refitting during Plan Reuse.
conf/ijcai/Bundy75:::Alan Bundy:::Analysing Mathematical Proofs (Or Reading Between the Lines).
conf/ijcai/Thielscher95a:::Michael Thielscher:::Computing Ramifications by Postprocessing.
conf/ijcai/BurrC77:::D. J. Burr::Robert T. Chien:::A System for Stereo Computer Vision with Geometric Models.
conf/ijcai/Freuder89:::Eugene C. Freuder:::Partial Constraint Satisfaction.
conf/ijcai/BuchananFL71:::Bruce G. Buchanan::Edward A. Feigenbaum::Joshua Lederberg:::A Heuristic Programming Study of Theory Formation in Science.
conf/ijcai/Wilson87:::Stewart W. Wilson:::Hierarchical Credit Allocation in a Classifier System.
conf/ijcai/CarnielliCM91:::Walter Alexandre Carnielli::Luis Fariñas del Cerro::Mamede Lima Marques:::Contextual Negations and Reasoning with Contradictions.
conf/ijcai/Stanier75:::A. M. Stanier:::BRIBIP: A Bridge Bidding Program.
conf/ijcai/FranovaK91:::Marta Franová::Yves Kodratoff:::Solving "How to Clear a Block" with Constructive Matching Methodology.
conf/ijcai/Friedrich93:::Gerhard Friedrich:::Theory Diagnoses: A Concise Characterization of Faulty Systems.
conf/ijcai/Frisch85:::Alan M. Frisch:::Using Model Theory to Specify AI Programs.
conf/ijcai/RiazanovV01:::Alexandre Riazanov::Andrei Voronkov:::Splitting Without Backtracking.
conf/ijcai/Thompson77:::Alan M. Thompson:::The Navigation System of the JPL Robot.
conf/ijcai/Thompson85:::Terence R. Thompson:::Parallel Formulation of Evidential-Reasoning Theories.
conf/ijcai/GoldsteinG77:::Ira P. Goldstein::E. Grimson:::Annotated Production Systems: A Model for Skill Acquisition.
conf/ijcai/TomabechiK89:::Hideto Tomabechi::Hiroaki Kitano:::Beyond PDP: The Frequency Modulation Neural Network Architecture.
conf/ijcai/GoldsteinR77:::Ira P. Goldstein::R. B. Roberts:::NUDGE, A Knowledge-Based Scheduling Program.
conf/ijcai/KaskD95:::Kalev Kask::Rina Dechter:::GSAT and Local Consistency.
conf/ijcai/FilmanLM83:::Robert E. Filman::John Lamping::Fanya S. Montalvo:::Meta-Knowledge and Meta-Reasoning.
conf/ijcai/JouannaudKR83:::Jean-Pierre Jouannaud::Hélène Kirchner::Jean-Luc Remy:::Church-Rosser Properties of Weakly Terminating Term Rewriting Systems.
conf/ijcai/LovelandV83:::Donald W. Loveland::Marco Valtorta:::Detecting Ambiguity: An Example in Knowledge Evaluation.
conf/ijcai/PujariS99:::Arun K. Pujari::Abdul Sattar:::A New Framework for Reasoning about Points, Intervals and Durations.
conf/ijcai/SintekJEA01:::Michael Sintek::Markus Junker::Ludger van Elst::Andreas Abecker:::Using Information Extraction Rules for Extending Domain Ontologies.
conf/ijcai/Cowie83:::R. I. D. Cowie:::The Viewer's Place in Theories of Vision.
conf/ijcai/JacksonR87:::Peter Jackson::Han Reichgelt:::A General Proof Method for First-Order Modal Logic.
conf/ijcai/DeMoriRS75:::Renator DeMori::Silvano Rivoira::Angelo Serra:::A Speech Understanding System With Learning Capability.
conf/ijcai/FernandezFLS99:::Mary F. Fernandez::Daniela Florescu::Alon Y. Levy::Dan Suciu:::Verifying Integrity Constraints on Web Sites.
conf/ijcai/YangN89:::Qiang Yang::Dana S. Nau:::Preprocessing Search Spaces for Branch and Bound Search.
conf/ijcai/TraversoS95:::Paolo Traverso::Luca Spalazzi:::A Logic for Acting, Sensing and Planning.
conf/ijcai/MarkovitchS93:::Shaul Markovitch::Yaron Sella:::Learning of Resource Allocation Strategies for Game Playing.
conf/ijcai/Sloman85:::Aaron Sloman:::What Enables a Machine to Understand?
conf/ijcai/BowlingV01:::Michael H. Bowling::Manuela M. Veloso:::Rational and Convergent Learning in Stochastic Games.
conf/ijcai/Euzenat95:::Jérôme Euzenat:::An Algebraic Approach to Granularity in Qualitative Time and Space Representation.
conf/ijcai/Kern-Isberner99:::Gabriele Kern-Isberner:::Postulates for Conditional Belief Revision.
conf/ijcai/LaubschE81:::Joachim Laubsch::Marc Eisenstadt:::Domain Specific Debugging Aids for Novice Programmers.
conf/ijcai/SiklossyM71:::Laurent Siklóssy::Vesko Marinov:::Heuristic Search vs. Exhaustive Search.
conf/ijcai/SiklossyS75:::Laurent Siklóssy::D. Sykas:::Automatic Program Synthesis from Example Problems.
conf/ijcai/TchengLLR89:::David K. Tcheng::Bruce L. Lambert::Stephen C. Y. Lu::Larry A. Rendell:::Building Robust Learning Systems by Combining Induction and Optimization.
conf/ijcai/YokooSM01a:::Makoto Yokoo::Yuko Sakurai::Shigeo Matsubara:::Bundle Design in Robust Combinatorial Auction Protocol against False-name Bids.
conf/ijcai/GodoHE01:::Lluis Godo::Petr Hájek::Francesc Esteva:::A Fuzzy Modal Logic for Belief Functions.
conf/ijcai/Yokomori87:::Takashi Yokomori:::Inductive Inference of Context-free Languages- Context-free Expression Method.
conf/ijcai/BeurleCG69:::R. L. Beurle::A. J. Crawford::R. B. Guy:::Character Recognition Using a Log-Autocorrelation Function.
conf/ijcai/BeurleDH69:::R. L. Beurle::M. V. Daniels::B. L. Hills:::The Effect of Noise on Visual Pattern Recognition.
conf/ijcai/Reyle85:::Uwe Reyle:::Grammatical Functions, Discourse, Referents, and Quantification.
conf/ijcai/WolpertST01:::David Wolpert::Joseph Sill::Kagan Tumer:::Reinforcement Learning in Distributed Domains: Beyond Team Games.
conf/ijcai/DengelE89:::Andreas Dengel::Gerhard Barth:::ANASTASIL: A Hybrid Knowledge-Based System for Document Layout Analysis.
conf/ijcai/GoldmanDF85:::Seth R. Goldman::Michael G. Dyer::Margot Flowers:::Learning to Understand Contractual Situations.
conf/ijcai/ZagoruykoS71:::N. G. Zagoruyko::K. F. Samokhvalov:::Hypothesis of Simplicity in Pattern Recognition.
conf/ijcai/MostowC85:::Jack Mostow::Donald Cohen:::Automating Program Speedup by Deciding What to Cache.
conf/ijcai/LeckieD97:::Christopher Leckie::Michael Dale:::Locating Faults in Tree-Structured Networks.
conf/ijcai/Dixon77:::A. H. Dixon:::Generation of Descriptions for Line Drawings.
conf/ijcai/Tarver93:::Mark Tarver:::A Language for Implementing Arbitrary Logics.
conf/ijcai/Davidsson97:::Paul Davidsson:::Integrating Models of Discrimination and Characterization for Learning from Examples in Open Domains.
conf/ijcai/FaltingsG97:::Boi Faltings::Esther Gelle:::Local Consistency for Ternary Numeric Constraints.
conf/ijcai/DuboisP93:::Didier Dubois::Henri Prade:::Belief Revision and Updates in Numerical Formalisms: An Overview, with new Results for the Possibilistic Framework.
conf/ijcai/Faugeras87:::Olivier D. Faugeras:::Artificial 3D Vision.
conf/ijcai/SmithG95:::Barbara M. Smith::Stuart A. Grant:::Sparse Constraint Graphs and Exceptionally Hard Problems.
conf/ijcai/AsherV95:::Nicholas Asher::Laure Vieu:::Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology.
conf/ijcai/TorreT99:::Leendert W. N. van der Torre::Yao-Hua Tan:::Rights, Duties and Commitments between Agents.
conf/ijcai/Nash-WebberR77:::B. Nash-Webber::Raymond Reiter:::Anaphora and Logical Form: On Formal Meaning Representations for Natural Language.
conf/ijcai/DevilleBH97:::Yves Deville::Olivier Barette::Pascal Van Hentenryck:::Constraint Satisfaction over Connected Row Convex Constraints.
conf/ijcai/MintonHF85:::Steven Minton::Philip J. Hayes::Jill Fain:::Controlling Search in Flexible Parsing.
conf/ijcai/Xuhua89:::Liu Xuhua:::Lock, Linear Lambda-Paramodulation in Operator Fuzzy Logic.
conf/ijcai/IkedaKM93:::Mitsuru Ikeda::Yasuyuki Kono::Riichiro Mizoguchi:::Nonmonotonic Model Inference-A Formalization of Student Modeling.
conf/ijcai/VelingW99:::Anne Veling::Peter van der Weerd:::Conceptual Grouping in Word Co-Occurrence Networks.
conf/ijcai/Bullwinkle75:::C. Bullwinkle:::Picnics, Kittens And Wigs: Using Scenarios For The Sentence Competition Task.
conf/ijcai/BallardBF77:::Dana H. Ballard::Christopher M. Brown::Jay M. Feldman:::An Approach to Knowledge-Directed Image Analysis.
conf/ijcai/DorrG95:::Bonnie J. Dorr::Terry Gaasterland:::Selecting Tense, Aspect, and Connecting Words In Language Generation.
conf/ijcai/WinogradDDS85:::Terry Winograd::Randall Davis::Stuart Dreyfus::Brian Smith:::Expert Systems: How Far Can They Go?
conf/ijcai/SatoK97:::Taisuke Sato::Yoshitaka Kameya:::PRISM: A Language for Symbolic-Statistical Modeling.
conf/ijcai/AnandMMR91:::Rangachari Anand::Kishan Mehrotra::Chilukuri K. Mohan::Sanjay Ranka:::Analyzing Images Containing Multiple Sparse Patterns with Neural Networks.
conf/ijcai/JamesonSSW95:::Anthony Jameson::Ralph Schäfer::Joep Simons::Thomas Weis:::Adaptive Provision of Evaluation-Oriented Information: Tasks and Techniques.
conf/ijcai/Hearne83:::James W. Hearne:::Simulating Non-Deductive Reasoning.
conf/ijcai/Lhomme93:::Olivier Lhomme:::Consistency Techniques for Numeric CSPs.
conf/ijcai/McCorduckMSS77:::Pamela McCorduck::Marvin Minsky::Oliver G. Selfridge::Herbert A. Simon:::History of Artificial Intelligence.
conf/ijcai/DobrotinS73:::Boris M. Dobrotin::Victor D. Scheinman:::Design of a Computer Controlled Manipulator for Robot Research.
conf/ijcai/LanderL93:::Susan E. Lander::Victor R. Lesser:::Understanding the Role of Negotiation in Distributed Search Among Heterogereous Agents.
conf/ijcai/DoniniLNN91:::Francesco M. Donini::Maurizio Lenzerini::Daniele Nardi::Werner Nutt:::Tractable Concept Languages.
conf/ijcai/LenatBMTW83:::Douglas B. Lenat::Alan Borning::David McDonald::Craig Taylor::Steven Weyer:::Knoesphere: Building Expert Systems With Encyclopedic Knowledge.
conf/ijcai/Ligeza93:::Antoni Ligeza:::A Note on Backward Dual Resolution and Its Application to Proving Completeness of Rule-Based Systems.
conf/ijcai/KrolT75:::V. Krol::L. Tannenholz:::The Textural Analysis.
conf/ijcai/BaralG93:::Chitta Baral::Michael Gelfond:::Representing Concurrent Actions in Extended Logic Programming.
conf/ijcai/FreuderH93:::Eugene C. Freuder::Paul D. Hubbe:::Using Inferred Disjunctive Constraints To Decompose Constraint Satisfaction Problems.
conf/ijcai/Gigley85:::Helen M. Gigley:::Computational Neurolinguistics - What Is It All About?
conf/ijcai/Linke01:::Thomas Linke:::Graph Theoretical Characterization and Computation of Answer Sets.
conf/ijcai/ShenS89:::Wei-Min Shen::Herbert A. Simon:::Rule Creation and Rule Learning Through Environmental Exploration.
conf/ijcai/Barnett83:::Jeffrey A. Barnett:::Optimal Searches From AND and OR Nodes.
conf/ijcai/Williams85:::Lance R. Williams:::Spectral Continuity and Eye Vergence Movement.
conf/ijcai/ZhaoN95:::Qi Zhao::Toyoaki Nishida:::Qualitative Interpretation of Spectral Images: Reasoning with Uncertain Evidence.
conf/ijcai/YachidaT75:::Masahiko Yachida::Saburo Tsuji:::A Machine Vision For Complex Industrial Parts With Learning Capability.
conf/ijcai/Dayantis87:::George Dayantis:::Logic Program Derivation for a Class of First Order Logic Relations.
conf/ijcai/KatkereKMKSWHTCJ95:::Arun Katkere::Don Y. Kuramura::Saied Moezzi::Patrick Kelly::Deborah Swanberg::Koji Wakimoto::Edward Hunter::Li-Cheng Tai::Shankar Chatterjee::Ramesh Jain:::Multiple Perspective Interactive Video.
conf/ijcai/RaskuttiL99:::Bhavani Raskutti::Christopher Leckie:::An Evaluation of Criteria for Measuring the Quality of Clusters.
conf/ijcai/DudekFH93:::Gregory Dudek::Paul Freedman::Souad Hadjres:::Using Local Information in a Non-Local Way for Mapping Graph-Like Worlds.
conf/ijcai/BauerD99:::Mathias Bauer::Dietmar Dengler:::TrIAs: Trainable Information Assistants for Cooperative Problem Solving.
conf/ijcai/Fiedler99:::Armin Fiedler:::Using a Cognitive Architecture to Plan Dialogs for the Adaptive Explanation of Proofs.
conf/ijcai/Maida83:::Anthony S. Maida:::Knowing Intensional Individuals, and Reasoning About Knowing Intensional Individuals.
conf/ijcai/EneaC73:::Horace Enea::Kenneth Mark Colby:::Idiolectic Language-Analysis for Understanding Doctor-Patient Dialogues.
conf/ijcai/ReeceD95:::Steven Reece::Hugh F. Durrant-Whyte:::A Qualitative Approach to Sensor Data Fusion for Mobile Robot Navigation.
conf/ijcai/CollinsSGM99:::John Collins::Rashmi Sundareswara::Maria L. Gini::Bamshad Mobasher:::Bid Selection Strategies for Multi-agent Contracting in the Presence of Scheduling Constraints.
conf/ijcai/Friedman69:::Leonard Friedman:::Robot Control Strategy.
conf/ijcai/Friedman85:::Leonard Friedman:::Controlling Production Firing: The FCL Language.
conf/ijcai/Dershowitz85:::Nachum Dershowitz:::Synthesis by Completion.
conf/ijcai/WitkinT83:::Andrew P. Witkin::Jay M. Tenenbaum:::What Is Perceptual Organization For?
conf/ijcai/ShastriF85:::Lokendra Shastri::Jerome A. Feldman:::Evidential Reasoning in Semantic Networks: A Formal Theory.
conf/ijcai/FlynnH85:::Anita M. Flynn::John G. Harris:::Recognition Algorithms for the Connection Machine.
conf/ijcai/BallardT85:::Dana H. Ballard::Hiromi Tanaka:::Transformational Form Perception in 3D: Constraints, Algorithms, Implementation.
conf/ijcai/ShimazuNN83:::Akira Shimazu::Shozo Naito::Hirosato Nomura:::Japanese Language Semantic Analyzer Based on an Extended Case Frame Model.
conf/ijcai/Melis95:::Erica Melis:::A Model of Analogy-Driven Proof-Plan Construction.
conf/ijcai/GiunchigliaL95:::Enrico Giunchiglia::Vladimir Lifschitz:::Dependent Fluents.
conf/ijcai/BajcsyJKZ85:::Ruzena Bajcsy::Aravind K. Joshi::Eric Krotkov::Amy E. Zwarico:::LandScan: A Natural Language and Computer Vision System for Analyzing Aerial Images.
conf/ijcai/SohnG91:::Andrea Sohn::Jean-Luc Gaudiot:::A Macro Actor/Token Implementation of Production Systems on a Data-Mow Multiprocessor.
conf/ijcai/GiunchigliaNT01:::Enrico Giunchiglia::Massimo Narizzano::Armando Tacchella:::Backjumping for Quantified Boolean Logic Satisfiability.
conf/ijcai/Bochman95:::Alexander Bochman:::On Bimodal Nonmonotonic Logics and Their Unimodal and Nonmodal Equivalents.
conf/ijcai/Blicher87:::A. Peter Blicher:::A Shape Representation Based on Geometric Topology: Bumps, Gaussian Curvature, and the Topological Zodiac.
conf/ijcai/Laumond83:::Jean-Paul Laumond:::Model Structuring and Concept Recognition: Two Aspects of Learning for a Mobile Robot.
conf/ijcai/ShakshukiGK99:::Elhadi Shakshuki::Hamada Ghenniwa::Mohamed S. Kamel:::Information Gathering System: Internet Navigation.
conf/ijcai/ThorpeS83:::Charles E. Thorpe::Steven A. Shafer:::Correspondence in Line Drawings of Multiple Views of Objects.
conf/ijcai/MontanaD89:::David J. Montana::Lawrence Davis:::Training Feedforward Neural Networks Using Genetic Algorithms.
conf/ijcai/Montalvo77:::Fanya S. Montalvo:::Human Vision Paradox Implicates Relaxation Model.
conf/ijcai/RovnerH69:::Paul Rovner::D. Austin Henderson Jr.:::On the Implementation of AMBIT/G: A Graphical Programming Language.
conf/ijcai/SaitoN97:::Kazumi Saito::Ryohei Nakano:::Law Discovery using Neural Networks.
conf/ijcai/Lakemeyer93:::Gerhard Lakemeyer:::All They Know: A Study in Multi-Agent Autoepistemic Reasoning.
conf/ijcai/SaffiottiRK93:::Alessandro Saffiotti::Enrique H. Ruspini::Kurt Konolige:::Robust Execution of Robot Plans Using Fuzzy Logic.
conf/ijcai/DasHKT01:::Rajarshi Das::James E. Hanson::Jeffrey O. Kephart::Gerald Tesauro:::Agent-Human Interactions in the Continuous Double Auction.
conf/ijcai/BreazealS99:::Cynthia Breazeal::Brian Scassellati:::A Context-Dependent Attention System for a Social Robot.
conf/ijcai/PapazoglouZ91:::Mike P. Papazoglou::John Zeleznikow:::The Next Generation of Information Systems - From Intelligence to Distribution and Cooperation.
conf/ijcai/Fleck87:::Margaret M. Fleck:::Representing Space for Practical Reasoning.
conf/ijcai/GiunchigliaSGF93:::Fausto Giunchiglia::Luciano Serafini::Enrico Giunchiglia::Marcello Frixione:::Non-Omniscient Belief as Context-Based Resoning.
conf/ijcai/KurumataniN97:::Koichi Kurumatani::Mari Nakamura:::Qualitative Analysis of Causal Graphs with Equilibrium Type-Transition.
conf/ijcai/Nagao93:::Katashi Nagao:::Abduction and Dynamic Preference in Plan-Based Dialogue Understanding.
conf/ijcai/Sammet71:::Jean E. Sammet:::Challenge to Artificial Intelligence: Programming Problems to be Solved.
conf/ijcai/WeissKS77:::Sholom M. Weiss::Casimir A. Kulikowski::Aran Safir:::A Model-Based Consultation System for the Long-Term Management of Glaucoma.
conf/ijcai/OgasawaraR93:::Gary H. Ogasawara::Stuart J. Russell:::Planning Using Multiple Execution Architectures.
conf/ijcai/LesserCWH89:::Victor R. Lesser::Daniel D. Corkill::Robert Whitehair::J. A. Hernandez:::Focus of Control Through Goal Relationships.
conf/ijcai/MellishH83:::Chris Mellish::Steve Hardy:::Integrating Prolog Into the Poplog Environment.
conf/ijcai/NakataniOK95:::Tomohiro Nakatani::Hiroshi G. Okuno::Takeshi Kawabata:::Residue-Driven Architecture for Computational Auditory Scene Analysis.
conf/ijcai/WilliamsN97:::Brian C. Williams::P. Pandurang Nayak:::A Reactive Planner for a Model-based Executive.
conf/ijcai/Kanayama83:::Yutaka Kanayama:::Concurrent Programming of Intelligent Robots.
conf/ijcai/DaubeH89:::Francois Daube::Barbara Hayes-Roth:::A Case-Based Mechanical Redesign System.
conf/ijcai/KalmanP83:::J. A. Kalman::J. G. Peterson:::Computer-Aided Studies of All Possible Shortest Single Axioms for the Equivalential Calculus.
conf/ijcai/Lingenfelder89:::Christoph Lingenfelder:::Structuring Computer Generated Proofs.
conf/ijcai/ParisLFHPPS95:::Cécile Paris::Keith Vander Linden::Markus Fischer::Anthony Hartley::Lyn Pemberton::Richard Power::Donia Scott:::A Support Tool for Writing Multilingual Instructions.
conf/ijcai/FriedrichL91:::Gerhard Friedrich::Franz Lackinger:::Diagnosing Temporal Misbehavior.
conf/ijcai/DrummondC89:::Mark Drummond::Ken Currie:::Goal Ordering in Partially Ordered Plans.
conf/ijcai/Shneier77:::M. O. Shneier:::Recognition Using Semantic Constraints.
conf/ijcai/Cameron-Jones91:::R. Mike Cameron-Jones:::Visual Interpretation of Lambertian Surface Deformation.
conf/ijcai/BlellochR87:::Guy E. Blelloch::Charles R. Rosenberg:::Network Learning on the Connection Machine.
conf/ijcai/Harrison77:::Malcolm C. Harrison:::A Hierarchical Approach to Theorem-Proving.
conf/ijcai/Ngair93:::Teow-Hin Ngair:::A New Algorithm for Incremental Prime Implicate Generation.
conf/ijcai/ReimerH83:::Ulrich Reimer::Udo Hahn:::A Formal Approach to the Semantics of a Frame Data Model.
