Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar8. AAAI 1990: Boston, Massachusetts
Howard E. Shrobe, Thomas G. Dietterich, William R. Swartout:
Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29 - August 3, 1990, 2 Volumes. AAAI Press / The MIT Press 1990, ISBN 0-262-51057-X
Automated Reasoning
Constraint Satisfaction Problems
- Itay Meiri, Judea Pearl, Rina Dechter:
Tree Decomposition with Applications to Constraint Processing. AAAI 1990: 10-16 - Steven Minton, Mark D. Johnston, Andrew B. Philips, Philip Laird:
Solving Large-Scale Constraint-Satisfaction and Scheduling Problems Using a Heuristic Repair Method. AAAI 1990: 17-24 - Ramin Zabih:
Some Applications of Graph Bandwidth to Constraint Satisfaction Problems. AAAI 1990: 46-51
Distributed and Parallel Systems
- Toru Ishida, Makoto Yokoo, Les Gasser:
An Organizational Approach to Adaptive Production Systems. AAAI 1990: 52-58 - Wing Lee, Dan I. Moldovan:
The Design of a Marker Passing Architecture for Knowledge Processing. AAAI 1990: 59-64 - James G. Schmolze, Suraj Goel:
A Parallel Asynchronous Distributed Production System. AAAI 1990: 65-71
Distributed Artificial Intelligence
- Susan E. Conry, Douglas J. MacIntosh, Robert A. Meyer:
DARES: A Distributed Automated REasoning System. AAAI 1990: 78-85 - Edmund H. Durfee, Thomas A. Montgomery:
A Hierarchical Protocol for Coordinating Mulitagent Behaviors. AAAI 1990: 86-93 - Gilad Zlotkin, Jeffrey S. Rosenschein:
Negotiation and Conflict Resolution in Non-Cooperative Domains. AAAI 1990: 100-105
Evidential Reasoning
- Eugene Charniak, Solomon Eyal Shimony:
Probabilistic Semantics for Cost Based Abduction. AAAI 1990: 106-111 - Joseph Y. Halpern, Ronald Fagin:
Two Views of Belief: Belief as Generalized Probability and Belief as Evidence. AAAI 1990: 112-119 - Ross D. Shachter, Bruce D'Ambrosio, Brendan Del Favero:
Symbolic Probabilistic Inference in Belief Networks. AAAI 1990: 126-131
Planning
- Thomas Dean, Greg Siegle:
An Approach to Reasoning About Continuous Change for Applications in Planning. AAAI 1990: 132-137 - Mark Drummond, John L. Bresina:
Anytime Synthetic Projection: Maximizing the Probability of Goal Satisfaction. AAAI 1990: 138-144 - Subbarao Kambhampati:
Mapping and Retrieval During Plan Reuse: A Validation Structure Based Approach. AAAI 1990: 170-175 - Martha E. Pollack, Marc Ringuette:
Introducing the Tileworld: Experimentally Evaluating Agent Architectures. AAAI 1990: 183-189 - Marc B. Vilain:
Getting Serious About Parsing Plans: A Grammatical Analysis of Plan Recognition. AAAI 1990: 190-197 - Qiang Yang, Josh D. Tenenberg:
ABTWEAK: Abstracting a Nonlinear, Least Commitment Planner. AAAI 1990: 204-209
Search
- Matthew L. Ginsberg, Michael Frank, Michael P. Halpin, Mark C. Torrance:
Search Lessons Learned from Crossword Puzzles. AAAI 1990: 210-215 - Vikram A. Saletore, Laxmikant V. Kalé:
Consistent Linear Speedups to a First Solution in Parallel State-Space Search. AAAI 1990: 227-233
Theorem Proving and Program Synthesis
- Karen L. Myers:
Automatically Generating Universal Attachments Through Compilation. AAAI 1990: 252-257
Truth Maintenance Systems
- Ulrich Junker, Kurt Konolige:
Computing the Extensions of Autoepistemic and Default Logics with a Truth Maintenance System. AAAI 1990: 278-283 - Louiqa Raschid:
Maintaining Consistency in a Stratified Production System Program. AAAI 1990: 284-289
Cognitive Modeling
Case-Based Reasoning
- Kristian J. Hammond, Timothy M. Converse:
Integrating Planning and Acting in a Case-Based Framework. AAAI 1990: 292-297 - Makoto Iwayama, Takenobu Tokunaga, Hozumi Tanaka:
A Method of Calculating the Measure of Salience in Understanding Metaphors. AAAI 1990: 298-303 - Michael Redmond:
Distributed Cases for Case-Based Reasoning: Facilitating Use of Multiple Cases. AAAI 1990: 304-309
Commonsense Reasoning
Model-Based Diagnosis and Design
- Lawrence Birnbaum, Gregg Collins, Michael Freed, Bruce Krulwich:
Model-Based Diagnosis of Planning Failures. AAAI 1990: 318-323 - Gerhard Friedrich, Georg Gottlob, Wolfgang Nejdl:
Physical Impossibility Instead of Fault Models. AAAI 1990: 331-336 - Hwee Tou Ng, Raymond J. Mooney:
On the Role of Coherence in Abductive Explanation. AAAI 1990: 337-342 - Bart Selman, Hector J. Levesque:
Abductive and Default Reasoning: A Computational Core. AAAI 1990: 343-348 - Brian C. Williams:
Interaction-Based Invention: Designing Novel Devices from First Principles. AAAI 1990: 349-356 - Thomas D. Wu:
Efficient Diagnosis of Multiple Disorders Based on a Symptom Clustering Approach. AAAI 1990: 357-364
Qualitative Modeling of Physical Systems
- James M. Crawford, Adam Farquhar, Benjamin Kuipers:
QPC: A Compiler from Physical Models into Qualitative Differential Equations. AAAI 1990: 365-372 - Kenneth D. Forbus, Brian Falkenhainer:
Self-Explanatory Simulations: An Integration of Qualitative and Quantitative Knowledge. AAAI 1990: 380-387 - Joseph L. Hellerstein:
Obtaining Quantitative Predictions from Monotone Relationships. AAAI 1990: 388-394
Reasoning with Multiple Models
- Zheng-Yang Liu, Arthur M. Farley:
Shifting Ontological Perspectives in Reasoning About Physical Systems. AAAI 1990: 395-400 - Shankar A. Rajamoney, Sang Hoe Koo:
Qualitative Reasoning with Microscopic Theories. AAAI 1990: 401-406
Education & Artificial Intelligence
- Gerhard Fischer, Andreas C. Lemke, Raymond McCall:
Towards a System Architecture Supporting Contextualized Learning. AAAI 1990: 420-425 - Danilo Fum, Paolo Giangrandi, Carlo Tasso:
Backward Model Tracing: An Explanation-Based Approach for Reconstructing Student Reasoning. AAAI 1990: 426-433
Intelligent Interfaces
Multimedia
- Steven Feiner, Kathleen R. McKeown:
Coordinating Text and Graphics in Explanation Generation. AAAI 1990: 442-449 - Joseph Marks, Ehud Reiter:
Avoiding Unwanted Conversational Implicatures in Text and Graphics. AAAI 1990: 450-456 - Johanna D. Moore, William R. Swartout:
Pointing: A Way Toward Explanation Dialogue. AAAI 1990: 457-464
Plan Recognition
- Andreas C. Lemke, Gerhard Fischer:
A Cooperative Problem Solving System for User Interface Design. AAAI 1990: 479-484 - Karen E. Lochbaum, Barbara J. Grosz, Candace L. Sidner:
Models of Plans to Support Communication: An Initial Report. AAAI 1990: 485-490 - Loren G. Terveen, David A. Wroblewski:
A Collaborative Interface for Editing Large Knowledge Bases. AAAI 1990: 491-496
Knowledge Acquisition
Expert System Design Methodologies
- Niall Murtagh, Masamichi Shimura:
Parametric Engineering Design Using Constraint-Based Reasoning. AAAI 1990: 505-510 - Young-Tack Park, David C. Wilkins:
Establishing the Coherence of an Evplanation to Improve Refinement of an Incomplete Knowledge Base. AAAI 1990: 511-516 - Dmitry Volovik, Imran A. Zualkernan, Paul E. Johnson, Charles E. Matthews:
A Design Based Approach to Constructing Computational Solutions to Diagnostic Problems. AAAI 1990: 517-522
Knowledge Representation
Causality and Introspection
- Gerhard Lakemeyer:
Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection. AAAI 1990: 531-537
Complexity and Expressiveness
- Marco Cadoli, Maurizio Lenzerini:
The Complexity of Closed World Reasoning and Circumscription. AAAI 1990: 550-555 - Lokendra Shastri, Venkat Ajjanagadde:
An Optimally Efficient Limited Inference System. AAAI 1990: 563-570 - Jonathan Stillman:
It's Not My Default: The Complexity of Membership Problems in Restricted Propositional Default Logics. AAAI 1990: 571-578
Connectionism
Default Representations
- David W. Etherington, Sarit Kraus, Donald Perlis:
Nonmonotonicity and the Scope of Reasoning: Preliminary Report. AAAI 1990: 600-607
Inheritance
- Franz Baader:
Terminological Cycles in KL-ONE-based Knowledge Representation Languages. AAAI 1990: 621-626 - Ramiro A. de T. Guerreiro, Andrea S. Hemerly, Yoav Shoham:
On the Complexity of Monotonic Inheritance with Roles. AAAI 1990: 627-632
Representation and Uncertainty
- Moisés Goldszmidt, Paul H. Morris, Judea Pearl:
A Maximum Entropy Approach to Nonmonotonic Reasoning. AAAI 1990: 646-652
Architectures
- Robert M. Colomb, Charles Y. C. Chung:
Very Fast Decision Table Execution of Propositional Expert Systems. AAAI 1990: 671-676 - Donald P. McKay, Timothy W. Finin, Anthony B. O'Hare:
The Intelligent Database Interface: Integrating AI and Database Systems. AAAI 1990: 677-684 - Daniel P. Miranker, David A. Brant, Bernie J. Lofaso, David Gadbois:
On the Performance of Lazy Matching in Production Systems. AAAI 1990: 685-692 - Milind Tambe, Paul S. Rosenbloom:
A Frameworkfor Investigating Production System Formulations with Polynomially Bounded Match. AAAI 1990: 693-700
Temporal and Spatial Reasoning
Machine Learning
Inductive Learning
- Robert M. Fung, Stuart L. Crawford:
Constructor: A System for the Induction of Probabilistic Models. AAAI 1990: 762-769 - Dan Geiger, Azaria Paz, Judea Pearl:
Learning Causal Trees from Dependence Information. AAAI 1990: 770-776 - Lawrence O. Hall, Steve G. Romaniuk:
A Hybrid Connectionist, Symbolic Learning System. AAAI 1990: 783-788 - Hiroaki Kitano:
Empirical Studies on the Speed of Convergence of Neural Network Training Using Genetic Algorithms. AAAI 1990: 789-795 - Christopher J. Matheus:
Adding Domain Knowledge to SBL Through Feature Construction. AAAI 1990: 803-808 - Yoichiro Nakakuki, Yoshiyuki Koseki, Midori Tanaka:
Inductive Learning in Probabilistic Domain. AAAI 1990: 809-814 - Dirk Ourston, Raymond J. Mooney:
Changing the Rules: A Comprehensive Approach to Theory Refinement. AAAI 1990: 815-820 - Paul S. Rosenbloom, Jans Aasman:
Knowledge Level and Inductive Uses of Chunking (EBL). AAAI 1990: 821-827 - Cullen Schaffer:
A Proven Domain-Independent Scientific Function-Finding Algorithm. AAAI 1990: 828-833 - Wei-Min Shen:
Complementary Discrimination Learning: A Duality Between Generalization and Discrimination. AAAI 1990: 834-839 - David B. Skalak, Edwina L. Rissland:
Inductive Learning in a Mixed Paradigm Setting. AAAI 1990: 840-847 - Benjamin D. Smith, Paul S. Rosenbloom:
Incremental Non-Backtracking Focusing: A Polynomially Bounded Generalization Algorithm for Version Spaces. AAAI 1990: 848-853 - Ming Tan, Jeffrey C. Schlimmer:
Two Case Studies in Cost-Sensitive Concept Acquisition. AAAI 1990: 854-860 - Geoffrey G. Towell, Jude W. Shavlik, Michiel O. Noordewier:
Refinement ofApproximate Domain Theories by Knowledge-Based Neural Networks. AAAI 1990: 861-866 - Marc B. Vilain, Phyllis Koton, Melissa P. Chase:
On Analytical and Similarity-Based Classification. AAAI 1990: 867-874 - Larry Watanabe, Larry A. Rendell:
Effective Generalization of Relational Descriptions. AAAI 1990: 875-881 - Richard C. Yee, Sharad Saxena, Paul E. Utgoff, Andrew G. Barto:
Explaining Temporal Differences to Create Useful Concepts for Evaluating States. AAAI 1990: 882-888 - Jan M. Zytkow, Jieming Zhu, Abul Hussam:
Automated Discovery in a Chemistry Laboratory. AAAI 1990: 889-894
Learning and Problem Solving
- Neeraj Bhatnagar, Jack Mostow:
Adaptive Search by Explanation-Based Learning of Heuristic Censors. AAAI 1990: 895-901 - Megan Eskey, Monte Zweben:
Learning Search Control for Constraint-Based Scheduling. AAAI 1990: 908-915 - Devika Subramanian, Ronen Feldman:
The Utility of EBL in Recursive Domain Theories. AAAI 1990: 942-949
Natural Language
Discourse
- Julia Hirschberg:
Accent and Discourse Context: Assigning Pitch Accent in Synthetic Speech. AAAI 1990: 952-957 - Yasuhiro Katagiri:
Structure of Perspectivity: A Case of Japanese Reflexive Pronoun "zibun". AAAI 1990: 958-963
Interpretation
- Rebecca J. Passonneau, Carl Weir, Timothy W. Finin, Martha Stone Palmer:
Integrating Natural Language Processing and Knowledge Based Processing. AAAI 1990: 976-983 - David M. Magerman, Mitchell P. Marcus:
Parsing a Natural Language Using Mutual Information Statistics. AAAI 1990: 984-989 - Manabu Okumura, Hozumi Tanaka:
Towards Incremental Disambiguation with a Generalized Discrimination Network. AAAI 1990: 990-995
Robotics
- Thomas L. Dean, Kenneth Basye, Robert Chekaluk, Seungseok Hyun, Moises Lejter, Margaret Randazza:
Coping with Uncertainty in a Control System for Navigation and Exploration. AAAI 1990: 1010-1015 - John E. Laird, Paul S. Rosenbloom:
Integrating, Execution, Planning, and Learning in Soar for External Environments. AAAI 1990: 1022-1029 - Yanxi Liu, Robin J. Popplestone:
Symmetiy Constraint Inference in Assembly Planning: Automatic Assembly Configuration Specification. AAAI 1990: 1038-1044 - Peter K. Malkin, Sanjaya Addanki:
LOGnets: A Hybrid Graph Spatial Representation for Robot Navigation. AAAI 1990: 1045-1050
Vision
- Michael J. Black, P. Anandan:
Constraints for the Early Detection of Discontinuity from Motion. AAAI 1990: 1060-1066 - Jean Ponce, David J. Kriegman:
Computing Exact Aspect Graphs of Curved Objects: Parametric Surfaces. AAAI 1990: 1074-1079
Invited Talks & Panels
Panel: AI and Software Engineering
- Mark S. Fox:
Looking for the AI in Software Engineering: An Applications Perspective. AAAI 1990: 1128-1129
Panel: User Modeling and User Interfaces
- James D. Hollan:
User Modeling and User Interfaces: A Case for Domain Models, Task Models, and Tailorability. AAAI 1990: 1137
maintained by 
at 
at 
last updated on 2018-07-12 22:08 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint