1993

There are 84 entries in this file. Use ‘View Page Source’ in the top right hand corner of the page for the raw bibtex. Entries are coloured according to their type:

  • Journal Articles
  • Books > Chapters
  • Proceedings > Proceeding Papers
  • Reports > Tech Reports
  • Theses
  • Standards & Technical Manuals
  • Online > Blog Posts & Social Media Threads
  • Videos
  • Collections > Datasets
  • Software > Games
  • Legal Cases > Judicial Opinions
  • Laws

The Deeper Meaning of Liff: A Dictionary of Things There Aren't Any Words for Yet- But There Ought to Be
(adams93__deeper_meanin_liff_)

dictionary, humour, names, UK


Updating a Mental Model: Maintaining Both Local and Global Coherence.
(albrecht93_updat_mental_model_19_)

coherence, mental_models, narrative, psychology, reading_comprehension


Forward the Foundation
(asimov93__forwar_found_)
In: The Foundation Novels
Publisher: Ballantine
ISBN: 978-0-8041-8057-3

psychohistory, science_fiction


Interactive Manipulation with Behaviors
(badler93_inter_manip_behav_)
In: Simulating humans : computer graphics animation and control

animation, body, layers, pose, software


The State Of The Art
(banks93_state_of_art_)
ISBN: 978-1-85723-030-7

science_fiction


The Difficulties of Learning Logic Programs With Cut
(bergadano93_diffic_learn_logic_progr_with_cut_1_)

backtracking, cut_predicate, induction, inductive_logic, logic_programming, procedural_cut, prolog


What Is Patriarchy?
(bhasin93_what_is_patriar_)

feminism, patriarchy


Daubert v Merrell
(blackmun93_dauber_merrel_)

evidence, judicial_opinion, judiciary, scientific_evidence, SCOTUS


SimCity 2000 User's Manual
(bremer93__simcit_users_manual_)

game_manuals, sim_city, simulation, urban_design


The Streets Of Ankh-Morpork
(briggs93__street_of_ankh_morpor_)
Publisher: Corgi
ISBN: 978-0-552-14161-1

cartography, discworld


Squibs and Discussions Assessing Agreement on Classification Tasks: The Kappa Statistic
(carletta93_squib_discus_asses_agreem_class_tasks_22_)
In: Computational Linguistics, Volume 22, Issue 2

computational_linguistics, content_analysis, dialogue, discourse, kappa, linguistics, statistics


On Government
(cicero93_gover_)
Publisher: Penguin
ISBN: 978-0-14-044595-4

government, philosophy, politics


Syndicate
(cook93__syndic_)
Institution: Bullfrog
URL: Link

dystopia, game, game_design, strategy


The Philosophy Of The Austrian School
(cubeddu93_)
Publisher: Routledge
ISBN: 0203981898

austrian_school, democracy, socal_science, socialism, totalitarianism


LFG Semantics Via Constraints
(dalrymple93_lfg_)
In: European chapter of the Association for Computational Linguistics
DOI: DOI
URL: Link

LFG, linear_logic, NLP, semantics


The Deleuze Reader
(deleuze93_deleuz_reader_)

art, capitalism, critical_theory, desire, difference, ethics, language, philosophy, politics, repetition, rhizome


On the Name
(derrida93_name_)

culture, philosophy, theory


Logical Support for Modularisation
(diaconsescu93_logic_suppor_modul_)
In: Second Annual Workshop on Logical Environments
URL: Link

logic, modularity, semantics, syntax


Management: Tasks, Responsibilities, Practices
(drucker93_manag_)
Publisher: Truman Talley
ISBN: 978-0-88730-615-0

__important, management, practices, responsibility, tasks


Black Medical Pioneers: African American 'firsts' In Academic And Organized Medicine, Part 3
(epps93:_black_medic_pioneer_85_c_)

biography, history, medicine, race


Dendral and Meta-Dendral: Roots of Knowledge Systems and Expert System Applications
(feigenbaum93_dendr_meta_dendr_59_)
In: Artificial Intelligence, Volume 59, Issue 1-2
DOI: DOI
URL: Link

