@Comment 1984.bib -*- mode: BibTeX -*- @inbook{84__discov_confir_and_incor_of_, title = {Discovery, Confirmation, And Incorporation Of Causal Relationships From A Large Time-Oriented Clinical Data Base}, subtitle = {The RX Project}, author = {Clancey, William J. and Shortliffe, Edward H.}, year = {1984}, tags = {ai, computer_science, empirical_knowledge, expert_system, history, medicine, RX}, chapter = {17}, pdf_locked = {False}, file = {1900/1980/1984/Clancey/Ch17.pdf}, crossref = {clancey84__readin_medic_artif_intel_}, } @book{adams84__meanin_liff_, title = {The Meaning of Liff}, author = {Adams, Douglas and Lloyd, John}, year = {1984}, tags = {dictionary, humour, names, UK}, publisher = {Boxtree}, pdf_locked = {True}, isbn = {978-0-7522-2759-7}, file = {1900/1980/1984/Adams/The Meaning of Liff.pdf}, } @inbook{adams84__probab_reason_certain_, title = {Probabilistic Reasoning and Certainty factors}, author = {Adams, J. Barclay}, year = {1984}, tags = {MYCIN, probability}, chapter = {12}, pdf_locked = {False}, file = {1900/1980/1984/Adams/Chapter-12.pdf}, crossref = {buchanan84:_rule_based_exper_system_}, } @inbook{aikins84__puff_, title = {PUFF}, subtitle = {An Expert System For Interpretation Of Pulmonary Function Data}, author = {Aikins, Janice S. and Kunz, John C. and Shortliffe, Edward H. and Fallat, Robert J.}, year = {1984}, tags = {ai, computer_science, expert_system, history, medicine, PUFF}, chapter = {19}, pdf_locked = {False}, file = {1900/1980/1984/Aikins/Ch19.pdf}, crossref = {clancey84__readin_medic_artif_intel_}, } @inbook{aikins84__repres_schem_using_both_frames_rules_, title = {A Representation Scheme Using Both Frames and Rules}, author = {Aikins, Janice S.}, year = {1984}, tags = {CENTAUR, frame, knowledge_engineering, MYCIN, PUFF, rule}, chapter = {23}, pdf_locked = {False}, file = {1900/1980/1984/Aikins/Chapter-23.pdf}, crossref = {buchanan84:_rule_based_exper_system_}, } @article{bachant84_r1_revis_5_, title = {R1 Revisited}, subtitle = {Four Years in the Trenches}, author = {Bachant, Judith and McDermott, John}, year = {1984}, tags = {__important, knowledge_based_systems, production_systems, R1, software_engineering, XCON}, journal = {AI Magazine}, volume = {5}, number = {3}, pdf_locked = {False}, doi = {10.1609/aimag.v5i3.445}, file = {1900/1980/1984/Bachant/Bachant_1984_R1_Revisited.pdf}, } @manual{bell84__elite_, title = {Elite}, author = {Bell, Ian and Braben, David}, year = {1984}, tags = {procedural_content, space_exploration, video_games}, institution = {Acornsoft}, pdf_locked = {False}, url = {https://www.mobygames.com/game/1324/elite/}, file = {1900/1980/1984/Bell/Elite_Manual_DOS_EN.pdf}, } @inbook{bennett84__exper_using_emycin_, title = {Experience Using EMYCIN}, author = {Bennett, James S. and Engelmore, Robert S.}, year = {1984}, tags = {CLOT, MYCIN, SACON, user_experience}, chapter = {16}, pdf_locked = {False}, file = {1900/1980/1984/Bennett/Chapter-16.pdf}, crossref = {buchanan84:_rule_based_exper_system_}, } @inbook{bennett84__special_explan_dosag_selec_, title = {Specialized Explanations for Dosage Selection}, author = {Bennett, Sharon Wraith and Scott, A. Carlisle}, year = {1984}, tags = {case_study, explanation, MYCIN}, chapter = {19}, pdf_locked = {False}, file = {1900/1980/1984/Bennett/Chapter-19.pdf}, crossref = {buchanan84:_rule_based_exper_system_}, } @book{bhasin84_women_media_, title = {Women and Media}, subtitle = {Analysis, Alternatives and Action}, editor = {Bhasin, Kamla and Agarwal, Bina}, year = {1984}, tags = {agriculture, feminism, india, media, rural, sociology, women}, publisher = {Isis International}, pdf_locked = {False}, file = {1900/1980/1984/Bhasin/Bhasin_1984_Women_and_Media.pdf}, } @inbook{bonnet84__strat_under_struc_englis_, title = {Strategies for Understanding Structured English}, author = {Bonnet, Alain}, year = {1984}, tags = {dialogue, grammar, MYCIN, NLP, rule, schema}, chapter = {33}, pdf_locked = {False}, file = {1900/1980/1984/Bonnet/Chapter-33.pdf}, crossref = {buchanan84:_rule_based_exper_system_}, } @book{bourdieu84__distin_, title = {Distinction}, subtitle = {A Social Critique Of The Judgement Of Taste}, author = {Bourdieu, Pierre}, year = {1984}, tags = {class_relations, culture, habitus, social_capital, sociology, taste}, edition_year = {2010}, publisher = {Routledge}, isbn = {978-0-415-56788-6}, file = {1900/1980/1984/Bourdieu/Distinction A Social Critique of the Judgement of Taste.epub}, } @book{bourdieu90__homo_academ_, title = {Homo Academicus}, author = {Bourdieu, Pierre}, year = {1984}, tags = {academia, ethnology, sociology}, publisher = {Stanford University Press}, pdf_locked = {False}, isbn = {0-8047-1466-5}, file = {1900/1980/1984/Bourdieu/Homo Academicus.pdf}, } @book{braitenberg84_vehic_exper_synth_psych_, title = {Vehicles Experiments in Synthetic Psychology}, author = {Braitenberg, Valentino}, year = {1984}, tags = {artificial_intelligence, cybernetics, path_finding, psychology, robotics, science_fiction, synthetic_psychology}, publisher = {MIT Press}, invalid_isbn = {0-262-52112-2}, pdf_locked = {False}, file = {1900/1980/1984/Braitenberg/Braitenberg_1984_Vehicles_Experiments_in_Synthetic_Psycho.pdf}, } @book{buchanan84:_rule_based_exper_system_, title = {Rule-Based Expert Systems}, subtitle = {The MYCIN Experiments of the Stanford Heuristic Programming Project}, editor = {Buchanan, Bruce G. and Shortliffe, Edward H.}, year = {1984}, tags = {artificial_intelligence, expert_system, MYCIN}, publisher = {Addison-Wesley}, isbn = {0-201-10172-6}, url = {https://shortliffe.net/}, } @inbook{buchanan84__addit_knowl_struc_, title = {Additional Knowledge Structures}, author = {Buchanan, Bruce G. and Shortliffe, Edward H.}, year = {1984}, tags = {context, knowledge_engineering, meta_knowledge, MYCIN, rule}, chapter = {27}, pdf_locked = {False}, file = {1900/1980/1984/Buchanan/Chapter-27.pdf}, crossref = {buchanan84:_rule_based_exper_system_}, } @inbook{buchanan84__contex_mycin_exper_, title = {The Context of the MYCIN Experiments}, author = {Buchanan, Bruce G. and Shortliffe, Edward H.}, year = {1984}, tags = {decision_problem, DENDRAL, expert_system, history, MYCIN}, chapter = {1}, pdf_locked = {False}, file = {1900/1980/1984/Buchanan/Chapter-01.pdf}, crossref = {buchanan84:_rule_based_exper_system_}, } @inbook{buchanan84__evolut_mycin_rule_form_, title = {The Evolution of MYCIN's Rule Form}, author = {Buchanan, Bruce G. and Shortliffe, Edward H.}, year = {1984}, tags = {design, MYCIN, rule}, chapter = {3}, pdf_locked = {False}, file = {1900/1980/1984/Buchanan/Chapter-03.pdf}, crossref = {buchanan84:_rule_based_exper_system_}, } @inbook{buchanan84__explan_topic_ai_resear_, title = {Explanation as a Topic of AI Research}, author = {Buchanan, Bruce G. and Shortliffe, Edward H.}, year = {1984}, tags = {artificial_intelligence, explanation, history}, chapter = {17}, pdf_locked = {False}, file = {1900/1980/1984/Buchanan/Chapter-17.pdf}, crossref = {buchanan84:_rule_based_exper_system_}, } @inbook{buchanan84__human_engin_medic_exper_system_, title = {Human Engineering of Medical Expert Systems}, author = {Buchanan, Bruce G. and Shortliffe, Edward H.}, year = {1984}, tags = {evaluation, expert_system, HCI, HELP, MYCIN, SUMEX}, chapter = {32}, pdf_locked = {False}, file = {1900/1980/1984/Buchanan/Chapter-32.pdf}, crossref = {buchanan84:_rule_based_exper_system_}, } @inbook{buchanan84__intel_comput_aided_instr_, title = {Intelligent Computer-Aided Instruction}, author = {Buchanan, Bruce G. and Shortliffe, Edward H.}, year = {1984}, tags = {artificial_intelligence, education, MYCIN, pedagogy}, chapter = {25}, pdf_locked = {False}, file = {1900/1980/1984/Buchanan/Chapter-25.pdf}, crossref = {buchanan84:_rule_based_exper_system_}, } @inbook{buchanan84__knowl_engin_, title = {Knowledge Engineering}, author = {Buchanan, Bruce G. and Shortliffe, Edward H.}, year = {1984}, tags = {artificial_intelligence, knowledge_engineering, MYCIN}, chapter = {7}, pdf_locked = {False}, file = {1900/1980/1984/Buchanan/Chapter-07.pdf}, crossref = {buchanan84:_rule_based_exper_system_}, } @inbook{buchanan84__major_lesson_this_work_, title = {Major Lessons from This Work}, author = {Buchanan, Bruce G. and Shortliffe, Edward H.}, year = {1984}, tags = {evaluation, MYCIN, probability, taxonomy}, chapter = {36}, pdf_locked = {False}, file = {1900/1980/1984/Buchanan/Chapter-36.pdf}, crossref = {buchanan84:_rule_based_exper_system_}, } @inbook{buchanan84__other_repres_framew_, title = {Other Representation Frameworks}, author = {Buchanan, Bruce G. and Shortliffe, Edward H.}, year = {1984}, tags = {artificial_intelligence, MYCIN, representation}, chapter = {21}, pdf_locked = {False}, file = {1900/1980/1984/Buchanan/Chapter-21.pdf}, crossref = {buchanan84:_rule_based_exper_system_}, } @inbook{buchanan84__probl_evaluat_, title = {The Problem of Evaluation}, author = {Buchanan, Bruce G. and Shortliffe, Edward H.}, year = {1984}, tags = {evaluation, metrics, MYCIN}, chapter = {30}, pdf_locked = {False}, file = {1900/1980/1984/Buchanan/Chapter-30.pdf}, crossref = {buchanan84:_rule_based_exper_system_}, } @inbook{buchanan84__uncer_eviden_suppor_, title = {Uncertainty and Evidential Support}, author = {Buchanan, Bruce G. and Shortliffe, Edward H.}, year = {1984}, tags = {artificial_intelligence, modularity, MYCIN, rule, uncertainty}, chapter = {10}, pdf_locked = {False}, file = {1900/1980/1984/Buchanan/Chapter-10.pdf}, crossref = {buchanan84:_rule_based_exper_system_}, } @inbook{buchanan84__use_mycin_infer_engin_, title = {Use of the MYCIN Inference Engine}, author = {Buchanan, Bruce G. and Shortliffe, Edward H.}, year = {1984}, tags = {inference, MYCIN, rule}, chapter = {14}, pdf_locked = {False}, file = {1900/1980/1984/Buchanan/Chapter-14.pdf}, crossref = {buchanan84:_rule_based_exper_system_}, } @book{cabrera84_class_, title = {Classic tailoring techniques}, subtitle = {A Construction Guide for Women's Wear}, author = {Cabrera, Roberto and Meyers, Patricia Flaherty}, year = {1984}, tags = {clothing, fashion}, publisher = {Fairchild Publications}, invalid_isbn = {87005-435-X}, pdf_locked = {False}, file = {1900/1980/1984/Cabrera/Cabrera_1984_Classic_tailoring_techniques.pdf}, } @book{caughey84__imagin_social_world_, title = {Imaginary Social Worlds}, subtitle = {A Cultural Approach}, author = {Caughey, John L.}, year = {1984}, tags = {anthropology, imaginary_worlds, social_relations}, publisher = {University of Nebraska Press}, pdf_locked = {False}, file = {1900/1980/1984/Caughey/Caughey_1984_Imaginary_Social_Worlds.pdf}, } @book{certeau84_, title = {The practice of everyday life}, author = {de Certeau, Michel}, year = {1984}, tags = {consumption, culture, michel_foucault, phenomenology, pierre_bourdieu, sociology, time}, publisher = {University of California Press}, pdf_locked = {False}, isbn = {0-520-23699-8}, file = {1900/1980/1984/Certeau/Certeau_1984_The_practice_of_everyday_life.pdf}, } @book{cialdini84_influen_, title = {Influence}, subtitle = {The Psychology of Persuasion}, author = {Cialdini, Robert B.}, year = {1984}, tags = {authority, commitment, influence, liking, reciprocation, scarcity, social_proof, social_psychology, weapons_of_influence}, publisher = {Harper Collins}, pdf_locked = {False}, reprinted = {2007}, isbn = {978-0-06-189990-4}, file = {1900/1980/1984/Cialdini/Cialdini_1984_Influence.pdf}, } @inbook{clancey84__detail_revis_therap_algor_, title = {Details of the Revised Therapy Algorithm}, author = {Clancey, William J.}, year = {1984}, tags = {algorithm, artificial_intelligence, MYCIN, rule}, chapter = {6}, pdf_locked = {False}, file = {1900/1980/1984/Clancey/Chapter-06.pdf}, crossref = {buchanan84:_rule_based_exper_system_}, } @inbook{clancey84__exten_rules_explan_tutor_, title = {Extensions to Rules for Explanation and Tutoring}, author = {Clancey, William J.}, year = {1984}, tags = {causal_modeling, explanation, generalisation, GUIDON, meta_knowledge, MYCIN, rule, taxonomy}, chapter = {29}, pdf_locked = {False}, file = {1900/1980/1984/Clancey/Chapter-29.pdf}, crossref = {buchanan84:_rule_based_exper_system_}, } @inbook{clancey84__intel_comput_aided_instr_for_medic_diagn_, title = {Intelligent Computer-Aided Instruction For Medical Diagnosis}, author = {Clancey, William J and Shortliffe, Edward H. and Buchanan, Bruce G.}, year = {1984}, tags = {ai, computer_science, expert_system, history, medicine}, chapter = {11}, pdf_locked = {False}, file = {1900/1980/1984/Clancey/Ch11.pdf}, crossref = {clancey84__readin_medic_artif_intel_}, } @inbook{clancey84__introd_, title = {Introduction}, subtitle = {Medical Artificial Intelligence Programs}, author = {Clancey, William J. and Shortliffe, Edward H.}, year = {1984}, tags = {ai, computer_science, expert_system, history, medicine}, chapter = {1}, pdf_locked = {False}, file = {1900/1980/1984/Clancey/Ch1.pdf}, crossref = {clancey84__readin_medic_artif_intel_}, } @inbook{clancey84__neomy_, title = {NEOMYCIN}, subtitle = {Reconfiguring A Rule-Based Expert System For Application To Teaching}, author = {Clancey, William J. and Letsinger, Reed}, year = {1984}, tags = {ai, computer_science, expert_system, history, medicine, MYCIN, rules}, chapter = {15}, pdf_locked = {False}, file = {1900/1980/1984/Clancey/Ch15.pdf}, crossref = {clancey84__readin_medic_artif_intel_}, } @book{clancey84__readin_medic_artif_intel_, title = {Readings in Medical Artificial Intelligence}, subtitle = {The First Decade}, editor = {Clancey, William J. and Shortliffe, Edward H.}, year = {1984}, tags = {ai, computer_science, expert_system, history, medicine}, publisher = {Addison-Wesley}, notes = {21 chapters}, url = {https://shortliffe.net/}, } @inbook{clancey84__use_mycin_rules_tutor_, title = {Use of MYCIN's Rules for Tutoring}, author = {Clancey, William J.}, year = {1984}, tags = {case_study, d_rule, discourse, education, GUIDON, MYCIN, pedagogy, rule, t_rule, taxonomy}, chapter = {26}, pdf_locked = {False}, file = {1900/1980/1984/Clancey/Chapter-26.pdf}, crossref = {buchanan84:_rule_based_exper_system_}, } @book{clancey84_class_, title = {Classification problem solving}, author = {Clancey, William J}, year = {1984}, tags = {classification, framework, heuristics, problem_solving, representation}, publisher = {Stanford University}, pdf_locked = {True}, file = {1900/1980/1984/Clancey/Clancey_1984_Classification_problem_solving.pdf}, } @book{copley84_liter_social_order_eight_centur_englan_, title = {Literature and the Social Order in Eighteenth-Century England}, editor = {Copley, Stephen}, year = {1984}, tags = {18th_century, commerce, crime, economics, history, industry, literature, poverty, social_establishment}, publisher = {Routledge}, pdf_locked = {False}, series = {Routledge Library Editions: 18th Century Literature}, isbn = {978-1-00-300994-8}, file = {1900/1980/1984/Copley/Copley_1984_Literature_and_the_Social_Order_in_Eight.pdf}, } @inbook{davis84__inter_trans_exper_, title = {Interactive Transfer of Expertise}, author = {Davis, Randall}, year = {1984}, tags = {meta_knowledge, MYCIN, rule, TEIRESIAS}, chapter = {9}, pdf_locked = {False}, file = {1900/1980/1984/Davis/Chapter-09.pdf}, crossref = {buchanan84:_rule_based_exper_system_}, } @inbook{davis84__meta_level_knowl_, title = {Meta-Level Knowledge}, author = {Davis, Randall and Buchanan, Bruce G.}, year = {1984}, tags = {meta_knowledge, MYCIN, rule, taxonomy, TEIRESIAS}, chapter = {28}, pdf_locked = {False}, file = {1900/1980/1984/Davis/Chapter-28.pdf}, crossref = {buchanan84:_rule_based_exper_system_}, } @inbook{davis84__origin_rule_based_system_ai_, title = {The Origin of Rule-Based Systems in AI}, author = {Davis, Randall and King, Jonathan J.}, year = {1984}, tags = {artificial_intelligence, expert_system, history, production_systems, rule, taxonomy}, chapter = {2}, pdf_locked = {False}, file = {1900/1980/1984/Davis/Chapter-02.pdf}, crossref = {buchanan84:_rule_based_exper_system_}, } @inbook{davis84__produc_rules_as_repres_for_, title = {Production Rules As A Representation For A Knowledge-Based Consulation Program}, author = {Davis, Randall and Buchanan, Bruce G. and Shortliffe, Edward H.}, year = {1984}, tags = {ai, computer_science, expert_system, history, medicine, meta_rules, MYCIN, production_rules}, chapter = {5}, pdf_locked = {False}, file = {1900/1980/1984/Davis/Ch5.pdf}, crossref = {clancey84__readin_medic_artif_intel_}, } @inbook{fagan84__comput_based_medic_decis_makin_, title = {Computer-Based Medical Decision Making}, subtitle = {From MYCIN To VM}, author = {Fagan, Lawrence M. and Shortliffe, Edward H and Buchanan, Bruce G.}, year = {1984}, tags = {ai, computer_science, expert_system, history, medicine, MYCIN, review, symbolic_modeling, VM}, chapter = {10}, pdf_locked = {False}, file = {1900/1980/1984/Fagan/Ch10.pdf}, crossref = {clancey84__readin_medic_artif_intel_}, } @inbook{fagan84__exten_rule_based_formal_monit_task_, title = {Extensions to the Rule-Based Formalism for a Monitoring Task}, author = {Fagan, Lawrence M. and Kunz, John C. and Feigenbaum, Edward A. and Osborn, John J.}, year = {1984}, tags = {case_study, MYCIN, rule, VM}, chapter = {22}, pdf_locked = {False}, file = {1900/1980/1984/Fagan/Chapter-22.pdf}, crossref = {buchanan84:_rule_based_exper_system_}, } @article{fararo84_instit_as_produc_system_10_, title = {Institutions As Production Systems}, author = {Fararo, Thomas J. and Skvoretz, John}, year = {1984}, tags = {__printed, formal_model, institution, production_system, representation, social_action}, journal = {The Journal of Mathematical Sociology}, volume = {10}, number = {2}, abstract = {This paper proposes a formal mode of representation and a corresponding way of thinking about institutionalized social action. It draws its representational technique and its way of thinking about its subject from several sources, including systems theory, cognitive science, and structuralism. It is based on the idea that a model involves a proposed generative mechanism for observable patterns of action and that such a generator must be a system of rules. We discuss the philosophical and sociological presuppositions of our proposal, then outline in detail and illustrate the idea of a production system model. Following this, we argue that the proposed mode of representation is appropriate for “the action frame of reference” and then develop a series of specific { extquotedblleft}problematics{ extquotedblright} involving the structural analysis of institutionalized social action. We conclude with a discussion of issues and problems for further research. The paper does not include mathematical work found elsewhere, although it tries to indicate its significance. Similarly, it does not include data analyses reported elsewhere, although it tries to show that the models make definite predictions about certain forms of data. In short, the paper strives to be a readable introduction to the conceptual foundations of a line of investigation.}, invalid_isbn = {0046-225X}, issn = {15455874}, pages = {117–182}, pdf_locked = {False}, doi = {10.1080/0022250X.1984.9989962}, file = {1900/1980/1984/Fararo/Fararo_1984_Institutions_As_Production_Systems.pdf}, } @inbook{feltovich84__lcs_, title = {LCS}, subtitle = {The Role and Development Of Medical Knowledge In Diagnostic Expertise}, author = {Feltovich, Paul J. and Johnson, Paul E. and Moller, James H. and Swanson, David B.}, year = {1984}, tags = {ai, computer_science, expert_system, history, LCS, medicine}, chapter = {12}, pdf_locked = {False}, file = {1900/1980/1984/Feltovich/Ch12.pdf}, crossref = {clancey84__readin_medic_artif_intel_}, } @book{giddens84_const_societ_, title = {The Constitution of Society}, author = {Giddens, Anthony}, year = {1984}, tags = {consciousness, culture, duality_of_structure, institution, power, society, structuration, time}, publisher = {Polity}, issn = {03043959}, pdf_locked = {False}, pmid = {4206577}, isbn = {978-0-520-05728-9}, file = {1900/1980/1984/Giddens/Giddens_1984_The_Constitution_of_Society.pdf}, } @article{goguen84:_some_fundam_algeb_tools_seman_comput_31_a_, title = {Some Fundamental Algebraic Tools for the Semantics of Computation}, subtitle = {Part 2: Signed and Abstract Theories}, author = {Goguen, J.A. and Burstall, R.M.}, year = {1984}, tags = {abstract_theory, algebra, computation, logic, semantics}, journal = {Theoretical Computer Science}, volume = {31}, number = {3}, pages = {263-295}, pdf_locked = {False}, doi = {10.1016/0304-3975(84)90036-7}, url = {http://dx.doi.org/10.1016/0304-3975(84)90036-7}, file = {1900/1980/1984/Goguen/Goguen_1984_Some_Fundamental_Algebraic_Tools_for_the.pdf}, } @article{goguen84:_some_fundam_algeb_tools_seman_comput_31_b_, title = {Some Fundamental Algebraic Tools for the Semantics of Computation}, subtitle = {Part 1: Comma Categories, Colimits, Signatures and Theories}, author = {Goguen, J.A. and Burstall, R.M.}, year = {1984}, tags = {algebra, category_theory, colimits, semantics}, journal = {Theoretical Computer Science}, volume = {31}, number = {1-2}, pages = {175-209}, pdf_locked = {False}, doi = {10.1016/0304-3975(84)90134-8}, url = {http://dx.doi.org/10.1016/0304-3975(84)90134-8}, file = {1900/1980/1984/Goguen/Goguen_1984_Some_Fundamental_Algebraic_Tools_for_the_98b54.pdf}, } @article{goguen84_introd_instit_, title = {Introducing Institutions}, author = {Goguen, Joseph a. and Burstall, Rod M.}, year = {1984}, tags = {institution, logic, theorem_proving}, journal = {Logics of Programs}, abstract = {There is a population explosion among the logical systems being used in computer science. Examples include first order logic (with and without equality), equational logic, Horn clause logic, second order logic, higher order logic, infinitary logic, dynamic logic, process logic, temporal logic, and modal logic; moreover, there is a tendency for each theorem prover to have its own idiosyncratic logical system. Yet it is usual to give many of the same results and applications for each logical system; of course, this is natural in so far as there are basic results in computer science that are independent of the logical system in which they happen to be expressed. But we should not have to do the same things over and over again; instead, we should generalize, and do the essential things once and for all! Also, we should ask what are the relationships among all these different logical systems. This paper shows how some parts of computer science can be done in any suitable logical system, by introducing the notion of an institution as a precise generalization of the informal notion of a “logical system.” A first main result shows that if an institution is such that interface declarations expressed in it can be glued together, then theories (which are just sets of sentences) in that institution can also be glued together. A second main result gives conditions under which a theorem prover for one institution can be validly used on theories from another; this uses the notion of an institution morphism. A third main result shows that institutions admiting free models can be extended to institutions whose theories may include, in addition to the original sentences, various kinds of constraints upon interpretations; such constraints are useful for defining abstract data types, and include so-called { extquotedblleft}data,{ extquotedblright} { extquotedblright}hierarchy,{ extquotedblright} and { extquotedblright}generating{ extquotedblright} constraints. Further results show how to define insitutions that mix sentences from one institution with constraints from another, and even mix sentences and (various kinds of) constraints from several different institutions. It is noted that general results about institutions apply to such { extquotedblright}multiplex{ extquotedblright} institutions, including the result mentioned above about gluing together theories. Finally, this paper discusses some applications of these results to specification languages, showing that much of that subject is in fact independent of the institution used.}, pages = {221–256}, pdf_locked = {False}, isbn = {978-3-540-12896-0}, doi = {10.1007/3-540-12896-4_366}, file = {1900/1980/1984/Goguen/Goguen_1984_Introducing_Institutions.pdf}, } @inbook{gomez84__knowl_organ_distr_for_medic_diagn_, title = {Knowledge Organization and Distribution For Medical Diagnosis}, author = {Gomez, Fernando and Chandrasekaran, B.}, year = {1984}, tags = {ai, blackboard, computer_science, expert_system, history, knowledge_organisation, medicine, OVERVIEW, production_rules, taxonomy}, chapter = {13}, pdf_locked = {False}, file = {1900/1980/1984/Gomez/Ch13.pdf}, crossref = {clancey84__readin_medic_artif_intel_}, } @inbook{gordon84__demps_shafer_theor_eviden_, title = {The Dempster-Shafer Theory of Evidence}, author = {Gordon, Jean and Shortliffe, Edward H.}, year = {1984}, tags = {belief, belief_intervals, dempster_shafer, evidence, MYCIN, probability, reasoning}, chapter = {13}, pdf_locked = {False}, file = {1900/1980/1984/Gordon/Chapter-13.pdf}, crossref = {buchanan84:_rule_based_exper_system_}, } @inbook{gorry84__comput_assis_clinic_decis_makin_, title = {Computer-Assisted Clinical Decision Making}, author = {Gorry, G. Anthony}, year = {1984}, tags = {ai, computer_science, decision_tree, expert_system, history, medicine}, chapter = {2}, pdf_locked = {False}, file = {1900/1980/1984/Gorry/Ch2.pdf}, crossref = {clancey84__readin_medic_artif_intel_}, } @book{halliwell84:_warham_fantas_battl_rules_2nd_, title = {Warhammer Fantasy Battle Rules}, author = {Halliwell, Richard and Ansell, Bryan and Priestley, Rick}, year = {1984}, tags = {rule_book, table_top_game, warhammer}, edition = {2}, publisher = {Games Workshop}, pdf_locked = {False}, series = {Warhammer Fantasy Battle}, file = {1900/1980/1984/Halliwell/Warhammer Fantasy Battles (2ed).pdf}, } @book{halliwell84__warham_fantas_battl_, title = {Warhammer Fantasy Battles}, author = {Halliwell, Richard and Ansell, Bryan and Priestley, Rick}, year = {1984}, tags = {rule_book, warhammer, warhammer_fantasy}, edition = {2}, publisher = {Games Workshop}, pdf_locked = {False}, file = {1900/1980/1984/Halliwell/Halliwell_1984_Warhammer_Fantasy_Battles.pdf}, } @article{hewitt84_open_system_, title = {Open Systems}, author = {Hewitt, Carl and de Jong, Peter}, year = {1984}, tags = {agents, distributed_systems, MAS, message_passing, modularity, multi_agent_systems, open_systems}, journal = {Topics in Information Systems}, pages = {147-164}, pdf_locked = {False}, doi = {10.1007/978-1-4612-5196-5_6}, url = {http://dx.doi.org/10.1007/978-1-4612-5196-5_6}, file = {1900/1980/1984/Hewitt/Hewitt_1984_Open_Systems.pdf}, } @inproceedings{horn84__towar_, title = {Toward a new taxonomy for pragmatice inference}, subtitle = {Q-based and R-based implicature}, author = {Horn, Laurence R.}, year = {1984}, tags = {conversation, grices_maxims, implication, inference, linguistics, pragmatics, principle_of_least_effort, quantity, relation, semantics, taxonomy, textuality}, pages = {11-42}, crossref = {schiffrin84:_gurt_}, } @article{jones-jackson84_decreol_languag_death_gullah_, title = {On Decreolization and Language Death in Gullah}, author = {Jones-Jackson, Patricia}, year = {1984}, tags = {creole, dominance, gullah, language, socio_linguistics}, journal = {Language in Society}, volume = {13}, number = {3}, abstract = {Sociolinguistic pressures now exerted on Gullah-speaking communities match general conditions described by David DeCamp for postcreole speech communities in which the traditional language variety is decreolizing or dying (“Toward a Generative Analysis of Post-Creole Speech Continuum” in Pidginization and Creolization of Languages, Hymes, D. [Ed], Cambridge U Press, 1971, 349-370). There is a correspondence between the dominant official language & the creole, & there is sufficient breakdown in the formerly rigid social stratification brought on by educational programs & other acculturative forces to cause social mobility & to motivate many Gullah speakers to modify their speech toward Standard Eng. A survey of 9 Ss' uses of the third person singular pronoun on Wadmalaw Island, South Carolina, reveals that certain features of the pronominal system are elaborating & dying while other features remain static & unchanged, decreolizing more slowly than predicted. 3 Tables, 18 References. Modified HA}, issn = {14698013}, pages = {351–362}, pdf_locked = {False}, doi = {10.1017/S004740450001054X}, file = {1900/1980/1984/JonesJackson/JonesJackson_1984_On_Decreolization_and_Language_Death_in_.pdf}, } @article{kieras84_role_mental_model_learn_to_operat_devic_8_, title = {The Role of a Mental Model in Learning To Operate a Device*}, author = {Kieras, David E. and Bovair, Susan}, year = {1984}, tags = {mental_models, psychology}, journal = {Cognitive Science}, volume = {8}, number = {3}, pages = {255-273}, pdf_locked = {False}, doi = {10.1207/s15516709cog0803_3}, url = {http://dx.doi.org/10.1207/s15516709cog0803_3}, file = {1900/1980/1984/Kieras/Kieras_1984_The_Role_of_a_Mental_Model_in_Learning_T.pdf}, } @article{knuth84_liter_progr_, title = {Literate Programming}, author = {Knuth, Donald E.}, year = {1984}, tags = {literate_programming, programming, readability, WEB}, journal = {The Computer Journal}, volume = {27}, number = {2}, issn = {0010-4620}, month = {feb}, pages = {97–111}, pdf_locked = {False}, doi = {10.1093/comjnl/27.2.97}, url = {http://comjnl.oupjournals.org/cgi/doi/10.1093/comjnl/27.2.97}, file = {1900/1980/1984/Knuth/Knuth_1984_Literate_Programming.pdf}, } @book{knuth96__tex_book_, title = {The TeX Book}, author = {Knuth, Donald E.}, year = {1984}, tags = {fonts, TeX, typesetting}, edition_year = {1991}, publisher = {Addison-Wesley}, invalid_isbn = {978021134476}, pdf_locked = {False}, file = {1900/1980/1984/Knuth/The TeXbook.pdf}, } @inproceedings{kochman84_, title = {The politics of politeness}, subtitle = {Social warrants in mainstream American public etiquette}, author = {Kochman, Thomas}, year = {1984}, tags = {culture, entitlement, etiquette, linguistics, politeness, pragmatics, semantics, social_warrant, taxonomy, textuality}, pages = {200-209}, crossref = {schiffrin84:_gurt_}, } @book{krasner84_small_, title = {Smalltalk-80}, subtitle = {Bits of History, Words of Advice}, editor = {Krasner, Glenn}, year = {1984}, tags = {history, programming_language, smalltalk, software_development}, publisher = {Addison-Wesley}, pdf_locked = {False}, isbn = {0-201-11669-3}, file = {1900/1980/1984/Krasner/Krasner_1984_Smalltalk_80.pdf}, } @inbook{kulikowski84__artif_intel_method_system_medic_consul_, title = {Artificial Intelligence Methods and Systems for Medical Consultation}, author = {Kulikowski, Casimir A.}, year = {1984}, tags = {ai, CASNET, comparison, computer_science, expert_system, history, INTERNIST, medicine, MYCIN, PIP}, chapter = {4}, pdf_locked = {False}, file = {1900/1980/1984/Kulikowski/Ch4.pdf}, crossref = {clancey84__readin_medic_artif_intel_}, } @article{lamport84_axiom_seman_concur_progr_languag_, title = {An Axiomatic Semantics of Concurrent Programming Languages}, author = {Lamport, Leslie}, year = {1984}, tags = {axiomatic_semantics, calculus, concurrency, semantics, temporal_logic, verification}, journal = {Advanced Seminar on Logics and Models for Verification and Specification of Concurrent Systems}, number = {September}, pdf_locked = {False}, file = {1900/1980/1984/Lamport/Lamport_1984_An_Axiomatic_Semantics_of_Concurrent_Pro.pdf}, } @book{lefebvre84_produc_space_, title = {The Production of Space}, author = {Lefebvre, Henri}, year = {1984}, tags = {architecture, philosophy, representational_spaces, representations_of_space, social_space, space, spatial_practice}, publisher = {Blackwell}, abstract = {Henri Lefebvre has considerable claims to be the greatest living philosopher. His work spans some sixty years and includes original work on a diverse range of subjects, from dialectical materialism to architecture, urbanism and the experience of everyday life. The Production of Space is his major philosophical work and its translation has been long awaited by scholars in many different fields. The book is a search for a reconciliation between mental space (the space of the philosophers) and real space (the physical and social spheres in which we all live). In the course of his exploration, Henri Lefebvre moves from metaphysical and ideological considerations of the meaning of space to its experience in the everyday life of home and city. He seeks, in other words, to bridge the gap between the realms of theory and practice, between the mental and the social, and between philosophy and reality. In doing so, he ranges through art, literature, architecture and economics, and further provides a powerful antidote to the sterile and obfuscatory methods and theories characteristic of much recent continental philosophy. This is a work of great vision and incisiveness. It is also characterized by its author's wit and by anecdote, as well as by a deftness of style which Donald Nicholson-Smith's sensitive translation precisely captures.}, arxivid = {0812.0605}, issn = {0042-0980}, pdf_locked = {False}, pmid = {22624721}, isbn = {0-631-14048-4}, doi = {10.1080/00420989220081001}, file = {1900/1980/1984/Lefebvre/Lefebvre_1984_The_Production_of_Space.pdf}, } @book{lem84__microw_, title = {Microworlds}, subtitle = {Writings on Science Fiction and Fantasy}, author = {Lem, Stanislaw}, year = {1984}, tags = {history, jorge_luis_borges, literature, nonfiction, philip_k_dick, science_fiction}, publisher = {Harcourt Brace}, isbn = {978-0-15-159480-1}, file = {1900/1980/1984/Lem/Microworlds Stanislaw Lem.epub}, } @inbook{lorde84__master_tools_will_never_disman_master_house_, title = {The Master's Tools Will Never Dismantle the Master's House}, author = {Lorde, Audre}, year = {1984}, tags = {black_feminism, feminism, lived_experience, politics, protest, racism}, booktitle = {Sister Outsider}, pdf_locked = {False}, isbn = {978-1-58091-186-3}, file = {1900/1980/1984/Lorde/Lorde_1984_The_Master_s_Tools_Will_Never_Dismantle__38426.pdf}, file2 = {1900/1980/1984/Lorde/Lorde_1984_The_Master_s_Tools_Will_Never_Dismantle_.pdf}, } @article{mann84_auton_power_state_, title = {The Autonomous Power of the State}, subtitle = {Its Origins, Mechanisms and Results}, author = {Mann, Michael}, year = {1984}, tags = {despotic_power, infrastructure, politics, power, state_power, the_state}, journal = {European Journal of Sociology}, volume = {25}, number = {2}, pdf_locked = {False}, url = {https://www.jstor.org/stable/23999270}, file = {1900/1980/1984/Mann/Mann_1984_The_Autonomous_Power_of_the_State.pdf}, } @article{march84_new_instit_, title = {The New Institutionalism}, subtitle = {Organizational Factors in Political Life}, author = {March, JG James G. and Olsen, Johan P. JP}, year = {1984}, tags = {inefficiency, institution, organisation, politics, symbolic_action}, journal = {The American political science review}, volume = {78}, number = {3}, pages = {734–749}, pdf_locked = {False}, url = {http://www.jstor.org/stable/1961840}, file = {1900/1980/1984/March/March_1984_The_New_Institutionalism.pdf}, } @judicial{marshall84_solem_bartl_, title = {Solem v Bartlett}, author = {Marshall, Thurgood}, year = {1984}, tags = {indigenous_people, indigenous_rights, judicial_opinion, judiciary, reservation, SCOTUS}, institution = {Supreme Court Of The United States}, pdf_locked = {False}, file = {1900/1980/1984/Marshall/Marshall_1984_Solem_v_Bartlett.pdf}, } @book{mcgrath84_group_, title = {Groups}, subtitle = {Interaction and performance}, author = {McGrath, Joseph E. JE}, year = {1984}, tags = {circumplex, groups, interaction, tasks, typology}, booktitle = {Administrative Science Quarterly}, volume = {29}, number = {3}, publisher = {Prentice Hall}, issn = {00018392}, pages = {469}, pdf_locked = {False}, pmid = {168}, isbn = {0-13-365700-0}, doi = {10.2307/2393041}, url = {http://users.ece.utexas.edu/~perry/education/382v-s08/papers/mcgrath84.pdf https://www.uni-muenster.de/imperia/md/content/psyifp/aeechterhoff/wintersemester2011-12/vorlesungkommperskonflikt/mcgrath_groupinteractperfom_1984.pdf http://www.jstor.org/stable/}, file = {1900/1980/1984/McGrath/McGrath_1984_Groups.pdf}, } @article{miller84__genre_70_, title = {Genre as social action}, author = {Miller, Carolyn R.}, year = {1984}, tags = {classification, genre, linguistics, rhetorical_genre_studies, social_action, taxonomy}, journal = {Quarterly Journal of Speech}, volume = {70}, number = {2}, DATE_ADDED = {Tue Mar 5 09:59:59 2024}, pages = {151-167}, pdf_locked = {False}, doi = {10.1080/00335638409383686}, url = {http://dx.doi.org/10.1080/00335638409383686}, file = {1900/1980/1984/Miller/MillerQJS84cx.pdf}, } @inbook{miller84__inter_exper_comput_based_diagn_, title = {INTERNIST-1, An Experimental Computer-Based Diagnostic Consultant For General Internal Medicine}, author = {Miller, Randolph A. and Jr, Harry E. Pople and Myers, Jack D.}, year = {1984}, tags = {ai, computer_science, expert_system, history, INTERNIST, medicine}, chapter = {8}, pdf_locked = {False}, file = {1900/1980/1984/Miller/Ch8.pdf}, crossref = {clancey84__readin_medic_artif_intel_}, } @article{morell84__sitin_polit_equit_1_, title = {Siting and the Politics of Equity}, author = {Morell, David}, year = {1984}, tags = {equity, land_use, NIMBY, politics, waste_management}, journal = {Hazardous Waste}, volume = {1}, number = {4}, pdf_locked = {False}, file = {1900/1980/1984/Morell/Morell_1984_Siting_and_the_Politics_of_Equity.pdf}, } @online{nairn84__behin_death_squad_, title = {Behind the Death Squads}, subtitle = {An exclusive report on the US role in El Salvador's official terror}, author = {Nairn, Allan}, year = {1984}, tags = {death_squads, el_salvador, history, journalism, USA}, pdf_locked = {False}, url = {https://www.historyisaweapon.com/defcon1/nairnelsalvadorbtds.html}, file = {1900/1980/1984/Nairn/Behind the Death Squads Allan Nairn (1984).pdf}, } @inbook{newell84__forew_, title = {Foreword}, author = {Newell, Allen}, year = {1984}, tags = {artificial_intelligence, expert_system, history, MYCIN}, pdf_locked = {False}, file = {1900/1980/1984/Newell/Newell-foreword.pdf}, crossref = {buchanan84:_rule_based_exper_system_}, } @book{niane84_gener_histor_afric_vol_, title = {General History of Africa, Vol. Iv Africa From the Twelfth To the Sixteenth Century}, author = {Niane, DjiBril Tamsir}, year = {1984}, tags = {12th_century, 16th_century, africa, history}, publisher = {University of California Press}, pdf_locked = {False}, isbn = {92-3-101710-1}, file = {1900/1980/1984/Niane/Niane_1984_General_History_of_Africa_Vol_Iv_Afric.pdf}, } @article{nilsson84__short_rebut_to_searl_, title = {A Short Rebuttal To Searle}, author = {Nilsson, Nils J.}, year = {1984}, tags = {artificial_intelligence, chinese_room, searle}, pdf_locked = {False}, url = {https://ai.stanford.edu/%7Enilsson/OnlinePubs-Nils/General%20Essays/OtherEssays-Nils/searle.pdf}, file = {1900/1980/1984/Nilsson/searle.pdf}, } @judicial{oconnor84_stric_washin_, title = {Strickland v Washington}, author = {O'Connor, Sandra Day}, year = {1984}, tags = {judicial_opinion, judiciary, police, public_defenders, SCOTUS, washington_state}, dissenting = {Brennan and Marshall}, institution = {Supreme Court Of The United States}, pdf_locked = {False}, file = {1900/1980/1984/OConnor/OConnor_1984_Strickland_v_Washington.pdf}, } @inbook{patil84__causal_under_of_patien_illnes_, title = {Causal Understanding Of Patient Illness In Medical Diagnosis}, author = {Patil, Ramesh S. and Szolovits, Peter and Schwartz, William B.}, year = {1984}, tags = {ai, causality, computer_science, expert_system, history, medicine}, chapter = {14}, pdf_locked = {False}, file = {1900/1980/1984/Patil/Ch14.pdf}, crossref = {clancey84__readin_medic_artif_intel_}, } @inbook{pauker83__towar_simul_of_clinic_cognit_, title = {Towards The Simulation Of Clinical Cognition}, subtitle = {Taking A Present Illness By Computer}, author = {Pauker, Stephen G. and Gorry, G. Anthony and Kassirer, Jerome P. and Schwartz, William B.}, year = {1984}, tags = {ai, computer_science, expert_system, history, medicine, simulation}, chapter = {6}, pdf_locked = {False}, file = {1900/1980/1984/Pauker/Ch6.pdf}, crossref = {clancey84__readin_medic_artif_intel_}, } @inbook{politakis84__system_for_empir_exper_with_exper_knowl_, title = {A System For Empirical Experimentation With Expert Knowledge}, author = {Politakis, Peter and Weiss, Sholom M.}, year = {1984}, tags = {ai, CASNET, computer_science, expert_system, history, medicine}, chapter = {18}, pdf_locked = {False}, file = {1900/1980/1984/Politakis/Ch18.pdf}, crossref = {clancey84__readin_medic_artif_intel_}, } @book{priestley84__forces_fantas_, title = {Forces of Fantasy}, subtitle = {A Warhammer Supplement}, author = {Priestley, Rick and Ansell, Bryan}, year = {1984}, tags = {rule_book, table_top_game, warhammer}, edition = {1}, publisher = {Games Workshop}, pdf_locked = {False}, series = {Warhammer Fantasy Battle}, file = {1900/1980/1984/Priestley/Forces of Fantasy (1ed).pdf}, } @book{priestley84__offic_warham_amend_, title = {Official Warhammer Amendments}, author = {Priestley, Rick}, year = {1984}, tags = {rule_book, rule_errata, table_top_game, warhammer}, edition = {2}, publisher = {Games Workshop}, pdf_locked = {False}, series = {Warhammer Fantasy Battle}, file = {1900/1980/1984/Priestley/Warhammer FB - Rules Amendments Sheet (2E).pdf}, } @book{rabinow84_foucaul_reader_, title = {The Foucault Reader}, editor = {Rabinow, Paul}, year = {1984}, tags = {asylum, bio_power, complete_institutions, friedrich_nietzsche, genealogy, history, institution, knowledge, madness, michel_foucault, panopticon, philosophy, politics, power, truth}, publisher = {Pantheon}, pdf_locked = {False}, isbn = {0-394-71340-0}, file = {1900/1980/1984/Rabinow/Rabinow_1984_The_Foucault_Reader.pdf}, } @book{ricoeur84_time_narrat_vol_, title = {Time and Narrative Vol 2}, author = {Ricoeur, Paul}, year = {1984}, tags = {constraints, games, narrative, plot, semiotics, time}, publisher = {University of Chicago Press}, pdf_locked = {False}, isbn = {0-226-71331-8}, file = {1900/1980/1984/Ricoeur/Ricoeur_1984_Time_and_Narrative_Vol_2.pdf}, } @inproceedings{rivieres84_implem_proced_reflec_languag_, title = {The Implementation of Procedurally Reflective Languages}, author = {des Rivières, Jim and Smith, Brian Cantwell}, year = {1984}, tags = {3_lisp, __printed, level_shifting, lisp, meta, programming, reflection}, booktitle = {Proceedings of the 1984 ACM Symposium on LISP and functional programming - LFP '84}, pages = {331–347}, pdf_locked = {False}, isbn = {0-89791-142-3}, doi = {10.1145/800055.802050}, url = {http://dl.acm.org/citation.cfm?id=800055.802050}, file = {1900/1980/1984/Rivires/Rivires_1984_The_Implementation_of_Procedurally_Refle.pdf}, } @article{saltzer84_end_to_end_argum_system_desig_100_, title = {End-To-End Arguments in System Design}, author = {Saltzer, Jerome H and Reed, David P and Clark, David D}, year = {1984}, tags = {__printed, design, protocol, systems}, journal = {Technology}, volume = {100}, pages = {0661}, pdf_locked = {False}, file = {1900/1980/1984/Saltzer/Saltzer_1984_End_To_End_Arguments_in_System_Design.pdf}, } @proceedings{schiffrin84:_gurt_, title = {GURT '84}, subtitle = {Meaning, Form, and Use in Context: Linguistic Applications}, editor = {Schiffrin, Deborah}, year = {1984}, tags = {linguistics, pragmatics, semantics, taxonomy, textuality}, publisher = {Georgetown University Press}, invalid_isbn = {0-8740-119-9}, pdf_locked = {False}, url = {https://repository.library.georgetown.edu/bitstream/handle/10822/555477/GURT_1984.pdf}, file = {1900/1980/1984/Schiffrin/GURT_1984.pdf}, } @inbook{scott84__method_gener_explan_, title = {Methods for Generating Explanations}, author = {Scott, A. Carlisle and Clancey, William J. and Davis, Randall and Shortliffe, Edward H.}, year = {1984}, tags = {explanation, MYCIN, rule, taxonomy}, chapter = {18}, pdf_locked = {False}, file = {1900/1980/1984/Scott/Chapter-18.pdf}, crossref = {buchanan84:_rule_based_exper_system_}, } @misc{serafini84_codex_, title = {Codex seraphinianus}, author = {Serafini, Luigi}, year = {1984}, tags = {art, magical_realism, text_book}, booktitle = {Futures}, volume = {16}, number = {5}, abstract = {Codex Seraphinianus, originally published in 1981, is an illustrated encyclopedia of an imaginary world, created by the Italian artist, architect and industrial designer Luigi Serafini during thirty months, from 1976 to 1978.[1] The book is approximately 360 pages long (depending on edition), and written in a strange, generally unintelligible alphabet.}, issn = {00163287}, pages = {555–559}, pdf_locked = {False}, isbn = {0-89659-428-9}, doi = {10.1016/0016-3287(84)90092-2}, url = {http://linkinghub.elsevier.com/retrieve/pii/0016328784900922}, file = {1900/1980/1984/Serafini/Serafini_1984_Codex_seraphinianus.pdf}, } @inbook{shortliffe84__antic_secon_decad_, title = {Anticipating The Second Decade}, author = {Shortliffe, Edward H. and Clancey, William J.}, year = {1984}, tags = {ai, computer_science, expert_system, history, medicine}, chapter = {21}, pdf_locked = {False}, file = {1900/1980/1984/Shortliffe/Ch21.pdf}, crossref = {clancey84__readin_medic_artif_intel_}, } @inbook{shortliffe84__detail_consul_system_, title = {Details of the Consultation System}, author = {Shortliffe, Edward H.}, year = {1984}, tags = {context, MYCIN, rule, software_engineering, taxonomy}, chapter = {5}, pdf_locked = {False}, file = {1900/1980/1984/Shortliffe/Chapter-05.pdf}, crossref = {buchanan84:_rule_based_exper_system_}, } @inbook{shortliffe84__exper_system_oncol_protoc_manag_, title = {An Expert System for Oncology Protocol Management}, author = {Shortliffe, Edward H. and Scott, A. Carlisle and Bischoff, Miriam B. and Campbell, A. Bruce and Van Melle, William and Jacobs, Charlotte D.}, year = {1984}, tags = {case_study, expert_system, HCI, health_care, MYCIN, ONCOCIN, oncology}, chapter = {35}, pdf_locked = {False}, file = {1900/1980/1984/Shortliffe/Chapter-35.pdf}, crossref = {buchanan84:_rule_based_exper_system_}, } @inbook{shortliffe84__knowl_engin_medic_decis_makin_, title = {Knowledge Engineering for Medical Decision Making}, subtitle = {A review of Computer-Based Clinical Decision Aids}, author = {Shortliffe, Edward H. and Buchanan, Bruce G. and Feigenbaum, Edward A.}, year = {1984}, tags = {ai, ARAMIS, clinical_decision_aids, computer_science, expert_system, history, knowledge_engineering, medicine}, chapter = {3}, pdf_locked = {False}, file = {1900/1980/1984/Shortliffe/Ch3.pdf}, crossref = {clancey84__readin_medic_artif_intel_}, } @inbook{shortliffe84__model_inexac_reason_medic_, title = {A Model of Inexact Reasoning in Medicine}, author = {Shortliffe, Edward H. and Buchanan, Bruce G.}, year = {1984}, tags = {belief, evidential_strength, MYCIN, probability, reasoning, rule}, chapter = {11}, pdf_locked = {False}, file = {1900/1980/1984/Shortliffe/Chapter-11.pdf}, crossref = {buchanan84:_rule_based_exper_system_}, } @inbook{smith84__anoth_look_frames_, title = {Another Look at Frames}, author = {Smith, David E. and Clayton, Jan E.}, year = {1984}, tags = {artificial_intelligence, assertion, CENTAUR, frame, MYCIN, taxonomy, WHEEZE}, chapter = {24}, pdf_locked = {False}, file = {1900/1980/1984/Smith/Chapter-24.pdf}, crossref = {buchanan84:_rule_based_exper_system_}, } @inbook{suwa84__compl_consis_rule_based_system_, title = {Completeness and Consistency in a Rule-Based System}, author = {Suwa, Motoi and Scott, A. Carlisle and Shortliffe, Edward H.}, year = {1984}, tags = {artificial_intelligence, consistency, expert_system, MYCIN, ONCOCIN, rule, software_engineering}, chapter = {8}, pdf_locked = {False}, file = {1900/1980/1984/Suwa/Chapter-08.pdf}, crossref = {buchanan84:_rule_based_exper_system_}, } @inbook{swariout84__explain_justif_exper_consul_progr_, title = {Explaining and Justifying Expert Consulting Programs}, author = {Swariout, William R.}, year = {1984}, tags = {ai, computer_science, expert_system, history, justification, medicine, XPLAIN}, chapter = {16}, pdf_locked = {False}, file = {1900/1980/1984/Swariout/Ch16.pdf}, crossref = {clancey84__readin_medic_artif_intel_}, } @inbook{szolovits84__categ_probab_reason_in_medic_diagn_, title = {Categorical and Probabilistic Reasoning In Medical Diagnosis}, author = {Szolovits, Peter and Pauker, Stephen G.}, year = {1984}, tags = {ai, categorisation, computer_science, expert_system, history, medicine, probability}, chapter = {9}, pdf_locked = {False}, file = {1900/1980/1984/Szolovits/Ch9.pdf}, crossref = {clancey84__readin_medic_artif_intel_}, } @inbook{teach84__analy_physic_attit_, title = {An Analysis of Physicians' Attitudes}, author = {Teach, Randy L. and Shortliffe, Edward H.}, year = {1984}, tags = {case_study, evaluation, health_care, MYCIN}, chapter = {34}, pdf_locked = {False}, file = {1900/1980/1984/Teach/Chapter-34.pdf}, crossref = {buchanan84:_rule_based_exper_system_}, } @article{thompson84__reflec_27_, title = {Reflections on trusting trust}, author = {Thompson, Ken}, year = {1984}, tags = {software_engineering, software_safety, trust}, journal = {Communications of the ACM}, volume = {27}, number = {8}, pages = {761-763}, pdf_locked = {False}, doi = {10.1145/358198.358210}, url = {http://dx.doi.org/10.1145/358198.358210}, file = {1900/1980/1984/Thompson/Thompson_1984_ReflectionsonTrustingTrust.pdf}, } @inbook{van84__emycin_, title = {EMYCIN}, subtitle = {A Knowledge Engineer's Tool for Constructing Rule-Based Expert Systems}, author = {Van Melle, William and Shortliffe, Edward H. and Buchanan, Bruce G.}, year = {1984}, tags = {debugging, EMYCIN, expert_system, knowledge_engineering, MYCIN, rule, tool_design}, chapter = {15}, pdf_locked = {False}, file = {1900/1980/1984/Van/Chapter-15.pdf}, crossref = {buchanan84:_rule_based_exper_system_}, } @inbook{van84__struc_mycin_system_, title = {The Structure of the MYCIN System}, author = {Van Melle, William}, year = {1984}, tags = {design, MYCIN, rule, software_engineering}, chapter = {4}, pdf_locked = {False}, file = {1900/1980/1984/Van/Chapter-04.pdf}, crossref = {buchanan84:_rule_based_exper_system_}, } @book{virilio84_war_cinem_, title = {War and Cinema}, subtitle = {The Logistics of Perception}, author = {Virilio, Paul}, year = {1984}, tags = {cinema, deterrence, war}, publisher = {Verso}, pdf_locked = {False}, file = {1900/1980/1984/Virilio/Virilio_1984_War_and_Cinema.pdf}, } @inbook{wallis84__custom_explan_using_causal_knowl_, title = {Customized Explanations Using Causal Knowledge}, author = {Wallis, Jerold W. and Shortliffe, Edward H.}, year = {1984}, tags = {case_study, causal_modeling, explanation, MYCIN, probability, rule, taxonomy}, chapter = {20}, pdf_locked = {False}, file = {1900/1980/1984/Wallis/Chapter-20.pdf}, crossref = {buchanan84:_rule_based_exper_system_}, } @inbook{weiss84__devel_microp_based_exper_model_, title = {Developing Microprocessor-Based Expert Models For Instrument Interpretation}, author = {Weiss, Sholom M. and Kulikowski, Casimir A. and Galen, Robert S.}, year = {1984}, tags = {ai, computer_science, expert_system, history, medicine}, chapter = {20}, pdf_locked = {False}, file = {1900/1980/1984/Weiss/Ch20.pdf}, crossref = {clancey84__readin_medic_artif_intel_}, } @inbook{weiss84__model_based_method_for_comput_, title = {A Model-Based Method For Computer-Aided Medical Decision Making}, author = {Weiss, Sholom M. and Kulikowski, Casimir A. and Amarel, Saul and Safir, Aran}, year = {1984}, tags = {ai, computer_science, expert_system, history, medicine, weighting}, chapter = {7}, pdf_locked = {False}, file = {1900/1980/1984/Weiss/Ch7.pdf}, crossref = {clancey84__readin_medic_artif_intel_}, } @inbook{yu84__evaluat_mycin_advic_, title = {An Evaluation of MYCIN's Advice}, author = {Yu, Victor L. and Fagan, Lawrence M. and Bennett, Sharon Wraith and Clancey, William J. and Scott, A. Carlisle and Hannigan, John F. and Blum, Robert L. and Buchanan, Bruce G. and Cohen, Stanley N.}, year = {1984}, tags = {case_study, evaluation, MYCIN}, chapter = {31}, pdf_locked = {False}, file = {1900/1980/1984/Yu/Chapter-31.pdf}, crossref = {buchanan84:_rule_based_exper_system_}, } @inproceedings{zimmerman84__talk_, title = {Talk and its occasion}, subtitle = {The case of calling the police}, author = {Zimmerman, Don H.}, year = {1984}, tags = {conversation, linguistics, police, pragmatics, semantics, textuality}, pages = {210-228}, crossref = {schiffrin84:_gurt_}, } @inproceedings{zimmerman84__talk_its_occas_, title = {Talk and Its Occasion}, subtitle = {The Case of Calling the Police}, author = {Zimmerman, Don H.}, year = {1984}, tags = {context, conversation, erving_goffman, linguistics, police, pragmatics, request, semantics, speech_act, taxonomy, textuality}, crossref = {schiffrin84:_gurt_}, }