default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th IJCAI 1989: Detroit, Michigan, USA
- N. S. Sridharan:
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 G. 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 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, Gita 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 - Mingyi Zhang:
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 - Peter Friedland:
Artificial Intelligence and Space Exploration. 1676-1678 - Mark S. Fox:
(How) Is AI Impacting Manufacturing? 1679
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-28 01:48 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:
