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