11. IJCAI 1989:
Detroit, Michigan, USA
N. S. Sridharan (Ed.):
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, MI, USA, August 1989.
Morgan Kaufmann 1989, ISBN 1-55860-094-9 
- Marcello Frixione, Giuseppe Spinelli, Salvatore Gaglio:
Symbols and Subsymbols for Representing Knowledge: A Catalogue Raisonné.
3-7
- Nils Dahlbäck:
A Symbol Is Not a Symbol.
8-14
- Stuart J. Russell:
Execution Architectures and Compilation.
15-22
- Shie-rei Huang, Larry S. Davis:
Parallel Iterative A* Search: An Admissible Distributed Heuristic Search Algorithm.
23-29
- Rosanne M. Fulcomer, William E. Ball:
Correct Parallel Status Assignment for the Reason Maintenance System.
30-35
- Curt Powley, Richard E. Korf:
Single-Agent Parallel Window Search: A Summary of Results.
36-41
- Subir Bhattacharya, Amitava Bagchi:
Searching Game Trees in Parallel Using SSS.
42-47
- William S. Havens, Paul Stephen Rehfuss:
Platypus: A Constraint-Based Reasoning System.
48-53
- Paul R. Cooper, Michael J. Swain:
Domain Dependence in Parallel Constraint Satisfaction.
54-59
- Hans W. Guesgen:
A Universal Programming Language.
60-65
- Leon Sterling, L. Ümit Yalçinalp:
Explaining Prolog Based Expert Systems Using a Layered Meta-Interpreter.
66-71
- Thomas Graf, Pascal Van Hentenryck, Claudine Pradelles, Laurent Zimmer:
Simulation of Hybrid Circuits in Constraint Logic Programming.
72-77
- Z. I. Markov:
A Framework for Network Modeling in Prolog.
78-83
- Michael A. Kelly, Rudolph E. Seviora:
An Evaluation of DRete on CUPlD for OPSS Matching.
84-90
- Chinh-Chi Hsu, Feng-Hsu Wang:
The Search Ahead Conflict Resolution for Parallel Firing of Production Systems.
91-96
- Lisiane Goffaux, Robert Mathonet:
A Technique for Customizing Object-Oriented Knowledge Representation Systems, With An Application to Network Problem Management.
97-103
- Sanjaya Addanki, Roberto Cremonini, J. Scott Penberthy:
Contexts: Dynamic Identification of Common Parameters in Distributed Analysis of Complex Devices.
104-109
- Premkumar T. Devanbu, Peter G. Selfridge, Bruce W. Ballard, Ronald J. Brachman:
A Knowledge-Based Software Information System.
110-115
- Rudi Lutz:
Chart Parsing of Flowgraphs.
116-121
- Mark Perlin:
Call-Graph Caching: Transforming Programs into Networks.
122-128
- John Domingue, Marc Eisenstadt:
A New Metaphor for the Graphical Explanation of Forward-Chaining Rule Execution.
129-134
- Michael R. Wick, William B. Thompson:
Reconstructive Explanation: Explanation as Complex Problem Solving.
135-140
- Alex Kass:
Adaptation-Based Explanation: Extending Script/Frame Theory to Handle Novel Input.
141-150
- Yasusi Kanada, Masahiro Sugaya:
A Vectorization Technique for Prolog without Explosion.
151-156
- Nikos Drakos:
Unrestricted And-Parallel Execution of Logic Programs with Dependency Directed Backtracking.
157-162
- Bernd Schend:
A Sequential View of AND-Parallelism Through Partial AND-Processes.
163-169
- Tomas Hrycej:
Unsupervised Learning by Backward Inhibition.
170-175
- Chung-Jen Ho:
On Multi-Layered Connectionist Models: Adding Layers vs. Increasing Width.
176-179
- Vasant Honavar, Leonard Uhr:
Generation, Local Receptive Fields and Global Convergence Improve Perceptual Learning in Connectionist Networks.
180-185
- Hideto Tomabechi, Hiroaki Kitano:
Beyond PDP: The Frequency Modulation Neural Network Architecture.
186-192
- David Handelman, Stephen H. Lane, Jack Gelfand:
Integrating Knowledge-Based System and Neural Network Techniques for Robotic Skill Acquisition.
193-198
- Edward Rothberg, Anoop Gupta:
Experiences Implementing a Parallel ATMS on a Shared-Memory Multiprocessor.
199-205
- Stephen S. Wilson:
Neural Computing on a One Dimensional SIMD Array.
206-211
- James Rice:
The ELINT Application on Poligon: The Architecture and Performance of a Concurrent Blackboard System.
212-220
- John K. Debenham:
The Implementation of Expert, Knowledge-Based Systems.
221-226
- F. D. Highland, Christine T. Iwaskiw:
Knowledge Base Compilation.
227-232
- Richard H. Stottler, Andrea L. Henke, James A. King:
Rapid Retrieval Algorithms for Case-Based Reasoning.
233-237
- Shashi Shekhar, Soumitra Dutta:
Minimizing Response Times in Real Time Planning and Search.
238-242
- Barbara Hayes-Roth, Richard Washington, Rattikorn Hewett, Micheal Hewett, Adam Seiver:
Intelligent Monitoring and Control.
243-249
- Richard Washington, Barbara Hayes-Roth:
Input Data Management in Real-Time AI Systems.
250-255
- Rajendra T. Dodhiawala, N. S. Sridharan, Peter Raulefs, Cynthia Pickering:
Real-Time AI Systems: A Definition and An Architecture.
256-264
- Kuo-Chu Chang, Robert M. Fung:
Node Aggregation for Distributed Inference in Bayesian Networks.
265-270
- Rina Dechter, Itay Meiri:
Experimental Evaluation of Preprocessing Techniques in Constraint Satisfaction Problems.
271-277
- Eugene C. Freuder:
Partial Constraint Satisfaction.
278-283
- Igor Rivin, Ramin Zabih:
An Algebraic Approach to Constraint Satisfaction Problems.
284-289
- Johan de Kleer:
A Comparison of ATMS and CSP Techniques.
290-296
- Anup K. Sen, Amitava Bagchi:
Fast Recursive Formulations for Best-First Search That Allow Controlled Use of Memory.
297-302
- Henry W. Davis, Anna Bramanti-Gregor, Xiaoteng Chen:
Towards Finding Optimal Solutions with Non-Admissible Heuristics: A New Technique.
303-308
- Mark S. Fox, Norman M. Sadeh, Can A. Baykan:
Constrained Heuristic Search.
309-315
- Peter C. Nelson, Lawrence J. Henschen:
Multi-Dimensional Heuristic Searching.
316-321
- Anton Scheucher, Hermann Kaindl:
The Reason for the Benefits of Minimax Search.
322-327
- Richard E. Korf:
Generalized Game Trees.
328-333
- Stuart J. Russell, Eric Wefald:
On Optimal Game-Tree Search using Rational Meta-Reasoning.
334-340
- Charles Elkan:
Conspiracy Numbers and Caching for Searching And/Or Trees and Theorem-Proving.
341-348
- Qiang Yang, Dana S. Nau:
Preprocessing Search Spaces for Branch and Bound Search.
349-353
- Vincent J. Digricoli, James J. Lu, V. S. Subrahmanian:
And-Or Graphs Applied to RUE Resolution.
354-358
- Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill, Andrew Stevens:
A Rational Reconstruction and Extension of Recursion Analysis.
359-365
- Dan Benanav:
Recognizing Unnecessary Inference.
366-371
- Fausto Giunchiglia, Toby Walsh:
Abstract Theorem Proving.
372-377
- Christoph Lingenfelder:
Structuring Computer Generated Proofs.
378-383
- M. J. Shensa:
A Computational Structure for the Propositional Calculus.
384-388
- Mehdi T. Harandi, Sanjay Bhansali:
Program Derivation Using Analogy.
389-394
- Marco A. Casanova, Ramiro A. de T. Guerreiro, Andrea Silva:
Logic Programming with General Clauses and Defaults Based on Model Elimination.
395-400
- Rolf Socher-Ambrosius:
Reducing the Derivation of Redundant Clauses in Reasoning Systems.
401-406
- Maurice Bruynooghe, Luc De Raedt, Danny De Schreye:
Explanation Based Program Transformation.
407-412
- Peter Madden:
The Specialization and Transformation of Constructive Existence Proofs.
413-418
- Dongming Wang:
On Wu's Method for Proving Constructive Geometric Theorems.
419-424
- Domenico Cantone, Eugenio G. Omodeo:
On the Decidability of Formulae Involving Continuous and Closed Functions.
425-430
- Elisha Sacks:
An Approximate Solver for Symbolic Equations.
431-434
- Xuhua Liu:
Lock, Linear Lambda-Paramodulation in Operator Fuzzy Logic.
435-440
- Yves Auffray, Patrice Enjalbert:
Modal Theorem Proving: An Equational Viewpoint.
441-445
- Timothy M. Lownie:
Extending Reflective Architectures.
446-451
- Thomas B. Kane:
Maximum Entropy in Nilsson's Probabilistic Logic.
452-457
- Bijan Arbab:
How to Represent Opaque Sentences in First Order Logic.
458-462
- Andrew B. Baker, Matthew L. Ginsberg:
A Theorem Prover for Prioritized Circumscription.
463-467
- Peter K. Rathmann, Marianne Winslett:
Circumscribing Equality.
468-476
- Jim E. Greer, Gordon I. McCalla:
A Computational Framework for Granularity and its Application to Educational Diagnosis.
477-482
- Rick Evertsz:
The Generation of `Critical Problems' by Abstract Interpretations of Student Models.
483-488
- Sarah A. Douglas, Zheng-Yang Liu:
Generating Causal Explanation from a Cardio-Vascular Simulation.
489-496
- Victor R. Lesser, Daniel D. Corkill, Robert Whitehair, J. A. Hernandez:
Focus of Control Through Goal Relationships.
497-503
- Kristian J. Hammond:
Opportunistic Memory.
504-510
- Gregg Collins, Lawrence Birnbaum, Bruce Krulwich:
An Adaptive Model of Decision-Making in Planning.
511-516
- Katia P. Sycara:
Argumentation: Planning Other Agents' Plans.
517-523
- Edwina L. Rissland, David B. Skalak:
Combining Case-Based and Rule-Based Reasoning: A Heuristic Approach.
524-530
- Martin Thost:
Generating Facts From Opinions with Information Source Models.
531-536
- Kevin D. Ashley:
Defining Salience in Case-Based Arguments.
537-542
- James C. Spohrer, Elliot Soloway:
Simulating Student Programmers.
543-549
- Alex Quilici:
The Correction Machine: Formulating Explanations for User Misconceptions.
550-555
- Jayant Kalagnanam, Eswaran Subrahmanian:
Learning to Diagnose by Doing.
556-561
- Joel D. Martin:
Focusing Attention for Observational Learning: The Importance of Context.
562-567
- John A. Barnden:
Neural-Net Implementation of Complex Symbol-Processing in a Mental Model Approach to Syllogistic Reasoning.
568-573
- Dekai Wu:
A Probabilistic Approach to Marker Propagation.
574-582
- Wesley Braudaway, Chris Tong:
Automated Synthesis of Constrained Generators.
583-589
- Steve A. Chien:
Using and Refining Simplifications: Explanation-Based Learning of Plans in Intractable Domains.
590-595
- Peter Shell, Jaime G. Carbonell:
Towards a General Framework for Composing Disjunctive and Iterative Macro-operators.
596-602
- Seiji Yamada, Sabinro Tsuji:
Selective Learning of Macro-operators with Perfect Causality.
603-608
- David Ruby, Dennis F. Kibler:
Learning Subgoal Sequences for Planning.
609-614
- Larry A. Rendell:
A Study of Empirical Learning for an Involved Problem.
615-620
- Gregg Yost, Allen Newell:
A Problem Space Approach to Expert System Specification.
621-627
- Jitu Patel:
On the Road to Automatic Knowledge Engineering.
628-632
- Brian R. Gaines, Mildred L. G. Shaw:
Comparing the Conceptual Systems of Experts.
633-638
- Giulia Pagallo:
Learning DNF by Decision Trees.
639-644
- Christopher J. Matheus, Larry A. Rendell:
Constructive Induction On Decision Trees.
645-650
- Pankaj Mehra, Larry A. Rendell, Benjamin W. Wah:
Principled Constructive Induction.
651-656
- James Wogulis, Pat Langley:
Improving Efficiency by Learning Intermediate Concepts.
657-662
- Kenneth Basye, Thomas L. Dean, Jeffrey Scott Vitter:
Coping With Uncertainty in Map Learning.
663-668
- Paul D. Scott, Shaul Markovitch:
Learning Novel Domains Through Curiosity and Conjecture.
669-674
- Wei-Min Shen, Herbert A. Simon:
Rule Creation and Rule Learning Through Environmental Exploration.
675-680
- Amy Unruh, Paul S. Rosenbloom:
Abstraction in Problem Solving and Learning.
681-687
- Jude W. Shavlik:
Acquiring Recursive Concepts with Explanation-Based Learning.
688-693
- Prasad Tadepalli:
Lazy ExplanationBased Learning: A Solution to the Intractable Theory Problem.
694-700
- Jack Mostow, Armand Prieditis:
Discovering Admissible Heuristics by Abstracting and Optimizing: A Transformational Approach.
701-707
- George Drastal, Gabor Czako, Stan Raatz:
Induction in an Abstraction Space: A Form of Constructive Induction.
708-712
- Michael J. Pazzani:
Detecting and Correcting Errors of Omission After Explanation-Based Learning.
713-718
- Roberto Gemello, Franco Mana:
An Integrated Characterization and Discrimination Scheme to Improve Learning Efficiency in Large Data Sets.
719-724
- Raymond J. Mooney:
The Effect of Rule Use on the Utility of Explanation-Based Learning.
725-730
- Milind Tambe, Paul S. Rosenbloom:
Eliminating Expensive Chunks by Restricting Expressiveness.
731-737
- Shaul Markovitch, Paul D. Scott:
Utilization Filtering: A Method for Reducing the Inherent Harmfulness of Deductively Learned Knowledge.
738-743
- Russell Greiner, J. Likuski:
Incorporating Redundant Learned Rules: A Preliminary Formal Analysis of EBL.
744-749
- Rich Caruana, Larry J. Eshelman, J. David Schaffer:
Representation and Hidden Bias II: Eliminating Defining Length Bias in Genetic Search via Shuffle Crossover.
750-755
- Gunar E. Liepins, Mike R. Hilliard, Mark R. Palmer, G. Rangarajan:
Alternatives for Classifier System Credit Assignment.
756-761
- David J. Montana, Lawrence Davis:
Training Feedforward Neural Networks Using Genetic Algorithms.
762-767
- John R. Koza:
Hierarchical Genetic Algorithms Operating on Populations of Computer Programs.
768-774
- Raymond J. Mooney, Jude W. Shavlik, Geoffrey G. Towell, Alan Gove:
An Experimental Comparison of Symbolic and Connectionist Learning Algorithms.
775-780
- Sholom M. Weiss, Ioannis Kapouleas:
An Empirical Comparison of Pattern Recognition, Neural Nets, and Machine Learning Classification Methods.
781-787
- Douglas H. Fisher, Kathleen B. McKusick:
An Empirical Comparison of ID3 and Back-propagation.
788-793
- David W. Aha, Dennis F. Kibler:
Noise-Tolerant Instance-Based Learning Algorithms.
794-799
- Steven W. Norton:
Generating Better Decision Trees.
800-805
- David K. Tcheng, Bruce L. Lambert, Stephen C. Y. Lu, Larry A. Rendell:
Building Robust Learning Systems by Combining Induction and Optimization.
806-812
- Robert C. Holte, Liane Acker, Bruce W. Porter:
Concept Learning and the Problem of Small Disjuncts.
813-818
- Paul Thagard, Dawn M. Cohen, Keith J. Holyoak:
Chemical Analogies: Two Kinds of Explanation.
819-824
- Douglas H. Fisher:
Noise-Tolerant Conceptual Clustering.
825-830
- Mirsad Hadzikadic, David Y. Y. Yun:
Concept Formation by Incremental Conceptual Clustering.
831-836
- Wray L. Buntine:
A Critique of the Valiant Model.
837-842
- Qiong Gao, Ming Li:
The Minimum Description Length Principle and Its Application to Online Learning of Handprinted Characters.
843-848
- Luc De Raedt, Maurice Bruynooghe:
Towards Friendly Concept-Learners.
849-858
- Marianne Winslett:
Sometimes Updates Are Circumscription.
859-863
- Vladimir Lifschitz, Arkady Rabinov:
Things That Change by Themselves.
864-867
- Yves Lespérance:
A Formal Account of Self-Knowledge and Action.
868-874
- Monte Zweben, Megan Eskey:
Constraint Satisfaction with Delayed Evaluation.
875-880
- Daniel Weise:
Constraint Posting for Verifying VLSI Circuits.
881-886
- Walter Hamscher:
Temporally Coarse Representation of Behavior for Model-based Troubleshooting of Digital Circuits.
887-893
- Erik Sandewall:
Filter Preferential Entailment for the Logic of Action in Almost Continuous Worlds.
894-899
- Jay C. Weber:
A Parallel Algorithm for Statistical Belief Refinement and its use in Causal Reasoning.
900-905
- Andrew B. Baker, Matthew L. Ginsberg:
Temporal Projection and Explanation.
906-911
- Gilad Zlotkin, Jeffrey S. Rosenschein:
Negotiation and Task Sharing Among Autonomous Agents in Cooperative Domains.
912-917
- Moshe Tennenholtz, Yoram Moses:
On Cooperation in a Multi-Entity Model.
918-923
- Kurt Konolige, Martha E. Pollack:
Ascribing Plans to Agents.
924-930
- Jie Cheng, Keki B. Irani:
Ordering Problem Subgoals.
931-936
- Joachim Hertzberg, Alexander Horz:
Towards a Theory of Conflict Detection and Resolution in Nonlinear Plans.
937-942
- Subbarao Kambhampati, James A. Hendler:
Control of Refitting during Plan Reuse.
943-948
- Caroline C. Hayes:
A Model of Planning for Plan Efficiency: Taking Advantage of Operator Overlap.
949-953
- Yoav Shoham:
Time for Action: On the Relation Between Time, Knowledge and Action.
954-959
- Mark Drummond, Ken Currie:
Goal Ordering in Partially Ordered Plans.
960-965
- Anand S. Rao, Norman Y. Foo:
Minimal Change and Maximal Coherence: A Basis for Belief Revision and Reasoning about Actions.
966-971
- Michael P. Georgeff, François Felix Ingrand:
Decision-Making in an Embedded Reasoning System.
972-978
- Mark S. Boddy, Thomas L. Dean:
Solving Time-Dependent Planning Problems.
979-984
- Keiji Kanazawa, Thomas L. Dean:
A Model for Projection and Action.
985-990
- Pattie Maes:
The Dynamics of Action Selection.
991-997
- Naiping Keng, David Y. Y. Yun:
A Planning/Scheduling Methodology for the Constrained Resource Problem.
998-1003
- Patrick Prosser:
A Reactive Scheduling Agent.
1004-1009
- Ronen Feldman, Martin Charles Golumbic:
Constraint Satisfiability Algorithms for Interactive Student Scheduling.
1010-1016
- Lou Tychonievich, David Zaret, John Mantegna, Robert Evans, Eric Muehle, Scott Martin:
A Maneuvering-Board Approach to Path Planning with Moving Obstacles.
1017-1021
- Daryl H. Graf, Wilf R. LaLonde:
Neuroplanners and Their Application to Eyes/Head/Neck Coordination.
1022-1028
- Bo Zhang, Ling Zhang, Tian Zhang:
Motion Planning of Multi-Joint Robotic Arm with Topological Dimension Reduction Method.
1029-1034
- Luiz Homem de Mello, Arthur C. Sanderson:
Representations of Assembly Sequences.
1035-1042
- Gerhard Brewka:
Preferred Subtheories: An Extended Logical Framework for Default Reasoning.
1043-1048
- Ulrich Junker:
A Correct Non-Monotonic ATMS.
1049-1054
- Murray Shanahan:
Prediction is Deduction but Explanation is Abduction.
1055-1060
- Hector J. Levesque:
A Knowledge-Level Account of Abduction.
1061-1067
- Daniel G. Schwartz:
Outline of a Naive Semantics for Reasoning with Qualitative Linguistic Information.
1068-1073
- Eugene Charniak, Robert P. Goldman:
A Semantics for Probabilistic Quantifier-Free First-Order Languages, with Particular Application to Story Understanding.
1074-1079
- Stig K. Andersen, Kristian G. Olesen, Finn Verner Jensen, Frank Jensen:
HUGIN - A Shell for Building Bayesian Belief Universes for Expert Systems.
1080-1085
- Lin Padgham:
Negative Reasoning Using Inheritance.
1086-1092
- Krishnaprasad Thirunarayan, Michael Kifer:
An Evidence-based Framework for a Theory of Inheritance.
1093-1098
- Krishnaprasad Thirunarayan, Michael Kifer, David Scott Warren:
On the Declarative Semantics of Inheritance Networks.
1099-1103
- Fahiem Bacchus:
A Modest, but Semantically Well Founded, Inheritance Reasoner.
1104-1109
- Didier Dubois, Henri Prade:
Measure-Free Conditioning, Probability and Non-Monotonic Reasoning.
1110-1114
- Gregory M. Provan:
An Analysis of ATMS-Based Techniques for Computing Dempster-Shafer Belief Functions.
1115-1120
- Eric Horvitz, Gregory F. Cooper, David Heckerman:
Reflection and Action Under Scarce Resources: Theoretical Principles and Empirical Study.
1121-1127
- Bon K. Sy:
Qualitative Reasoning of Bayesian Belief Using Meta-knowledge.
1128-1133
- Craig Boutilier:
A Semantical Approach to Stable Inheritance Reasoning.
1134-1139
- Bart Selman, Hector J. Levesque:
The Tractability of Path-Based Inheritance.
1140-1145
- David W. Etherington, Alexander Borgida, Ronald J. Brachman, Henry A. Kautz:
Vivid Knowledge and Tractable Reasoning.
1146-1152
- Lynn Andrea Stein:
Skeptical Inheritance: Computing the Intersection of Credulous Extensions.
1153-1160
- Ronald Fagin, Joseph Y. Halpern:
Uncertainty, Belief, and Probability.
1161-1167
- Yoav Shoham, Yoram Moses:
Belief as Defeasible Knowledge.
1168-1173
- Yoshiteru Ishida:
Using Global Properties for Qualitative Reasoning: A Qualitative System Theory.
1174-1179
- Renato de Mori, Robert Prager:
Perturbation Analysis with Qualitative Models.
1180-1186
- Jon Doyle, Elisha Sacks:
Stochastic Analysis of Qualitative Dynamics.
1187-1192
- Eero Hyvönen:
Constraint Reasoning Based on Interval Arithmetic.
1193-1198
- Yasushi Fujiwara, Shinichi Honiden:
Relating the TMS to Autoepistemic Logic.
1199-1205
- Michael Reinfrank, Oskar Dressler, Gerhard Brewka:
On the Relation Between Truth Maintenance and Autoepistemic Logic.
1206-1212
- Kurt Konolige:
On the Relation Between Autoepistem ic Logic and Circumscription.
1213-1218
- Raghu Karinthi, Dana S. Nau:
Using a Feature Algebra for Reasoning about Geometric Feature Interactions.
1219-1224
- Andrew Gelsey:
Automated Physical Modeling.
1225-1230
- Richard J. Doyle, Suzanne M. Sellers, David Atkinson:
A Focused, Context-Sensitive Approach to Monitoring.
1231-1237
- Daniel Dvorak, Benjamin Kuipers:
Model-Based Monitoring of Dynamic Systems.
1238-1243
- Zhang Mingyi:
Approximation of Indistinct Concepts.
1244-1248
- Andreas Dengel, Gerhard Barth:
ANASTASIL: A Hybrid Knowledge-Based System for Document Layout Analysis.
1249-1254
- Klaus Nökel:
Temporal Matching: Recognizing Dynamic Situations from Discrete Measurements.
1255-1260
- Louise Travé-Massuyès, Núria Piera:
The Orders of Magnitude Models as Qualitative Algebras.
1261-1266
- Patrick J. Hayes, Michael Leyton:
Processes at Discontinuities.
1267-1272
- Kenneth D. Forbus:
Introducing Actions into Qualitative Simulation.
1273-1278
- David L. Hibler, Gautam Biswas:
The Thought Experiment Approach to Qualitative Physics.
1279-1284
- Mira Balaban, Neil V. Murray:
The Logic of Time Structures: Temporal and Nonmonotonic Features.
1285-1290
- Peter van Beek:
Approximation Algorithms for Temporal Reasoning.
1291-1296
- Malik Ghallab, A. Mounir Alaoui:
Managing Efficiently Temporal Relations Through Indexed Spanning Trees.
1297-1303
- David Poole:
Normality and Faults in Logic-Based Diagnosis.
1304-1310
- Luca Console, Daniele Theseider Dupré, Pietro Torasso:
A Theory of Diagnosis for Incomplete Causal Models.
1311-1317
- Peter Struss, Oskar Dressler:
"Physical Negation" Integrating Fault Models into the General Diagnostic Engine.
1318-1323
- Johan de Kleer, Brian C. Williams:
Diagnosis with Behavioral Modes.
1324-1330
- Boi Faltings, Emmanuel Baechler, J. Primus:
Reasoning about Kinematic Topology.
1331-1336
- Leo Joskowicz:
Simplification and Abstraction of Kinematic Behaviors.
1337-1342
- Richard J. Doyle:
Reasoning About Hidden Mechanisms.
1343-1349
- Massimo Gallanti, Marco Roncato, Alberto Stefanini, Giorgio Tornielli:
A Diagnostic Algorithm based on Models at Different Level of Abstraction.
1350-1355
- Yoshiyuki Koseki:
Experience Learning in Model-Based Diagnostic Systems.
1356-1362
- Jiah-Shing Chen, Sargur N. Srihari:
Candidate Ordering and Elimination in Model-Based Fault Diagnosis.
1363-1368
- Burkhard Freitag, Bernhard Huber, Wolfgang Womann:
An Integrated Knowledge Based Assembly Control System for Automobile Manufacturing.
1369-1374
- Joseph Y. Halpern:
An Analysis of First-Order Logics of Probability.
1375-1381
- Peter Jackson:
On the Semantics of Counterfactuals.
1382-1387
- Ashok K. Goel, B. Chandrasekaran:
Functional Representation of Designs and Redesign Problem Solving.
1388-1394
- Sanjay Mittal, Felix Frayman:
Towards a Generic Model of Configuraton Tasks.
1395-1401
- Francois Daube, Barbara Hayes-Roth:
A Case-Based Mechanical Redesign System.
1402-1407
- Witold Paluszynski, Ira Kalet:
Design Optimization Using Dynamic Evaluation.
1408-1412
- Hirofumi Katsuno, Alberto O. Mendelzon:
A Unified View of Propositional Knowledge Base Updates.
1413-1419
- Michael N. Huhns, Larry M. Stephens:
Plausible Inferencing Using Extended Composition.
1420-1425
- Ronald A. Sumida, Michael G. Dyer:
Storing and Generalizing Multiple Instances While Maintaining Knowledge-Level Parallelism.
1426-1431
- Sanjaya Addanki, Roberto Cremonini, J. Scott Penberthy:
Reasoning About Assumptions in Graphs of Models.
1432-1438
- Chris Tong, Phil Franklin:
Tuning a Knowledge Base of Refinement Rules To Create Good Circuit Designs.
1439-1445
- Kerstin Voigt, Chris Tong:
Automating the Construction of Patchers That Satisfy Global Constraints.
1446-1452
- Allen C. Ward, Tomás Lozano-Pérez, Warren P. Seering:
Extending the Constraint Propagation of Intervals.
1453-1460
- Wayne Wobcke:
A Schema-Based Approach to Understanding Subjunctive Conditionals.
1461-1466
- Katashi Nagao:
Semantic Interpretation Based on the Multi-World Model.
1467-1473
- Yasuhiro Katagiri:
Semantics of Perspectival Utterances.
1474-1479
- Giorgio Satta, Oliviero Stock:
Formal Properties and Implementation of Bidirectional Charts.
1480-1485
- Stefan Wermter:
Integration of Semantic and Syntactic Constraints for Structural Noun Phrase Disambiguation.
1486-1491
- Jürgen Allgayer, Roman M. Jansen-Winkeln, Carola Reddig, Norbert Reithinger:
Bidirectional Use of Knowledge in the Multi-modal NL Access System XTRA.
1492-1497
- Kurt Codden:
Computing Pronoun Antecedents in an English Query System.
1498-1503
- Johanna D. Moore, William R. Swartout:
A Reactive Approach to Explanation.
1504-1510
- John A. Bateman, Cécile Paris:
Phrasing a Text in Terms the User Can Understand.
1511-1517
- Wolfgang Finkler, Günter Neumann:
POPEL-HOW: A Distributed Parallel Model for Incremental Natural Language Production with Feedback.
1518-1523
- Sergei Nirenburg, Victor R. Lesser, Eric Nyberg:
Controlling a Language Generation Planner.
1524-1530
- Renato de Mori, Yoshua Bengio, Piero Cosi:
On the Generalization Capability of Multi-Layered Networks in the Extraction of Speech Properties.
1531-1536
- Egidio P. Giachin, Claudio Rullent:
A Parallel Parser for Spoken Natural Language.
1537-1542
- Sheryl R. Young, Wayne H. Ward, Alexander G. Hauptmann:
Layering Predictions: Flexible Use of Dialog Expectation in Speech Recognition.
1543-1549
- Ruqian Lu, Liu Yinghui, Xiaobin Li:
Computer-Aided Grammar Acquisition in the Chinese Understanding System CUSAGA.
1550-1555
- Uri Zernik:
Lexicon Acquisition: Learning from Corpus by Capitalizing on Lexical Categories.
1556-1564
- Alex Pentland, John Williams:
Perception of Non-Rigid Motion: Inference of Shape, Material and Force.
1565-1570
- John K. Tsotsos:
The Complexity of Perceptual Search Tasks.
1571-1577
- Rick Kjeldsen, Ruud M. Bolle, Andrea Califano, Russell W. Taylor:
A Homogeneous Framework for Visual Recognition.
1578-1584
- Li-Dong Cai:
A ``Small Leakage'' Model for Diffusion Smoothing of Image Data.
1585-1590
- Lifu Liu, Nanyuan Zhao, Bian Zhaoqi:
Can Early Stage Vision Detect Topology.
1591-1595
- Pascal Fua, Andrew J. Hanson:
Objective Functions for Feature Discrimination.
1596-1602
- Edwin P. D. Pednault:
Some Experiments in Applying Inductive Inference Principles to Surface Reconstruction.
1603-1609
- Gang Xu, Saburo Tsuji:
Three-Dimensional Interpretation of Quadrilaterals.
1610-1616
- Michelle Y. Kim:
Visual Reasoning in Geometry Theorem Proving.
1617-1622
- Robert B. Fisher, Mark J. L. Orr:
Experiments with a Network-Based Geometric Reasoning Engine.
1623-1628
- Minoru Asada, Yoshiaki Shirai:
Building a World Model for a Mobile Robot Using Dynamic Semantic Constraints.
1629-1634
- Dana H. Ballard:
Reference Frames for Animate Vision.
1635-1641
- Andres Huertas, William Cole, Ramakant Nevatia:
Using Generic Knowledge in Analysis of Aerial Scenes: A Case Study.
1642-1648
- John R. Jordan III, Alan C. Bovik, Wilson S. Geisler:
Chromatic Stereopsis.
1649-1654
- Lawrence B. Wolff, Terrance E. Boult:
Using Line Correspondence Stereo to Measure Surface Orientation.
1655-1660
- Gang Xu, Hideki Kondo, Saburo Tsuji:
A Region-Based Stereo Algorithm.
1661-1668
- Stephen W. Smoliar:
The Challenge of Neural Darwinism.
1669-1671
- David P. Miller:
Robot Navigation.
1672-1674
- Perry W. Thorndyke:
High-Impact Future Research Directions for Artificial Intelligence.
1675-1675
- Peter Friedland:
Artificial Intelligence and Space Exploration.
1676-1678
- Mark S. Fox:
(How) Is AI Impacting Manufacturing?
1679
Last update Fri May 24 04:49:28 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