DENDRAL, production_systems, review


Concurrent MetateM - A language for modelling reactive systems
(fisher93_concur_metat_)
In: Parallel Architectures and Languages Europe, PARLE
DOI: DOI
URL: Link

agents, concurrency, logic, MAS, METATEM, multi_agent_systems, reactive_systems, temporal_logic


Building Problem Solvers
(forbus93_build_probl_solver_)

__important, inference, justification, lisp, logic, patterns, problem_solving, text_book, TMS, truth_maintenance_system


Representing Action and Change By Logic Programs
(gelfond93_repres_action_chang_by_logic_progr_17_)

action_language, answer_set_programming, logic


On the Unity of Logic
(girard93_unity_logic_59_)
In: Annals of Pure and Applied Logic, Volume 59, Issue 3
DOI: DOI
URL: Link

__important, fragments, intuitional_logic, linear_logic, sequent_calculus


On Notation
(goguen93__notat_)
In: TOOLS 10: Technology of Object-Oriented Languages and Systems
Publisher: Prentice Hall

CSCW, HCI, logic, notation, semiotics, syntax


The Pleadings Game
(gordon93_plead_game_2_)
Publisher: Kluwer
ISBN: 0-7923-3607-0
DOI: DOI
URL: Link

argument, conditional_entailment, dialectics, law, mediation, non_monotonic_logic, pleadings_game


Query Evaluation Techniques for Large Databases
(graefe93_query_evaluat_techn_large_datab_25_)
In: ACM Computing Surveys, CSUR, Volume 25, Issue 2
DOI: DOI
URL: Link

database, efficiency, layers, query, testing


The Précis of Project Ernestine
(gray93_precis_projec_ernes_)

analysis, GOMS, HCI, presentation, SOAR, user_testing


On the Economics of Marriage-A Theory of Marriage, Labor and Divorce
(grossbard93__econom_marriag_theor_marriag_labor_divor_)

economics, labour, marriage, polygamy


An overview of production rules in database systems
(hanson93_8_)

Ariel, database, HiPAC, literature_review, Ode, POSTGRES, production_rules, rule_language, semantics, starburst


A Framework for Defining Logics
(harper93_framew_defin_logic_40_)
In: Journal of the ACM, Volume 40, Issue 1
DOI: DOI
URL: Link

edinburgh_logical_framework, formal_methods, judgement, lambda_calculus, LF, proof_search, theorem_proving


The Phenotype of Erroneous Actions
(hollnagel93_phenot_erron_action_39_)

action, behaviour, error, mistake, taxonomy


Warhammer 40,000 Codex Army Lists
(johnson93__warham_codex_army_lists_)
Publisher: Games Workshop
Edition: 2

40k, codex, rule_book


On the Characterisation of Law and Computer Systems: The Normative Systems Perspective
(jones93_charac_law_comput_system_1_)

__important, deontic, law, legal, logic


Composing monads
(jones93_compos_)

category_theory, haskell, monad


Black Medical Pioneers: African American 'firsts' In Academic And Organized Medicine, Part 1
(jr93:_black_medic_pioneer_85_a_)

biography, history, race


Black Medical Pioneers: African American 'firsts' In Academic And Organized Medicine, Part 2
(jr93:_black_medic_pioneer_85_b_)

biography, history, race


Learning in embedded systems
(kaelbling93_learn_)
Publisher: MIT Press
ISBN: 0-262-11174-8

bandt_problems, complexity, generate_and_test, interval_estimation, learning, machine_learning, reinforcement_learning, situated_action


Mistakes and Ambiguities in the definition of {S}tandard {ML}
(kahrs93__mistak_ambig_stand_ml_)

programming_language_design, semantics, standard_ML


The Origins of Order: Self-Organization and Selection in Evolution
(kauffman93__origin_order_)
ISBN: 0-19-507951-5

chaos, complex_systems, complexity_theory, evolution, self_organisation


