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
Copyright © Sat May 16 23:23:26 2009
by Michael Ley (ley@uni-trier.de)
