Conferences in DBLP
Eugene C. Freuder Complexity of K-Tree Structured Constraint Satisfaction Problems. [Citation Graph (1, 0)][DBLP ] Conf ] Itay Meiri , Judea Pearl , Rina Dechter Tree Decomposition with Applications to Constraint Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Steven Minton , Mark D. Johnston , Andrew B. Philips , Philip Laird Solving Large-Scale Constraint-Satisfaction and Scheduling Problems Using a Heuristic Repair Method. [Citation Graph (2, 0)][DBLP ] Conf ] Sanjay Mittal , Brian Falkenhainer Dynamic Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Bernard A. Nadel The Complexity of Constraint Satisfaction in Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Qiang Yang An Algebraic Approach to Conflict Resolution in Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Ramin Zabih Some Applications of Graph Bandwidth to Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Toru Ishida , Makoto Yokoo , Les Gasser An Organizational Approach to Adaptive Production Systems. [Citation Graph (1, 0)][DBLP ] Conf ] Wing Lee , Dan I. Moldovan The Design of a Marker Passing Architecture for Knowledge Processing. [Citation Graph (1, 0)][DBLP ] Conf ] James G. Schmolze , Suraj Goel A Parallel Asynchronous Distributed Production System. [Citation Graph (2, 0)][DBLP ] Conf ] David Murray Bridgeland , Michael N. Huhns Distributed Truth Maintenance. [Citation Graph (0, 0)][DBLP ] Conf ] Susan E. Conry , D. J. MacIntosh , R. A. Meyer DARES: A Distributed Automated REasoning System. [Citation Graph (0, 0)][DBLP ] Conf ] Edmund H. Durfee , Thomas A. Montgomery A Hierarchical Protocol for Coordinating Mulitagent Behaviors. [Citation Graph (0, 0)][DBLP ] Conf ] Hector J. Levesque , Philip R. Cohen , José H. T. Nunes On Acting Together. [Citation Graph (0, 0)][DBLP ] Conf ] Gilad Zlotkin , Jeffrey S. Rosenschein Negotiation and Conflict Resolution in Non-Cooperative Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene Charniak , Solomon Eyal Shimony Probabilistic Semantics for Cost Based Abduction. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph Y. Halpern , Ronald Fagin Two Views of Belief: Belief as Generalized Probability and Belief as Evidence. [Citation Graph (2, 0)][DBLP ] Conf ] Yen-Teh Hsia The Belief Calculus and Uncertain Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Ross D. Shachter , Bruce D'Ambrosio , Brendan Del Favero Symbolic Probabilistic Inference in Belief Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Dean , Greg Siegle An Approach to Reasoning About Continuous Change for Applications in Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Drummond , John L. Bresina Anytime Synthetic Projection: Maximizing the Probability of Goal Satisfaction. [Citation Graph (0, 0)][DBLP ] Conf ] Charles Elkan Incremental, Approximate Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Roy Feldman , Paul Morris Admissible Criteria for Loop Control in Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Steve Hanks Practical Temporal Projection. [Citation Graph (0, 0)][DBLP ] Conf ] Froduald Kabanza Synthesis of Reactive Plans for Multi-Path Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Subbarao Kambhampati Mapping and Retrieval During Plan Reuse: A Validation Structure Based Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Subbarao Kambhampati A Theory of Plan Modification. [Citation Graph (0, 0)][DBLP ] Conf ] Martha E. Pollack , Marc Ringuette Introducing the Tileworld: Experimentally Evaluating Agent Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Marc B. Vilain Getting Serious About Parsing Plans: A Grammatical Analysis of Plan Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] Michael P. Wellman The STRIPS Assumption for Planning Under Uncertainty. [Citation Graph (0, 0)][DBLP ] Conf ] Qiang Yang , Josh D. Tenenberg ABTWEAK: Abstracting a Nonlinear, Least Commitment Planner. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew L. Ginsberg , Michael Frank , Michael P. Halpin , Mark C. Torrance Search Lessons Learned from Crossword Puzzles. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew L. Ginsberg , William D. Harvey Iterative Broadening. [Citation Graph (0, 0)][DBLP ] Conf ] Sunil Issar Path-Focused Duplication: A Search Procedure for General Matings. [Citation Graph (0, 0)][DBLP ] Conf ] Vikram A. Saletore , Laxmikant V. Kalé Consistent Linear Speedups to a First Solution in Parallel State-Space Search. [Citation Graph (0, 0)][DBLP ] Conf ] Nachum Dershowitz , Eli Pinchover Inductive Synthesis of Equational Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Emmanuel Kounalis , Michaël Rusinowitch Mechanizing Inductive Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] William McCune Skolem Functions and Equality in Automated Deduction. [Citation Graph (0, 0)][DBLP ] Conf ] Karen L. Myers Automatically Generating Universal Attachments Through Compilation. [Citation Graph (0, 0)][DBLP ] Conf ] Gerald E. Peterson Solving Term Inequalities. [Citation Graph (0, 0)][DBLP ] Conf ] Johan de Kleer Exploiting Locality in a TMS. [Citation Graph (1, 0)][DBLP ] Conf ] Kave Eshghi Computing Stable Models by Using the ATMS. [Citation Graph (1, 0)][DBLP ] Conf ] Ulrich Junker , Kurt Konolige Computing the Extensions of Autoepistemic and Default Logics with a Truth Maintenance System. [Citation Graph (0, 0)][DBLP ] Conf ] Louiqa Raschid Maintaining Consistency in a Stratified Production System Program. [Citation Graph (5, 0)][DBLP ] Conf ] Kristian J. Hammond , Timothy M. Converse Integrating Planning and Acting in a Case-Based Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Makoto Iwayama , Takenobu Tokunaga , Hozumi Tanaka A Method of Calculating the Measure of Salience in Understanding Metaphors. [Citation Graph (1, 0)][DBLP ] Conf ] Michael Redmond Distributed Cases for Case-Based Reasoning: Facilitating Use of Multiple Cases. [Citation Graph (0, 0)][DBLP ] Conf ] Evangelos Simoudis , James Miller Validated Retrieval in Case-Based Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Lawrence Birnbaum , Gregg Collins , Michael Freed , Bruce Krulwich Model-Based Diagnosis of Planning Failures. [Citation Graph (0, 0)][DBLP ] Conf ] Johan de Kleer , Alan K. Mackworth , Raymond Reiter Characterizing Diagnoses. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Friedrich , Georg Gottlob , Wolfgang Nejdl Physical Impossibility Instead of Fault Models. [Citation Graph (0, 0)][DBLP ] Conf ] Hwee Tou Ng , Raymond J. Mooney On the Role of Coherence in Abductive Explanation. [Citation Graph (0, 0)][DBLP ] Conf ] Bart Selman , Hector J. Levesque Abductive and Default Reasoning: A Computational Core. [Citation Graph (2, 0)][DBLP ] Conf ] Brian C. Williams Interaction-Based Invention: Designing Novel Devices from First Principles. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas D. Wu Efficient Diagnosis of Multiple Disorders Based on a Symptom Clustering Approach. [Citation Graph (0, 0)][DBLP ] Conf ] James M. Crawford , Adam Farquhar , Benjamin Kuipers QPC: A Compiler from Physical Models into Qualitative Differential Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Dennis DeCoste Dynamic Acioss-Time Measurement Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth D. Forbus , Brian Falkenhainer Self-Explanatory Simulations: An Integration of Qualitative and Quantitative Knowledge. [Citation Graph (1, 0)][DBLP ] Conf ] Joseph L. Hellerstein Obtaining Quantitative Predictions from Monotone Relationships. [Citation Graph (0, 0)][DBLP ] Conf ] Zheng-Yang Liu , Arthur M. Farley Shifting Ontological Perspectives in Reasoning About Physical Systems. [Citation Graph (1, 0)][DBLP ] Conf ] Shankar A. Rajamoney , Sang Hoe Koo Qualitative Reasoning with Microscopic Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel S. Weld Approximation Reformulations. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander S. Yeh Finding the Average Rates of Change in Repetitive Behavior. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Fischer , Andreas C. Lemke , Raymond McCall Towards a System Architecture Supporting Contextualized Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Danilo Fum , Paolo Giangrandi , Carlo Tasso Backward Model Tracing: An Explanation-Based Approach for Reconstructing Student Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] William R. Murray A Blackboard-based Dynamic Instructional Planner. [Citation Graph (1, 0)][DBLP ] Conf ] Steven Feiner , Kathleen McKeown Coordinating Text and Graphics in Explanation Generation. [Citation Graph (1, 0)][DBLP ] Conf ] Joseph Marks , Ehud Reiter Avoiding Unwanted Conversational Implicatures in Text and Graphics. [Citation Graph (0, 0)][DBLP ] Conf ] Johanna D. Moore , William R. Swartout Pointing: A Way Toward Explanation Dialogue. [Citation Graph (1, 0)][DBLP ] Conf ] Gordon S. Novak , William C. Bulko Understanding Natural Language with Diagrams. [Citation Graph (1, 0)][DBLP ] Conf ] Sandra Carberry Incorporating Default Inferences Into Plan Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas C. Lemke , Gerhard Fischer A Cooperative Problem Solving System for User Interface Design. [Citation Graph (0, 0)][DBLP ] Conf ] Karen E. Lochbaum , Barbara J. Grosz , Candace L. Sidner Models of Plans to Support Communication: An Initial Report. [Citation Graph (1, 0)][DBLP ] Conf ] Loren G. Terveen , David A. Wroblewski A Collaborative Interface for Editing Large Knowledge Bases. [Citation Graph (1, 0)][DBLP ] Conf ] Peter W. Mullarkey An Experiment in Direct Knowledge Acquisition. [Citation Graph (0, 0)][DBLP ] Conf ] Niall Murtagh , Masamichi Shimura Parametric Engineering Design Using Constraint-Based Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Young-Tack Park , David C. Wilkins Establishing the Coherence of an Evplanation to Improve Refinement of an Incomplete Knowledge Base. [Citation Graph (0, 0)][DBLP ] Conf ] D. Volovik , Imran A. Zualkernan , Paul E. Johnson , C. E. Matthews A Design Based Approach to Constructing Computational Solutions to Diagnostic Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Hector Geffner Causal Theories for Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Lakemeyer Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection. [Citation Graph (0, 0)][DBLP ] Conf ] Leora Morgenstern A Formal Theory of Multiple Agent Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Eunok Paek A Circumscriptive Theory for Causal and Evidential Support. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Cadoli , Maurizio Lenzerini The Complexity of Closed World Reasoning and Circumscription. [Citation Graph (3, 0)][DBLP ] Conf ] Rina Dechter On the Expressiveness of Networks with Hidden Variables. [Citation Graph (0, 0)][DBLP ] Conf ] Lokendra Shastri , Venkat Ajjanagadde An Optimally Efficient Limited Inference System. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan Stillman It's Not My Default: The Complexity of Membership Problems in Restricted Propositional Default Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Robert F. Hadley Connectionism, Rule Following, and Symbolic Manipulation. [Citation Graph (0, 0)][DBLP ] Conf ] Steffen Hölldobler A Structured Connectionist Unification Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Craig Boutilier Conditional Logics of Normality as Modal Systems. [Citation Graph (0, 0)][DBLP ] Conf ] David W. Etherington , Sarit Kraus , Donald Perlis Nonmonotonicity and the Scope of Reasoning: Preliminary Report. [Citation Graph (0, 0)][DBLP ] Conf ] Ramanathan V. Guha The Representation of Defaults in Cyc. [Citation Graph (0, 0)][DBLP ] Conf ] Piotr Rychlik The Generalized Theory of Model Preference. [Citation Graph (0, 0)][DBLP ] Conf ] Franz Baader Terminological Cycles in KL-ONE-based Knowledge Representation Languages. [Citation Graph (1, 0)][DBLP ] Conf ] Ramiro A. de T. Guerreiro , Andrea S. Hemerly , Yoav Shoham On the Complexity of Monotonic Inheritance with Roles. [Citation Graph (0, 0)][DBLP ] Conf ] John F. Horty , Richmond H. Thomason Boolean Extensions of Inheritance Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Albrecht Schmiedel Temporal Terminological Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Moisés Goldszmidt , Paul H. Morris , Judea Pearl A Maximum Entropy Approach to Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandro Saffiotti A Hybrid Framework for Representing Uncertain Knowledge. [Citation Graph (1, 0)][DBLP ] Conf ] Ken Satoh A Probabilistic Interpretation for Lazy Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Haim Schweitzer Probabilities that Imply Certainties. [Citation Graph (0, 0)][DBLP ] Conf ] Robert M. Colomb , Charles Y. C. Chung Very Fast Decision Table Execution of Propositional Expert Systems. [Citation Graph (1, 0)][DBLP ] Conf ] Don McKay , Timothy W. Finin , Anthony B. O'Hare The Intelligent Database Interface: Integrating AI and Database Systems. [Citation Graph (3, 0)][DBLP ] Conf ] Daniel P. Miranker , David A. Brant , Bernie Lofaso , David Gadbois On the Performance of Lazy Matching in Production Systems. [Citation Graph (4, 0)][DBLP ] Conf ] Milind Tambe , Paul S. Rosenbloom A Frameworkfor Investigating Production System Formulations with Polynomially Bounded Match. [Citation Graph (0, 0)][DBLP ] Conf ] John Yen A Principled Approach to Reasoning About the Specificity ofRules. [Citation Graph (1, 0)][DBLP ] Conf ] Glenn A. Kramer Solving Geometric Constraint Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Gerard Ligozat Weak Representations of Interval Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Amitabha Mukerjee , Gene Joe A Qualitative Model for Space. [Citation Graph (2, 0)][DBLP ] Conf ] Peter van Beek Reasoning about Qualitative Temporal Information. [Citation Graph (1, 0)][DBLP ] Conf ] Wray L. Buntine Myths and Legends in Learning Classification Rules. [Citation Graph (0, 0)][DBLP ] Conf ] William W. Cohen Learning from Textbook Knowledge: A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Usama M. Fayyad , Keki B. Irani What Should Be Minimized in a Decision Tree? [Citation Graph (1, 0)][DBLP ] Conf ] Alan M. Frisch , C. David Page Jr. Generalization with Taxonomic Information. [Citation Graph (0, 0)][DBLP ] Conf ] Robert M. Fung , Stuart L. Crawford Constructor: A System for the Induction of Probabilistic Models. [Citation Graph (2, 0)][DBLP ] Conf ] Dan Geiger , Azaria Paz , Judea Pearl Learning Causal Trees from Dependence Information. [Citation Graph (0, 0)][DBLP ] Conf ] Allen Ginsberg Theory Reduction, Theory Revision, and Retranslation. [Citation Graph (0, 0)][DBLP ] Conf ] Lawrence O. Hall , Steve G. Romaniuk A Hybrid Connectionist, Symbolic Learning System. [Citation Graph (0, 0)][DBLP ] Conf ] Hiroaki Kitano Empirical Studies on the Speed of Convergence of Neural Network Training Using Genetic Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Pattie Maes , Rodney A. Brooks Learning to Coordinate Behaviors. [Citation Graph (0, 0)][DBLP ] Conf ] Christopher J. Matheus Adding Domain Knowledge to SBL Through Feature Construction. [Citation Graph (0, 0)][DBLP ] Conf ] Yoichiro Nakakuki , Yoshiyuki Koseki , Midori Tanaka Inductive Learning in Probabilistic Domain. [Citation Graph (0, 0)][DBLP ] Conf ] Dirk Ourston , Raymond J. Mooney Changing the Rules: A Comprehensive Approach to Theory Refinement. [Citation Graph (1, 0)][DBLP ] Conf ] Paul S. Rosenbloom , Jans Aasman Knowledge Level and Inductive Uses of Chunking (EBL). [Citation Graph (0, 0)][DBLP ] Conf ] Cullen Schaffer A Proven Domain-Independent Scientific Function-Finding Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Wei-Min Shen Complementary Discrimination Learning: A Duality Between Generalization and Discrimination. [Citation Graph (0, 0)][DBLP ] Conf ] David B. Skalak , Edwina L. Rissland Inductive Learning in a Mixed Paradigm Setting. [Citation Graph (0, 0)][DBLP ] Conf ] Benjamin D. Smith , Paul S. Rosenbloom Incremental Non-Backtracking Focusing: A Polynomially Bounded Generalization Algorithm for Version Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] Ming Tan , Jeffrey C. Schlimmer Two Case Studies in Cost-Sensitive Concept Acquisition. [Citation Graph (0, 0)][DBLP ] Conf ] Geoffrey G. Towell , Jude W. Shavlik , Michiel O. Noordewier Refinement ofApproximate Domain Theories by Knowledge-Based Neural Networks. [Citation Graph (1, 0)][DBLP ] Conf ] Marc B. Vilain , Phyllis Koton , Melissa P. Chase On Analytical and Similarity-Based Classification. [Citation Graph (1, 0)][DBLP ] Conf ] Larry Watanabe , Larry A. Rendell Effective Generalization of Relational Descriptions. [Citation Graph (0, 0)][DBLP ] Conf ] Richard C. Yee , Sharad Saxena , Paul E. Utgoff , Andrew G. Barto Explaining Temporal Differences to Create Useful Concepts for Evaluating States. [Citation Graph (0, 0)][DBLP ] Conf ] Jan M. Zytkow , Jieming Zhu , Abul Hussam Automated Discovery in a Chemistry Laboratory. [Citation Graph (0, 0)][DBLP ] Conf ] Neeraj Bhatnagar , Jack Mostow Adaptive Search by Explanation-Based Learning of Heuristic Censors. [Citation Graph (1, 0)][DBLP ] Conf ] Brad Blumenthal Empirical Comparisons of Some Design Replay Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Megan Eskey , Monte Zweben Learning Search Control for Constraint-Based Scheduling. [Citation Graph (0, 0)][DBLP ] Conf ] Oren Etzioni Why PRODIGY/EBL Works. [Citation Graph (0, 0)][DBLP ] Conf ] Craig A. Knoblock Learning Abstraction Hierarchies for Problem Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Philip D. Laird , Evan Gamble Extending EBG to Term-Rewriting Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Stanley Letovsky Operationality Criteria for Recursive Predicates. [Citation Graph (0, 0)][DBLP ] Conf ] Devika Subramanian , Ronen Feldman The Utility of EBL in Recursive Domain Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Julia Hirschberg Accent and Discourse Context: Assigning Pitch Accent in Synthetic Speech. [Citation Graph (0, 0)][DBLP ] Conf ] Yasuhiro Katagiri Structure of Perspectivity: A Case of Japanese Reflexive Pronoun "zibun". [Citation Graph (0, 0)][DBLP ] Conf ] John Levine PRAGMA - A Flexible Bidirectional Dialogue System. [Citation Graph (1, 0)][DBLP ] Conf ] M. David Sadek Logical Task Modelling for Man-Machine Dialogue. [Citation Graph (0, 0)][DBLP ] Conf ] Rebecca J. Passonneau , Carl Weir , Timothy W. Finin , Martha Stone Palmer Integrating Natural Language Processing and Knowledge Based Processing. [Citation Graph (0, 0)][DBLP ] Conf ] David M. Magerman , Mitchell P. Marcus Parsing a Natural Language Using Mutual Information Statistics. [Citation Graph (0, 0)][DBLP ] Conf ] Manabu Okumura , Hozumi Tanaka Towards Incremental Disambiguation with a Generalized Discrimination Network. [Citation Graph (0, 0)][DBLP ] Conf ] Yeong-Ho Yu , Robert F. Simmons Truly Parallel Understanding of Text. [Citation Graph (1, 0)][DBLP ] Conf ] Jens Christensen A Hierarchical Planner that Generates Its Own Hierarchies. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Dean , Kenneth Basye , Robert Chekaluk , Seungseok Hyun , Moises Lejter , Margaret Randazza Coping with Uncertainty in a Control System for Navigation and Exploration. [Citation Graph (0, 0)][DBLP ] Conf ] Melinda T. Gervasio Learning General Completable Reactive Plans. [Citation Graph (0, 0)][DBLP ] Conf ] John E. Laird , Paul S. Rosenbloom Integrating, Execution, Planning, and Learning in Soar for External Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Lespérance , Hector J. Levesque Indexical Knowledge in Robot Plans. [Citation Graph (0, 0)][DBLP ] Conf ] Yanxi Liu , Robin J. Popplestone Symmetiy Constraint Inference in Assembly Planning: Automatic Assembly Configuration Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Peter K. Malkin , Sanjaya Addanki LOGnets: A Hybrid Graph Spatial Representation for Robot Navigation. [Citation Graph (0, 0)][DBLP ] Conf ] Tom M. Mitchell Becoming Increasingly Reactive. [Citation Graph (0, 0)][DBLP ] Conf ] Michael J. Black , P. Anandan Constraints for the Early Detection of Discontinuity from Motion. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Califano , Rakesh Mohan Generalized Shape Autocorrelation. [Citation Graph (0, 0)][DBLP ] Conf ] Jean Ponce , David J. Kriegman Computing Exact Aspect Graphs of Curved Objects: Parametric Surfaces. [Citation Graph (0, 0)][DBLP ] Conf ] Ronald J. Brachman The Future of Knowledge Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Jon Doyle Rationality and its Roles in Reasoning (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] David Haussler Probably Approximately Correct Learning. [Citation Graph (0, 0)][DBLP ] Conf ] David A. McAllester Truth Maintenance. [Citation Graph (1, 0)][DBLP ] Conf ] David L. Waltz Massivley Parallel AI. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Balzer AI and Software Engineering: Will the Twain Ever Meet? [Citation Graph (0, 0)][DBLP ] Conf ] Richard Fikes AI and Software Engineering - Managing Exploratory Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Mark S. Fox Looking for the AI in Software Engineering: An Applications Perspective. [Citation Graph (0, 0)][DBLP ] Conf ] John P. McDermott Developing Software is like Talking to Eskimos about Snow. [Citation Graph (0, 0)][DBLP ] Conf ] Elliot Soloway The Techies vs. the Non-techies: Today's Two Cultures. [Citation Graph (0, 0)][DBLP ] Conf ] Susan T. Dumais Panel: User Modeling and User Interfaces. [Citation Graph (0, 0)][DBLP ] Conf ] James D. Hollan User Modeling and User Interfaces: A Case for Domain Models, Task Models, and Tailorability. [Citation Graph (0, 0)][DBLP ] Conf ] Kathleen McKeown User Models and User Interfaces. [Citation Graph (0, 0)][DBLP ] Conf ] Karen Sparck Jones What's in a User? [Citation Graph (0, 0)][DBLP ] Conf ] 