Tla in Hybrid Systems
(lamport93_tla_hybrid_system_)

__come_back_to, abstraction, hybrid_systems, temporal_logic, TLA


Emergent Properties of Balinese Water Temple Networks: Coadaptation on a Rugged Fitness Landscape
(lansing93_emerg_proper_balin_water_templ_networ_95_)

__printed, bali, complex_adaptive_systems, emergence, farming, irrigation


An investigation of the Therac-25 accidents
(leveson93__therac_26_)
In: Computer, Volume 26, Issue 7
DOI: DOI
URL: Link

health_care, radiation_therapy, safety_critical_systems, technology, THERAC_25


Dendral: A Case Study of the First Expert System for Scientific Hypothesis Formation
(lindsay93_dendr_61_)

case_study, DENDRAL, production_systems, rule_system


Cognitive Behavioral Treatment of Borderline Personality Disorder
(linehan93_cognit_behav_treat_border_person_disor_)
ISBN: 0-89862-183-6

bpd, CBT, psychology


Leisure Suit Larry 6 Game Design Document
(lowe93_leisur_suit_larry_game_desig_docum_)
Institution: Sierra On-Line

design_document, game, game_development


General History of Africa: Africa Since 1935
(mazrui93_gener_histor_afric_vol_)
Publisher: UNESCO
ISBN: 0-520-03920-3

africa, history


Towards a mathematical science of computation
(mccarthy93_towar_)
In: Program Verification
Publisher: Springer
DOI: DOI

computation, computer_science, math


Understanding Comics: The Invisible Art
(mccloud93_under_comic_)
ISBN: 0-06-097625-X

art, comic, comic_book_studies, graphic_novel


The Politics of Abortion
(mckeegan93_polit_abort_3_)

abortion, politics, reproductive_health, republicans


The Argument for Leaving the Verilog Language Unchanged
(meyer93_argum_leavin_veril_languag_unchan_)
In: Proceedings 2nd International Verilog HDL Conference
URL: Link

DSL, programming_language_design, verilog


A Small Matter of Programming: Perspectives on End User Computing
(nardi93_small_matter_progr_)
Publisher: MIT Press
ISBN: 0-262-14053-5

__important, collaboration, HCI, interaction, programming, programming_language_design, UI


Teleo-Reactive Programs for Agent Control
(nilsson93_teleo_react_progr_agent_contr_1_)

agents, artificial_intelligence, robotics, teleo_reactive


Type checking type classes
(nipkow93_type_)
In: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL ‘93
DOI: DOI
URL: Link

algorithm, polymorphism, type_checking, type_classes, unification


Shaw v Reno
(oconnor93_shaw_reno_)

judicial_opinion, judiciary, redistricting, SCOTUS, voting_rights


Expert System Verification and Validation: A Survey and Tutorial
(okeefe93_exper_system_verif_valid_7_)

expert_system, knowledge_based_systems, software_engineering, testing, validation, verification


Ethics, Politics and Difference in Julia Kristeva's Writing
(oliver93_ethic_polit_differ_julia_krist_writin_)
Publisher: Routledge
ISBN: 0-415-90704-7

abjection, body_politics, ethics, feminism, julia_kristeva, philosophy, politics


Men At Arms
(pratchett93_men_at_arms_)
Publisher: Victor Gollancz
ISBN: 0-575-05503-0

affirmative_action, discworld, fantasy, firearms, the_watch


Codex Imperialis
(priestley93__codex_imper_)
Publisher: Games Workshop
Edition: 2

40k, codex, rule_book


Warhammer 40,000 Wargear
(priestley93__warham_wargear_)
Publisher: Games Workshop
Edition: 2

40k, rule_book


Warhammer 40,000 Rulebook
(priestley93_warham_ruleb_)
Publisher: Games Workshop
Edition: 2

40k, games, rule_book, systems, table_top_game, warhammer


Lemmings: Instruction Booklet
(psygnosis93__lemmin_)

game_manuals, lemmings, SNES, strategy


