@Comment 1993.bib -*- mode: BibTeX -*- @book{adams93__deeper_meanin_liff_, title = {The Deeper Meaning of Liff}, subtitle = {A Dictionary of Things There Aren't Any Words for Yet- But There Ought to Be}, author = {Adams, Douglas and Lloyd, John}, year = {1993}, tags = {dictionary, humour, names, UK}, publisher = {Harmony Books}, pdf_locked = {False}, file = {1900/1990/1993/Adams/The Deeper Meaning of Liff.pdf}, } @article{albrecht93_updat_mental_model_19_, title = {Updating a Mental Model}, subtitle = {Maintaining Both Local and Global Coherence.}, author = {Albrecht, Jason E. and O'Brien, Edward J.}, year = {1993}, tags = {coherence, mental_models, narrative, psychology, reading_comprehension}, journal = {Journal of Experimental Psychology: Learning, Memory, and Cognition}, volume = {19}, number = {5}, pages = {1061-1070}, pdf_locked = {False}, doi = {10.1037/0278-7393.19.5.1061}, url = {http://dx.doi.org/10.1037/0278-7393.19.5.1061}, file = {1900/1990/1993/Albrecht/Albrecht_1993_Updating_a_Mental_Model.pdf}, } @incollection{asimov93__forwar_found_, title = {Forward the Foundation}, author = {Asimov, Isaac}, year = {1993}, tags = {psychohistory, science_fiction}, booktitle = {The Foundation Novels}, publisher = {Ballantine}, look_in = {asimov51:_found_}, isbn = {978-0-8041-8057-3}, } @incollection{badler93_inter_manip_behav_, title = {Interactive Manipulation with Behaviors}, author = {Badler, Norman I. and Phillips, Cary B. and Webber, Bonnie Lynn}, year = {1993}, tags = {animation, body, layers, pose, software}, booktitle = {Simulating humans : computer graphics animation and control}, publisher = {Oxford University Press}, pdf_locked = {False}, file = {1900/1990/1993/Badler/Badler_1993_Interactive_Manipulation_with_Behaviors.pdf}, } @book{banks93_state_of_art_, title = {The State Of The Art}, author = {Banks, Iain M}, year = {1993}, tags = {science_fiction}, publisher = {Time Warner Books}, isbn = {978-1-85723-030-7}, file = {1900/1990/1993/Banks/Banks_1993_The_State_Of_The_Art.epub}, } @article{bergadano93_diffic_learn_logic_progr_with_cut_1_, title = {The Difficulties of Learning Logic Programs With Cut}, author = {Bergadano, F. and Gunetti, D. and Trinchero, U.}, year = {1993}, tags = {backtracking, cut_predicate, induction, inductive_logic, logic_programming, procedural_cut, prolog}, journal = {Journal of Artificial Intelligence Research}, volume = {1}, pages = {91-107}, pdf_locked = {False}, doi = {10.1613/jair.26}, url = {http://dx.doi.org/10.1613/jair.26}, file = {1900/1990/1993/Bergadano/Bergadano_1993_The_Difficulties_of_Learning_Logic_Progr.pdf}, } @book{bhasin93_what_is_patriar_, title = {What Is Patriarchy?}, author = {Bhasin, Kamla}, year = {1993}, tags = {feminism, patriarchy}, publisher = {Raj Press}, pdf_locked = {False}, file = {1900/1990/1993/Bhasin/Bhasin_1993_What_Is_Patriarchy.pdf}, } @judicial{blackmun93_dauber_merrel_, title = {Daubert v Merrell}, author = {Blackmun, Harry}, year = {1993}, tags = {evidence, judicial_opinion, judiciary, scientific_evidence, SCOTUS}, institution = {Supreme Court Of The United States}, pdf_locked = {False}, file = {1900/1990/1993/Blackmun/Blackmun_1993_Daubert_v_Merrell.pdf}, } @manual{bremer93__simcit_users_manual_, title = {SimCity 2000 User's Manual}, author = {Bremer, Michael}, year = {1993}, tags = {game_manuals, sim_city, simulation, urban_design}, publisher = {Maxis Software}, pdf_locked = {False}, platform = {PC}, url = {https://archive.org/details/SimCity.2000-Manual}, file = {1900/1990/1993/Software/Software_2022_SimCity_2000_User_s_Manual.pdf}, } @book{briggs93__street_of_ankh_morpor_, title = {The Streets Of Ankh-Morpork}, author = {Briggs, Stephen and Pratchett, Terry}, year = {1993}, tags = {cartography, discworld}, publisher = {Corgi}, pdf_locked = {False}, isbn = {978-0-552-14161-1}, file = {1900/1990/1993/Briggs/The Streets of Ankh-Morpork.pdf}, } @article{carletta93_squib_discus_asses_agreem_class_tasks_22_, title = {Squibs and Discussions Assessing Agreement on Classification Tasks}, subtitle = {The Kappa Statistic}, author = {Carletta, Jean}, year = {1993}, tags = {computational_linguistics, content_analysis, dialogue, discourse, kappa, linguistics, statistics}, journal = {Computational Linguistics}, volume = {22}, number = {2}, pdf_locked = {False}, file = {1900/1990/1993/Carletta/Carletta_1993_Squibs_and_Discussions_Assessing_Agreeme.pdf}, } @book{cicero93_gover_, title = {On Government}, author = {Cicero, Marcus Tullius}, year = {1993}, tags = {government, philosophy, politics}, publisher = {Penguin}, isbn = {978-0-14-044595-4}, file = {1900/1990/1993/Cicero/Cicero_1993_On_Government.epub}, } @manual{cook93__syndic_, title = {Syndicate}, author = {Cook, Neil and Smith, Andrea}, year = {1993}, tags = {dystopia, game, game_design, strategy}, institution = {Bullfrog}, pdf_locked = {False}, url = {https://www.gog.com/game/syndicate}, file = {1900/1990/1993/Cook/syndicate_manual.pdf}, } @book{cubeddu93_, title = {The Philosophy Of The Austrian School}, isbn = {0203981898}, author = {Cubeddu, Raimondo}, year = {1993}, tags = {austrian_school, democracy, socal_science, socialism, totalitarianism}, publisher = {Routledge}, pdf_locked = {False}, file = {/media/john/data/library/pdfs_structured/1900/1990/1993/Cubeddu/Cubeddu_1993_0_203_98189_8.pdf}, } @inproceedings{dalrymple93_lfg_, title = {LFG Semantics Via Constraints}, author = {Dalrymple, Mary and Lamping, John and Saraswat, Vijay}, year = {1993}, tags = {LFG, linear_logic, NLP, semantics}, booktitle = {European chapter of the Association for Computational Linguistics}, pdf_locked = {False}, doi = {10.3115/976744.976757}, url = {http://dx.doi.org/10.3115/976744.976757}, file = {1900/1990/1993/Dalrymple/Dalrymple_1993_LFG_semantics_via_constraints.pdf}, } @book{deleuze93_deleuz_reader_, title = {The Deleuze Reader}, author = {Deleuze, Gilles and Boundas, Constantin V}, year = {1993}, tags = {art, capitalism, critical_theory, desire, difference, ethics, language, philosophy, politics, repetition, rhizome}, publisher = {Columbia University Press}, pdf_locked = {False}, file = {1900/1990/1993/Deleuze/Deleuze_1993_The_Deleuze_Reader.pdf}, } @book{derrida93_name_, title = {On the Name}, author = {Derrida, Jacques}, year = {1993}, tags = {culture, philosophy, theory}, publisher = {Stanford University Press}, pdf_locked = {False}, file = {1900/1990/1993/Derrida/Derrida_1993_On_the_Name.pdf}, } @inproceedings{diaconsescu93_logic_suppor_modul_, title = {Logical Support for Modularisation}, author = {Diaconsescu, Răzvan and Goguen, Joseph and Sefaneas, Petros}, year = {1993}, tags = {logic, modularity, semantics, syntax}, booktitle = {Second Annual Workshop on Logical Environments}, pdf_locked = {False}, url = {https://dl.acm.org/doi/abs/10.5555/185881.185899}, file = {1900/1990/1993/Diaconsescu/Diaconsescu_1993_Logical_Support_for_Modularisation.pdf}, } @book{drucker93_manag_, title = {Management}, subtitle = {Tasks, Responsibilities, Practices}, author = {Drucker, Peter F.}, year = {1993}, tags = {__important, management, practices, responsibility, tasks}, publisher = {Truman Talley}, pdf_locked = {False}, isbn = {978-0-88730-615-0}, file = {1900/1990/1993/Drucker/Drucker_1993_Management.pdf}, } @article{epps93:_black_medic_pioneer_85_c_, title = {Black Medical Pioneers}, subtitle = {African American 'firsts' In Academic And Organized Medicine, Part 3}, author = {Epps, Jr, Charles H. and Johnson, Davis G. and Vaughan, Audrey L.}, year = {1993}, tags = {biography, history, medicine, race}, journal = {Journal of the National Medical Association}, volume = {85}, number = {10}, pdf_locked = {False}, pmcid = {PMC2568213}, url = {https://pubmed.ncbi.nlm.nih.gov/8254696}, file = {1900/1990/1993/Epps/Jr_1993_Black_Medical_Pioneers.pdf}, } @article{feigenbaum93_dendr_meta_dendr_59_, title = {Dendral and Meta-Dendral}, subtitle = {Roots of Knowledge Systems and Expert System Applications}, author = {Feigenbaum, Edward A. and Buchanan, Bruce G.}, year = {1993}, tags = {DENDRAL, production_systems, review}, journal = {Artificial Intelligence}, volume = {59}, number = {1-2}, pages = {233-240}, pdf_locked = {False}, doi = {10.1016/0004-3702(93)90191-d}, url = {http://dx.doi.org/10.1016/0004-3702(93)90191-D}, file = {1900/1990/1993/Feigenbaum/Feigenbaum_1993_Dendral_and_Meta_Dendral.pdf}, } @inproceedings{fisher93_concur_metat_, title = {Concurrent MetateM - A language for modelling reactive systems}, author = {Fisher, Michael}, year = {1993}, tags = {agents, concurrency, logic, MAS, METATEM, multi_agent_systems, reactive_systems, temporal_logic}, booktitle = {Parallel Architectures and Languages Europe, PARLE}, pages = {185-196}, pdf_locked = {False}, doi = {10.1007/3-540-56891-3_15}, url = {http://dx.doi.org/10.1007/3-540-56891-3_15}, file = {1900/1990/1993/Fisher/Fisher_1993_Concurrent_MetateM_A_language_for_mode.pdf}, } @book{forbus93_build_probl_solver_, title = {Building Problem Solvers}, author = {Forbus, Kenneth D and Kleer, Johan D E}, year = {1993}, tags = {__important, inference, justification, lisp, logic, patterns, problem_solving, text_book, TMS, truth_maintenance_system}, publisher = {MIT Press}, pdf_locked = {False}, url = {https://www.qrg.northwestern.edu/BPS/readme.html}, file = {1900/1990/1993/Forbus/Forbus_1993_Building_Problem_Solvers.pdf}, } @article{gelfond93_repres_action_chang_by_logic_progr_17_, title = {Representing Action and Change By Logic Programs}, author = {Gelfond, Michael and Lifschitz, Vladimir}, year = {1993}, tags = {action_language, answer_set_programming, logic}, journal = {The Journal of Logic Programming}, volume = {17}, number = {2-4}, pages = {301-321}, pdf_locked = {False}, doi = {10.1016/0743-1066(93)90035-f}, url = {http://dx.doi.org/10.1016/0743-1066(93)90035-F}, file = {1900/1990/1993/Gelfond/Gelfond_1993_Representing_Action_and_Change_By_Logic_.pdf}, } @article{girard93_unity_logic_59_, title = {On the Unity of Logic}, author = {Girard, Jean-Yves}, year = {1993}, tags = {__important, fragments, intuitional_logic, linear_logic, sequent_calculus}, journal = {Annals of Pure and Applied Logic}, volume = {59}, number = {3}, pages = {201-217}, pdf_locked = {False}, doi = {10.1016/0168-0072(93)90093-s}, url = {http://dx.doi.org/10.1016/0168-0072(93)90093-S}, file = {1900/1990/1993/Girard/Girard_1993_On_the_Unity_of_Logic.pdf}, } @inproceedings{goguen93__notat_, title = {On Notation}, author = {Goguen, Joseph}, year = {1993}, tags = {CSCW, HCI, logic, notation, semiotics, syntax}, booktitle = {TOOLS 10: Technology of Object-Oriented Languages and Systems}, publisher = {Prentice Hall}, pdf_locked = {False}, file = {1900/1990/1993/Goguen/Goguen_1993_On_Notation.pdf}, } @article{gordon93_plead_game_2_, title = {The Pleadings Game}, author = {Gordon, Thomas F.}, year = {1993}, tags = {argument, conditional_entailment, dialectics, law, mediation, non_monotonic_logic, pleadings_game}, journal = {Artificial Intelligence and Law}, volume = {2}, publisher = {Kluwer}, abstract = {The Pleadings Game is a normative formalization and computational model of civil pleading, founded in Robert Alexy's discourse theory of legal argumentation. The consequences of arguments and counterarguments are modelled using Geffner and Pearl's nonmonotonic logic, conditional entailment. Discourse is focussed using the concepts of issue and relevance. Conflicts between arguments can be resolved by arguing about the validity and priority of rules, at any level. The computational model is fully implemented and has been tested using examples from Article Nine of the Uniform Commercial Code.}, issn = {0924-8463}, pages = {217}, pdf_locked = {False}, pmid = {2469}, isbn = {0-7923-3607-0}, doi = {10.1007/BF00871972}, url = {http://ci.nii.ac.jp/naid/40006182553/}, file = {1900/1990/1993/Gordon/Gordon_1993_The_Pleadings_Game.pdf}, } @article{graefe93_query_evaluat_techn_large_datab_25_, title = {Query Evaluation Techniques for Large Databases}, author = {Graefe, Goetz}, year = {1993}, tags = {database, efficiency, layers, query, testing}, journal = {ACM Computing Surveys, CSUR}, volume = {25}, number = {2}, pages = {73-169}, pdf_locked = {False}, doi = {10.1145/152610.152611}, url = {http://dx.doi.org/10.1145/152610.152611}, file = {1900/1990/1993/Graefe/Graefe_1993_Query_Evaluation_Techniques_for_Large_Da.pdf}, } @misc{gray93_precis_projec_ernes_, title = {The Précis of Project Ernestine}, author = {Gray, Wayne D}, year = {1993}, tags = {analysis, GOMS, HCI, presentation, SOAR, user_testing}, pdf_locked = {False}, file = {1900/1990/1993/Gray/Gray_1993_The_Prcis_of_Project_Ernestine.pdf}, } @thesis{grossbard93__econom_marriag_theor_marriag_labor_divor_, title = {On the Economics of Marriage-A Theory of Marriage, Labor and Divorce}, author = {Grossbard, Shoshana}, year = {1993}, tags = {economics, labour, marriage, polygamy}, institution = {San Diego State University}, pdf_locked = {False}, type = {phd}, url = {https://mpra.ub.uni-muenchen.de/81832/}, file = {1900/1990/1993/Grossbard/Grossbard_1993_On_the_Economics_of_Marriage_A_Theory_of.pdf}, } @article{hanson93_8_, title = {An overview of production rules in database systems}, author = {Hanson, Eric N. and Widom, Jennifer}, year = {1993}, tags = {Ariel, database, HiPAC, literature_review, Ode, POSTGRES, production_rules, rule_language, semantics, starburst}, journal = {The Knowledge Engineering Review}, volume = {8}, number = {2}, date_added = {Sun May 28 10:56:02 2023}, pages = {121-143}, pdf_locked = {False}, doi = {10.1017/s0269888900000126}, url = {http://dx.doi.org/10.1017/S0269888900000126}, file = {1900/1990/1993/Hanson/Hanson_1993_An_overview_of_production_rules_in_datab.pdf}, } @article{harper93_framew_defin_logic_40_, title = {A Framework for Defining Logics}, author = {Harper, Robert and Honsell, Furio and Plotkin, Gordon D.}, year = {1993}, tags = {edinburgh_logical_framework, formal_methods, judgement, lambda_calculus, LF, proof_search, theorem_proving}, journal = {Journal of the ACM}, volume = {40}, number = {1}, pages = {143-184}, pdf_locked = {False}, doi = {10.1145/138027.138060}, url = {http://dx.doi.org/10.1145/138027.138060}, file = {1900/1990/1993/Harper/Harper_1993_A_Framework_for_Defining_Logics.pdf}, } @article{hollnagel93_phenot_erron_action_39_, title = {The Phenotype of Erroneous Actions}, author = {Hollnagel, Erik}, year = {1993}, tags = {action, behaviour, error, mistake, taxonomy}, journal = {International Journal of Man-Machine Studies}, volume = {39}, number = {1}, publisher = {Elsevier}, pages = {1-32}, pdf_locked = {True}, file = {1900/1990/1993/Hollnagel/Hollnagel_1993_The_Phenotype_of_Erroneous_Actions.pdf}, } @booklet{johnson93__warham_codex_army_lists_, title = {Warhammer 40,000 Codex Army Lists}, author = {Johnson, Jervis and Chambers, Andy}, year = {1993}, tags = {40k, codex, rule_book}, edition = {2}, publisher = {Games Workshop}, pdf_locked = {False}, file = {1900/1990/1993/Johnson/Codex Army Lists (2ed).pdf}, } @article{jones93_charac_law_comput_system_1_, title = {On the Characterisation of Law and Computer Systems}, subtitle = {The Normative Systems Perspective}, author = {Jones, Andrew J. I. and Sergot, Marek J.}, year = {1993}, tags = {__important, deontic, law, legal, logic}, journal = {Deontic Logic in Computer Science: Normative System Specification}, volume = {1}, number = {1}, pages = {275-307}, pdf_locked = {False}, isbn = {0-471-93743-6}, file = {1900/1990/1993/Jones/Jones_1993_On_the_Characterisation_of_Law_and_Compu.pdf}, } @report{jones93_compos_, title = {Composing monads}, author = {Jones, Mark P and Duponcheel, Luc}, year = {1993}, tags = {category_theory, haskell, monad}, institution = {Yale University}, pdf_locked = {False}, url = {http://www.cs.tufts.edu/~nr/cs257/archive/mark-jones/composing-monads.pdf}, file = {1900/1990/1993/Jones/Jones_1993_Composing_monads.pdf}, } @article{jr93:_black_medic_pioneer_85_a_, title = {Black Medical Pioneers}, subtitle = {African American 'firsts' In Academic And Organized Medicine, Part 1}, author = {Epps, Jr, Charles H. and Johnson, Davis G. and Vaughan, Audrey L.}, year = {1993}, tags = {biography, history, race}, journal = {Journal of the National Medical Association}, volume = {85}, number = {8}, pdf_locked = {False}, pmcid = {PMC2568095}, url = {https://pubmed.ncbi.nlm.nih.gov/8371287}, file = {1900/1990/1993/Epps/_3fc08.pdf}, } @article{jr93:_black_medic_pioneer_85_b_, title = {Black Medical Pioneers}, subtitle = {African American 'firsts' In Academic And Organized Medicine, Part 2}, author = {Epps, Jr, Charles H. and Johnson, Davis G. and Vaughan, Audrey L.}, year = {1993}, tags = {biography, history, race}, journal = {Journal of the National Medical Association}, volume = {85}, number = {9}, pdf_locked = {False}, pmcid = {PMC2568128}, url = {https://pubmed.ncbi.nlm.nih.gov/8120935}, file = {1900/1990/1993/Epps/_cbe6c.pdf}, } @book{kaelbling93_learn_, title = {Learning in embedded systems}, author = {Kaelbling, Leslie Pack}, year = {1993}, tags = {bandt_problems, complexity, generate_and_test, interval_estimation, learning, machine_learning, reinforcement_learning, situated_action}, publisher = {MIT Press}, pdf_locked = {False}, isbn = {0-262-11174-8}, file = {1900/1990/1993/Kaelbling/Kaelbling_1993_Learning_in_embedded_systems.pdf}, } @techreport{kahrs93__mistak_ambig_stand_ml_, title = {Mistakes and Ambiguities in the definition of {S}tandard {ML}}, author = {Kahrs, Stefan}, year = {1993}, tags = {programming_language_design, semantics, standard_ML}, number = {ECS-LFCS-93-257}, institution = {University of Edinburgh}, month = {April}, pages = {182-196}, pdf_locked = {False}, type = {LFCS Report}, url = {https://kar.kent.ac.uk/21122/}, file = {1900/1990/1993/Kahrs/sml-errors.pdf}, } @book{kauffman93__origin_order_, title = {The Origins of Order}, subtitle = {Self-Organization and Selection in Evolution}, author = {Kauffman, Stuart A.}, year = {1993}, tags = {chaos, complex_systems, complexity_theory, evolution, self_organisation}, publisher = {Oxford University Press}, pdf_locked = {False}, isbn = {0-19-507951-5}, file = {1900/1990/1993/Kauffman/The Origins of Order.pdf}, } @article{lamport93_tla_hybrid_system_, title = {Tla in Hybrid Systems}, author = {Lamport, Leslie}, year = {1993}, tags = {__come_back_to, abstraction, hybrid_systems, temporal_logic, TLA}, journal = {Hybrid Systems}, publisher = {Springer-Verlag}, pdf_locked = {False}, file = {1900/1990/1993/Lamport/Lamport_1993_Tla_in_Hybrid_Systems.pdf}, } @article{lansing93_emerg_proper_balin_water_templ_networ_95_, title = {Emergent Properties of Balinese Water Temple Networks}, subtitle = {Coadaptation on a Rugged Fitness Landscape}, author = {Lansing, J. Stephen and Kremer, James N.}, year = {1993}, tags = {__printed, bali, complex_adaptive_systems, emergence, farming, irrigation}, journal = {American Anthropologist}, volume = {95}, number = {1}, pages = {97-114}, pdf_locked = {False}, file = {1900/1990/1993/Lansing/Lansing_1993_Emergent_Properties_of_Balinese_Water_Te.pdf}, } @article{leveson93__therac_26_, title = {An investigation of the Therac-25 accidents}, author = {Leveson, N.G. and Turner, C.S.}, year = {1993}, tags = {health_care, radiation_therapy, safety_critical_systems, technology, THERAC_25}, journal = {Computer}, volume = {26}, number = {7}, pages = {18-41}, pdf_locked = {False}, doi = {10.1109/mc.1993.274940}, url = {http://dx.doi.org/10.1109/MC.1993.274940}, file = {1900/1990/1993/Leveson/Therac-25.pdf}, } @article{lindsay93_dendr_61_, title = {Dendral}, subtitle = {A Case Study of the First Expert System for Scientific Hypothesis Formation}, author = {Lindsay, Robert K. and Buchanan, Bruce G. and Feigenbaum, Edward A. and Lederberg, Joshua}, year = {1993}, tags = {case_study, DENDRAL, production_systems, rule_system}, journal = {Artificial Intelligence}, volume = {61}, number = {2}, pdf_locked = {False}, doi = {10.1016/0004-3702(93)90068-M}, file = {1900/1990/1993/Lindsay/Lindsay_1993_Dendral.pdf}, } @book{linehan93_cognit_behav_treat_border_person_disor_, title = {Cognitive Behavioral Treatment of Borderline Personality Disorder}, author = {Linehan, Marsha M.}, year = {1993}, tags = {bpd, CBT, psychology}, publisher = {The Guilford Press}, pdf_locked = {False}, isbn = {0-89862-183-6}, file = {1900/1990/1993/Linehan/Linehan_1993_Cognitive_Behavioral_Treatment_of_Border.pdf}, } @report{lowe93_leisur_suit_larry_game_desig_docum_, title = {Leisure Suit Larry 6 Game Design Document}, author = {Lowe, Al}, year = {1993}, tags = {design_document, game, game_development}, institution = {Sierra On-Line}, pdf_locked = {True}, file = {1900/1990/1993/Lowe/Lowe_1993_Leisure_Suit_Larry_6_Game_Design_Documen.pdf}, } @misc{mazrui93_gener_histor_afric_vol_, title = {General History of Africa}, subtitle = {Africa Since 1935}, author = {Mazrui, Ali A. and Wondji, C.}, year = {1993}, tags = {africa, history}, volume = {8}, publisher = {UNESCO}, pdf_locked = {False}, isbn = {0-520-03920-3}, file = {1900/1990/1993/Mazrui/Mazrui_1993_General_History_of_Africa_Vol_VIII_Afr.pdf}, } @incollection{mccarthy93_towar_, title = {Towards a mathematical science of computation}, author = {McCarthy, John}, year = {1993}, tags = {computation, computer_science, math}, booktitle = {Program Verification}, publisher = {Springer}, pages = {35-56}, pdf_locked = {False}, doi = {10.1007/978-94-011-1793-7_2}, file = {1900/1990/1993/McCarthy/McCarthy_1993_Towards_a_mathematical_science_of_comput.pdf}, } @book{mccloud93_under_comic_, title = {Understanding Comics}, subtitle = {The Invisible Art}, author = {McCloud, Scott}, year = {1993}, tags = {art, comic, comic_book_studies, graphic_novel}, publisher = {Kitchen Sink Press}, pdf_locked = {False}, isbn = {0-06-097625-X}, file = {1900/1990/1993/McCloud/McCloud_1993_Understanding_Comics.pdf}, } @article{mckeegan93_polit_abort_3_, title = {The Politics of Abortion}, author = {Mckeegan, Michele}, year = {1993}, tags = {abortion, politics, reproductive_health, republicans}, journal = {American Politics Quarterly}, volume = {3}, number = {3}, pages = {1-5}, pdf_locked = {False}, file = {1900/1990/1993/Mckeegan/Mckeegan_1993_The_Politics_of_Abortion.pdf}, } @inproceedings{meyer93_argum_leavin_veril_languag_unchan_, title = {The Argument for Leaving the Verilog Language Unchanged}, author = {Meyer, Steve}, year = {1993}, tags = {DSL, programming_language_design, verilog}, booktitle = {Proceedings 2nd International Verilog HDL Conference}, pdf_locked = {False}, url = {http://www.tdl.com/~smeyer/docs/AgainstVerilog2001.pdf}, file = {1900/1990/1993/Meyer/Meyer_1993_The_Argument_for_Leaving_the_Verilog_Lan.pdf}, } @book{nardi93_small_matter_progr_, title = {A Small Matter of Programming}, subtitle = {Perspectives on End User Computing}, author = {Nardi, Bonnie A.}, year = {1993}, tags = {__important, collaboration, HCI, interaction, programming, programming_language_design, UI}, publisher = {MIT Press}, pdf_locked = {False}, isbn = {0-262-14053-5}, file = {1900/1990/1993/Nardi/Nardi_1993_A_Small_Matter_of_Programming.pdf}, } @article{nilsson93_teleo_react_progr_agent_contr_1_, title = {Teleo-Reactive Programs for Agent Control}, author = {Nilsson, Nils J.}, year = {1993}, tags = {agents, artificial_intelligence, robotics, teleo_reactive}, journal = {Journal of Artificial Intelligence Research}, volume = {1}, abstract = {A formalism is presented for computing and organizing actions for autonomous agents in dynamic environments. We introduce the notion of teleo-reactive (T-R) programs whose execution entails the construction of circuitry for the continuous computation of the parameters and conditions on which agent action is based. In addition to continuous feedback, T-R programs support parameter binding and recursion. A primary difference between T-R programs and many other circuit-based systems is that the circuitry of T-R programs is more compact; it is constructed at run time and thus does not have to anticipate all the contingencies that might arise over all possible runs. In addition, T-R programs are intuitive and easy to write and are written in a form that is compatible with automatic planning and learning methods. We briefly describe some experimental applications of T-R programs in the control of simulated and actual mobile robots.}, arxivid = {cs/9401101}, issn = {10769757}, pages = {139-158}, pdf_locked = {False}, primaryclass = {cs}, doi = {10.1613/jair.30}, file = {1900/1990/1993/Nilsson/Nilsson_1993_Teleo_Reactive_Programs_for_Agent_Contro.pdf}, } @inproceedings{nipkow93_type_, title = {Type checking type classes}, author = {Nipkow, Tobias and Prehofer, Christian}, year = {1993}, tags = {algorithm, polymorphism, type_checking, type_classes, unification}, booktitle = {Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93}, pdf_locked = {False}, doi = {10.1145/158511.158698}, url = {http://dx.doi.org/10.1145/158511.158698}, file = {1900/1990/1993/Nipkow/Nipkow_1993_Type_checking_type_classes.pdf}, } @judicial{oconnor93_shaw_reno_, title = {Shaw v Reno}, author = {O'Connor, Sandra Day}, year = {1993}, tags = {judicial_opinion, judiciary, redistricting, SCOTUS, voting_rights}, dissenting = {White and Blackmun and Stevens and Souter}, institution = {Supreme Court Of The United States}, pdf_locked = {False}, file = {1900/1990/1993/Oconnor/OConnor_1993_Shaw_v_Reno.pdf}, } @article{okeefe93_exper_system_verif_valid_7_, title = {Expert System Verification and Validation}, subtitle = {A Survey and Tutorial}, author = {O'Keefe, Robert M and O'Leary, Daniel E}, year = {1993}, tags = {expert_system, knowledge_based_systems, software_engineering, testing, validation, verification}, journal = {Artificial Intelligence Review}, volume = {7}, number = {1}, publisher = {Springer}, pages = {3-42}, pdf_locked = {False}, doi = {10.1007/BF00849196}, file = {1900/1990/1993/OKeefe/OKeefe_1993_Expert_System_Verification_and_Validatio.pdf}, } @book{oliver93_ethic_polit_differ_julia_krist_writin_, title = {Ethics, Politics and Difference in Julia Kristeva's Writing}, editor = {Oliver, Kelly}, year = {1993}, tags = {abjection, body_politics, ethics, feminism, julia_kristeva, philosophy, politics}, publisher = {Routledge}, pdf_locked = {False}, isbn = {0-415-90704-7}, file = {1900/1990/1993/Oliver/Oliver_1993_Ethics_Politics_and_Difference_in_Julia.pdf}, } @book{pratchett93_men_at_arms_, title = {Men At Arms}, author = {Pratchett, Terry}, year = {1993}, tags = {affirmative_action, discworld, fantasy, firearms, the_watch}, publisher = {Victor Gollancz}, isbn = {0-575-05503-0}, file = {1900/1990/1993/Pratchett/Pratchett_1993_Men_At_Arms.epub}, } @book{priestley93__codex_imper_, title = {Codex Imperialis}, author = {Priestley, Rick and Chambers, Andy}, year = {1993}, tags = {40k, codex, rule_book}, edition = {2}, publisher = {Games Workshop}, pdf_locked = {False}, file = {1900/1990/1993/Priestley/Warhammer 40k - Codex - Codex Imperialis - 1993 - 2nd Edition.pdf}, } @book{priestley93__warham_wargear_, title = {Warhammer 40,000 Wargear}, author = {Priestley, Rick and Chambers, Andy}, year = {1993}, tags = {40k, rule_book}, edition = {2}, publisher = {Games Workshop}, pdf_locked = {False}, file = {1900/1990/1993/Priestley/Wargear (2ed).pdf}, file2 = {1900/1990/1993/Priestley/40K 2e - Rulebook - Wargear - 1993.pdf}, } @book{priestley93_warham_ruleb_, title = {Warhammer 40,000 Rulebook}, author = {Priestley, Rick and Chambers, Andy}, year = {1993}, tags = {40k, games, rule_book, systems, table_top_game, warhammer}, edition = {2}, publisher = {Games Workshop}, pdf_locked = {False}, file = {1900/1990/1993/Priestley/Priestley_1993_Warhammer_40_000_Rulebook.pdf}, } @manual{psygnosis93__lemmin_, title = {Lemmings}, subtitle = {Instruction Booklet}, author = {{Psygnosis}}, year = {1993}, tags = {game_manuals, lemmings, SNES, strategy}, pdf_locked = {False}, url = {https://archive.org/details/lemmings-usa-rev-1}, file = {1900/1990/1993/Psygnosis/Psygnosis_1993_Lemmings.pdf}, } @book{robinson93_green_mars_, title = {Green Mars}, author = {Robinson, Kim Stanley}, year = {1993}, tags = {mars, sci_fi, terraform}, publisher = {Random House}, isbn = {0-553-09640-0}, file = {1900/1990/1993/Robinson/Robinson_1993_Green_Mars.epub}, } @book{rosenbloom93_soar_paper_1_, title = {The Soar Papers}, subtitle = {Volume 1}, editor = {Rosenbloom, Paul S. and Laird, John E. and Newell, Alen}, year = {1993}, tags = {artificial_intelligence, cognitive_architecture, RETE, SOAR}, volume = {1}, publisher = {MIT Press}, pdf_locked = {False}, isbn = {0-262-18152-5}, file = {1900/1990/1993/Rosenbloom/Rosenbloom_1993_The_Soar_Papers.pdf}, } @book{rosenbloom93_soar_paper_2_, title = {The Soar Papers}, editor = {Rosenbloom, Paul S. and Laird, John E. and Newell, Alen}, year = {1993}, tags = {artificial_intelligence, cognitive_architecture, SOAR}, volume = {2}, publisher = {MIT Press}, pdf_locked = {False}, isbn = {0-262-18152-5}, file = {1900/1990/1993/Rosenbloom/_287f7.pdf}, } @article{ross93_struc_causes_oppos_polit_terror_30_, title = {Structural Causes of Oppositional Political Terrorism}, subtitle = {Towards a Causal Model}, author = {Ross, Jeffrey Ian}, year = {1993}, tags = {causal_model, politics, terrorism}, journal = {Journal of Peace Research}, volume = {30}, number = {3}, publisher = {SAGE}, pages = {317-329}, pdf_locked = {False}, file = {1900/1990/1993/Ross/Ross_1993_Structural_Causes_of_Oppositional_Politi.pdf}, } @online{said25__reith_lectur_, title = {The Reith Lectures}, author = {Said, Edward}, year = {1993}, tags = {culture, public_intellectuals}, url = {https://www.bbc.co.uk/programmes/p00gmx4c/episodes/player}, } @book{sanders93__stayin_put_, title = {Staying Put}, subtitle = {Making A Home In A Restless World}, author = {Sanders, Scott Russell}, year = {1993}, tags = {home, housing, identity, indiana, lived_experience}, publisher = {Beacon Press}, pdf_locked = {False}, isbn = {0-8070-6341-X}, url = {https://www.scottrussellsanders.com/book_pages/staying_put.html}, file = {1900/1990/1993/Sanders/staying_put.pdf}, } @book{schechner93_futur_ritual_, title = {The Future of Ritual}, author = {Schechner, Richard}, year = {1993}, tags = {arizona, colonialism, culture, jayaganesh, performance, play, ramnagar, ritual, street, time}, publisher = {Routledge}, pdf_locked = {False}, isbn = {0-203-35915-1}, file = {1900/1990/1993/Schechner/Schechner_1993_The_Future_of_Ritual.pdf}, } @book{schiebinger93__natur_body_, title = {Nature's Body}, subtitle = {Gender in the Making of Modern Science}, author = {Schiebinger, Londa}, year = {1993}, tags = {gender, quote, scientific_method, social_construction}, publisher = {Rutgers University Press}, invalid_isbn = {0-8135-3513-X}, quotes = {page 8}, } @inproceedings{schild93_use_meta_rules_rule_based_1_, title = {The Use of Meta-Rules in Rule Based Legal Computer Systems}, author = {Schild, Uri J. and Herzog, Shai}, year = {1993}, tags = {expert_system, legal, meta, production_systems, rule}, booktitle = {Proceedings of the fourth international conference on Artificial intelligence and law - ICAIL '93}, volume = {1}, number = {JANUARY 1993}, pages = {100-109}, pdf_locked = {False}, isbn = {0-89791-606-9}, doi = {10.1145/158976.158989}, url = {http://portal.acm.org/citation.cfm?doid=158976.158989}, file = {1900/1990/1993/Schild/Schild_1993_The_Use_of_Meta_Rules_in_Rule_Based_Lega.pdf}, } @article{shoham93__agent_orien_progr_60_, title = {Agent-Oriented Programming}, author = {Shoham, Yoav}, year = {1993}, tags = {agent, AOP, artificial_intelligence, framework, mental_state, speech_act}, journal = {Artificial Intelligence}, volume = {60}, number = {1}, abstract = {A new computational framework is presented, called agent-oriented programming (AOP), which can be viewed as a specialization of object-oriented programming. The state of an agent consists of components such as beliefs, decisions, capabilities, and obligations; for this reason the state of an agent is called its mental state. The mental state of agents is described formally in an extension of standard epistemic logics: beside temporalizing the knowledge and belief operators, AOP introduces operators for obligation, decision, and capability. Agents are controlled by agent programs, which include primitives for communicating with other agents. In the spirit of speech act theory, each communication primitive is of a certain type: informing, requesting, offering, and so on. This article presents the concept of AOP, discusses the concept of mental state and its formal underpinning, defines a class of agent interpreters, and then describes in detail a specific interpreter that has been implemented.}, issn = {00043702}, pages = {51-92}, pdf_locked = {False}, doi = {10.1016/0004-3702(93)90034-9}, url = {http://dx.doi.org/10.1016/0004-3702(93)90034-9}, file = {1900/1990/1993/Shoham/Shoham_1993_Agent_Oriented_Programming.pdf}, } @book{silvester93__penguin_book_inter_, title = {The Penguin Book of Interviews}, subtitle = {An Anthology from 1859 to the Present Day}, editor = {Silvester, Christopher}, year = {1993}, tags = {adolf_hitler, al_capone, alfred_hitchcock, beinto_mussolini, brigham_young, cecil_rhodes, christabel_pankhurst, david_lloyd_george, ernest_hemingway, evelyn_waugh, frank_lloyd_wright, g_k_chesterton, george_bernard_shaw, greta_garbo, history, interview, jimmy_hoffa, john_lennon, joseph_stalin, karl_marx, leo_tolstoy, lillie_langtry, mae_west, mao_tse_tung, margaret_thatcher, marilyn_monroe, mark_twain, nikta_krushchev, oscar_wilde, pablo_picasso, prince_bismarck, robert_louis_stevenson, rudyard_kipling, sammy_davis_jr, samuel_beckett, sigmund_freud, theodore_roosevelt, thomas_edison, valdimir_nabokov, william_burroughs, william_howard_taft, woodrow_wilson}, publisher = {Penguin}, pdf_locked = {False}, isbn = {0-670-83965-5}, file = {1900/1990/1993/Silvester/The Penguin Book of Interviews.pdf}, } @article{simon3_anecd_very_early_exper_system__15_, title = {Anecdotes - a Very Early Expert System}, author = {Simon, Herbert A.}, year = {1993}, tags = {artificial_intelligence, expert_system, history}, journal = {IEEE Annals of The History of Computing}, volume = {15}, number = {3}, bibsource = {dblp computer science bibliography, https://dblp.org}, biburl = {https://dblp.org/rec/journals/annals/Simon93.bib}, pages = {64-68}, pdf_locked = {False}, timestamp = {Fri, 07 Aug 2020 01:00:00 +0200}, doi = {10.1109/85.222851}, url = {https://doi.org/10.1109/85.222851}, file = {1900/1990/1993/Simon/Simon_1993_Anecdotes_a_Very_Early_Expert_System.pdf}, } @misc{stone93_empir_strik_back_, title = {The ``Empire'' Strikes Back}, subtitle = {A Posttranssexual Manifesto}, author = {Stone, Sandy}, year = {1993}, tags = {gender, manifesto, passing, post_transsexual}, pdf_locked = {False}, file = {1900/1990/1993/Stone/Stone_1993_The_Empire_Strikes_Back.pdf}, } @incollection{sudnow93_chapt_, title = {Chapter 1}, author = {Sudnow, David}, year = {1993}, tags = {action, jazz, music, phenomenology}, booktitle = {Ways of the Hand}, publisher = {MIT Press}, pdf_locked = {False}, file = {1900/1990/1993/Sudnow/Sudnow_1993_Chapter_1.pdf}, } @book{taylor93__rethin_theor_organ_commun_, title = {Rethinking the Theory of Organizational Communication}, subtitle = {How to Read an Organization}, author = {Taylor, James R.}, year = {1993}, tags = {communication, conversation, information_theory, macroprocesses, management, micro_processes, organisation, productivity, rule, sociology}, publisher = {Ablex Publishing Corporation}, invalid_isbn = {0-8391-885-7}, pdf_locked = {False}, file = {1900/1990/1993/Taylor/Rethinking the theory of organizational communication how Taylor 1993.pdf}, } @article{vitell93_effec_cultur_ethic_decis_makin_12_, title = {The Effects of Culture on Ethical Decision-Making}, subtitle = {An Application of Hofstede's Typology}, author = {Vitell, Scott J. and Nwachukwu, Saviour L. and Barnes, James H.}, year = {1993}, tags = {culture, decision_making, ethics, gert_hofstede}, journal = {Journal of Business Ethics}, volume = {12}, number = {10}, pages = {753-760}, pdf_locked = {False}, doi = {10.1007/bf00881307}, url = {http://dx.doi.org/10.1007/BF00881307}, file = {1900/1990/1993/Vitell/Vitell_1993_The_Effects_of_Culture_on_Ethical_Decisi.pdf}, } @thesis{walker93_infor_redun_resour_bound_dialog_, title = {Information Redundancy and Resource Bounds in Dialogue}, author = {Walker, Marilyn A.}, year = {1993}, tags = {dialogue, dissertation, information, NLP, redundancy}, number = {IRCS-93-45}, institution = {University of Pennsylvania}, pdf_locked = {False}, type = {phd}, url = {https://repository.upenn.edu/ircs_reports/193/}, file = {1900/1990/1993/Walker/Walker_1993_Information_Redundancy_and_Resource_Boun.pdf}, } @book{weber93__variet_quest_englis_conver_, title = {Varieties of Questions in English Conversation}, author = {Weber, Elizabeth G.}, year = {1993}, tags = {conversation, conversation_analysis, english, linguistics, question_answering, speech_acts}, publisher = {John Benjamins}, pdf_locked = {False}, isbn = {978-90-272-8585-0}, file = {1900/1990/1993/Weber/Weber_1993_Varieties_of_Questions_in_English_Conver.pdf}, } @article{wu93_pract_is_sole_criter_truth_25_, title = {Practice Is the Sole Criterion of Truth}, subtitle = {Our Paper's Special Commentators}, author = {{Anon}}, year = {1993}, tags = {china, philosophy, practice, truth}, journal = {Chinese Studies in Philosophy}, volume = {25}, number = {2}, publisher = {Informa UK Limited}, pages = {31-42}, pdf_locked = {False}, doi = {10.2753/csp1097-1467250231}, url = {http://dx.doi.org/10.2753/csp1097-1467250231}, file = {1900/1990/1993/Wu/Wu_1993_Practice_Is_the_Sole_Criterion_of_Truth.pdf}, } @book{zawawi93__whats_in_name_, title = {What's In A Name? Unaitwaje? A Swahili Book Of Names}, author = {Zawawi, Sharifa}, year = {1993}, tags = {africa, dictionary, identity, names, swahili}, publisher = {Africa World Press, Inc}, pdf_locked = {False}, isbn = {0-86543-291-0}, url = {https://archive.org/details/whatsinnameunait00zawa}, file = {1900/1990/1993/Zawawi/Zawawi_1993_What_s_In_A_Name_Unaitwaje_A_Swahili_B.pdf}, } @game{software93:_doom, author = {{id Software}}, tags = {video_games,first_person_shooter}, year = {1993}, platform = {PC}, title = {Doom}, }