Green Mars
(robinson93_green_mars_)
Publisher: Random House
ISBN: 0-553-09640-0

mars, sci_fi, terraform


The Soar Papers: Volume 1
(rosenbloom93_soar_paper_1_)
Publisher: MIT Press
ISBN: 0-262-18152-5

artificial_intelligence, cognitive_architecture, RETE, SOAR


The Soar Papers
(rosenbloom93_soar_paper_2_)
Publisher: MIT Press
ISBN: 0-262-18152-5

artificial_intelligence, cognitive_architecture, SOAR


Structural Causes of Oppositional Political Terrorism: Towards a Causal Model
(ross93_struc_causes_oppos_polit_terror_30_)
In: Journal of Peace Research, Volume 30, Issue 3
Publisher: SAGE

causal_model, politics, terrorism


The Reith Lectures
(said25__reith_lectur_)

culture, public_intellectuals


Staying Put: Making A Home In A Restless World
(sanders93__stayin_put_)
Publisher: Beacon Press
ISBN: 0-8070-6341-X
URL: Link

home, housing, identity, indiana, lived_experience


The Future of Ritual
(schechner93_futur_ritual_)
Publisher: Routledge
ISBN: 0-203-35915-1

arizona, colonialism, culture, jayaganesh, performance, play, ramnagar, ritual, street, time


Nature's Body: Gender in the Making of Modern Science
(schiebinger93__natur_body_)

gender, quote, scientific_method, social_construction


The Use of Meta-Rules in Rule Based Legal Computer Systems
(schild93_use_meta_rules_rule_based_1_)
In: Proceedings of the fourth international conference on Artificial intelligence and law - ICAIL ‘93, Volume 1
ISBN: 0-89791-606-9
DOI: DOI
URL: Link

expert_system, legal, meta, production_systems, rule


Agent-Oriented Programming
(shoham93__agent_orien_progr_60_)
In: Artificial Intelligence, Volume 60, Issue 1
DOI: DOI
URL: Link

agent, AOP, artificial_intelligence, framework, mental_state, speech_act


The Penguin Book of Interviews: An Anthology from 1859 to the Present Day
(silvester93__penguin_book_inter_)
Publisher: Penguin
ISBN: 0-670-83965-5

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


Anecdotes - a Very Early Expert System
(simon3_anecd_very_early_exper_system__15_)

artificial_intelligence, expert_system, history


The ``Empire'' Strikes Back: A Posttranssexual Manifesto
(stone93_empir_strik_back_)

gender, manifesto, passing, post_transsexual


Chapter 1
(sudnow93_chapt_)
In: Ways of the Hand
Publisher: MIT Press

action, jazz, music, phenomenology


Rethinking the Theory of Organizational Communication: How to Read an Organization
(taylor93__rethin_theor_organ_commun_)

communication, conversation, information_theory, macroprocesses, management, micro_processes, organisation, productivity, rule, sociology


The Effects of Culture on Ethical Decision-Making: An Application of Hofstede's Typology
(vitell93_effec_cultur_ethic_decis_makin_12_)

culture, decision_making, ethics, gert_hofstede


Information Redundancy and Resource Bounds in Dialogue
(walker93_infor_redun_resour_bound_dialog_)

dialogue, dissertation, information, NLP, redundancy


Varieties of Questions in English Conversation
(weber93__variet_quest_englis_conver_)
Publisher: John Benjamins
ISBN: 978-90-272-8585-0

conversation, conversation_analysis, english, linguistics, question_answering, speech_acts


Practice Is the Sole Criterion of Truth: Our Paper's Special Commentators
(wu93_pract_is_sole_criter_truth_25_)
In: Chinese Studies in Philosophy, Volume 25, Issue 2
DOI: DOI
URL: Link

china, philosophy, practice, truth


What's In A Name? Unaitwaje? A Swahili Book Of Names
(zawawi93__whats_in_name_)
ISBN: 0-86543-291-0
URL: Link

africa, dictionary, identity, names, swahili


Doom
(software93:_doom)

video_games, first_person_shooter