%		Topic Keyword List for R. Thomason's
 %     		Bibliography of Work in Philosophy of Language,
 % 		Semantics, Artificial Intelligence, and Assorted
 % 		Related Topics.
 % 
 % 		Author: R.H. Thomason
 % 		Date of this version: May 19, 2008
 % 
 % 		Send additions, corrections, and comments to 
 % 		rich@thomason.org
 % 
 % 		Note: I am always interested in BibTeX formated
 % 		bibligraphies on related topics.


 %%%%% Begin List of Topic Keywords
 % A*-algorithm
 % abduction
 % adaptive-logic
 % ability
	%= `can', cf reasoning-about-achievability, cf possibility
 % aboutness
 % absolutives
	%= absolute-constructions
 % abstraction
 % abstract-data-types
 % abstract-state-machines
 % abstract-probability
 % abstract-logic
 % abstract-model-theory
 % abstract-recursion-theory
 % academic-editorial
 % academic-ethics
 % academic-politics
 % Achilles-and-the-tortoise
	% I.e., Lewis Carroll's regress in "What the tortoise said ..."
	% Not Zeno's paradox
 % accommodation
 % accuracy-estimation
	% i.e., esp. in machine learning
 % acoustic-modeling
 % acoustic-model-adaptation
 % acoustic-transducers
	% i.e., between airwaves and electrical signals,
	% microphones, speakers
 % action
	%= actions
 % action-descriptions
 % action-effects
 % action-explanation
 % action-formalisms
	%= action-languages  	%= Also cf. planning-formalisms
        %i.e. formalisms for reasoning about action and change
 % active-logic
	%= Due to Elgot-Drapkin and Perlis
 % action-models
 	% i.e., models for action formalisms
 % action-narratives
	% i.e., narratives as understood in the action-and-change
        % literature
 % active-perception
	%= active-vision
	% Cf sensing-actions
 % activity-recognition
 % action-schemes
 % actualism
 % actuality
 % adapting-to-environments
 % adaptive-interfaces
 % adaptive-logic
 % adaptive-web-sites
 % addiction
 % adjectives
 % adjuncts
 % admissibility-semantics
	% I.e., for argumentation
 % admissible-rules
 % admissible-sets
 % adverbs
 % adverbs-of-quantification;
 % advice-giving-systems
 % aesthetics
 % `again'
 % agency
 % agent-architectures
	% including BDI-architectures
 % agent-attitudes
	% Cf attitudes-in-psychology
 % agent-communication
 % agent-environment-interaction
	% I.e., theories of agents' interactions with their environment
 % agent-oriented-programming
 % agent-modeling
 % agent-stereotypes
	% ie, in user or agent modeling
 % aggregation
	% I.e., in NL Generation Microplanning
 % agreeing-to-disagree
 % agreement
	% I.e., in natural languages
	%= including concord  
 % AI-algorithms
 % AI-algorithms-analysis
 % AI-and-culture
 % AI-and-economics
 % AI-and-the-internet
	%= AI-and-the-web, web-based-AI
 % AI-and-logic
 % AI-and-music
 % AI-and-religion
 % AI-applications
	%= applied-AI, applications-of-AI
 % AI-classics
 % AI-courseware
 % AI-editorial
 % AI-education
 % AI-general
 % AI-implementations
 % AI-instruction
 % AI-intro
 % AI-methodology
 % AI-programming
 % AI-search-statistics
 % AI-survey
 % AI-system-evaluation
	% Cf. nlp-evaluation
 % akrasia
	%= weakness-of-will, incontinence
 % Aktionsarten
	%= aspectual-classes, aspectual-types
 % algebraic-computation
 % algebraic-geometry
 % algebraic-logic
 % algebraic-semantics
 % algorithmic-complexity
 % algorithmic-information-theory
 % algorithmic-logic
 % algorithms
 % `already'
	%= `schon'
 % alternatives
 % ambiguity
 % ambiguity/generality
 % American-culture
 % American-indian-populations
 % American-politics
 % American-sign-language
	% Cf. sign-language
 % analog-digital
 % analogical-reasoning
 % analogy
 % analytic-philosophy
 % analytic-philosophy-collection
 % analyticity
	%= logical-truth, analytic-synthetic-distinction
 % anaphora
	%= discourse-anaphora, co-reference, coreference
	%  cf. non-co-reference
 % anaphora-resolution
	%= anaphor-resolution 
	% cf. centering
	% cf. reference-resolution
 % analog-digital
		%= digital-analog
 % analogy
	% Including analogical-reasoning
 % analytic-philosophy
 % ancient-Greek-language
 % ancient-philosophy
 % ancient-physics
 % ancient-science
 % and/or-graphs
	%= and-or-graphs, and-or-trees
 % animal-behavior
 % animal-cognition
	%= cognitive-ethology
 % animal-navigation
 % animation
	% I.e., computer animation
 % annotated-logics
 % anomalous-monism
	%= Mind-Body Problem, davidson:1970a
 % answer-sets
	% Including answer-set-solvers
 % anti-foundational-sets
	%= as in Aczell
 % anti-intellectualism
 % anthropomorphism-of-computers
 % antonymy
 % anytime-algorithms
 % aphasia
 % applications-of-linguistics
 % applications-of-KL1
 % applied-ethics
 % applied-kr
 % applied-logic
 % applied-nonmonotonic-reasoning
 % a-priori
	%= apriori
 % appositive-constructions
 % approximate-logical-consequence
	%= approximate-entailment, approximate-implication
 % approximate-truth
	%= verisimilitude
	% In philosophy of science.  Vagueness is a different topic.
 % approximation
 % approximation-methods
	% Including Bayesian-approximation-methods
 % approximately-correct-algorithms
 % approximate-objects
 % approximate-theorem-proving
 % Aquinas
 % Arabic-language
 % arbitrary-objects
		%= As in Kit Fine's work.
 % arc-(in)consistency
 % argumentation
 % argument-structure
	%= subcategorization-frames
 % argument-systems
 % argument-based-defeasible-reasoning
 % Aristotle
 % arithmetic-hierarchy
 % arithmetical-reasoning
 % arrow-logic
 % Arrow's-theorem
 % artifacts
 % artificial-communication
 % artificial-languages
 % artificial-life
 % artificial-societies
 % artifacts
 % art-of-formalization
	% See macro-formalization, micro-formalization
 % art-of-programming
 % article-selection
	% E.g. in nl-generation, but also in human language production
 % `as'
 % ascriptivism
 % assembly
	%includes: assembly-planning
 % assertion
 % Athabaskan-languages
 % attempting
	% trying
 % attention
 % attentional-state
	% as in Grosz and Signer
 % attitudes-in-psychology
 % attribution-theory
	% I.e., in social psychology
 % auction-protocols
	%cf computational-bargaining
 % auditory-perception
 % Augmented-Transition-Networks
	%= ATNs
 % Augustine
 % Australian-languages
 % Austronesian-language;
 % authorship-attribution
 % autism
 % autoepistemic-logic
 % autolexical-syntax
 % automated-essay-scoring
 % automath
 % autonomous-agents
 % autonomous-vehicles
 % automated-algebra
	%= computer-algebra, Mathematica, Maple, etc.
 % automated-creative-writing
	%= literary-creativity, storytelling, story-telling
 % automata-theory
 % automated-configuration
 % automated-corpus-annotation
 % automated-discovery
 % automated-engineering
 % automated-ethical-reasoning
 % automated-language-acquisition
 % automated-lexical-acquisition
 % automated-negotiation
 % automated-scientific-discovery
 % automated-test-scoring
	% a type of educational AI
 % automatic-cinematography
 % automatic-classification
	% ie, general algorithms for classification of anything
 % automatic-consulting
	%= expert-consultants, consulting-systems
 % automatic-corpus-bracketing
 % automatic-debugging
 % automatic-grammar-acquisition
	%= See L1-acquisition for human grammar acquisition
 % automatic-programming
	% a type of educational AI
 % automotive-engineering
 % autosegmental-phonology
 % auxiliary-verbs
 % awareness
 % axiom-of-choice
 % axiom-of-comprehension
 % axiomatic-independence    
       %= independence, independence-in-logic
 % axiomatizations-of-FOL
	%= first-order-logic
 % Bach-Peters-sentences
 % backtracking
 % backward-induction
 % Bambara-language
 % Banach-Tarski-theorem
 % Bantu-languages
 % bargaining-theory
 % Basque-language
 % Bayesian-classification
 % Bayesian-network-construction
 % Bayesian-networks
	%= belief-networks, Bayesian-nets, Bayesian-belief-networks
 % Bayesian-reasoning
 % Bayesian-statistics
 % behavior-based-AI
	% Cf. minimialist-robotics
 % behavioral-economics
 % behavioral-modules
	% as in minimalist AI
 % behavioral-science-methodology
 % behavior
 % behaviorism
 % belief
 % belief-acquisition
 % belief-revision
	%= belief-update;theory-change;belief-change;theory-revision;
 % Bell-inequalities
 % Berry-paradox
 % Beth's-theorem
	% I.e., Beth's theorem on definability in FOL.
 % bias
	%I.e., in utterances, as in Tag Questions
 % bibliography
	%= bibliographies
 % bidirectional-parsing
 % bilattices
	%= four-valued-logic
 % bilingualism
 % binary-decision-diagrams
 % binding-theory
 % bioinformatics
 % biolinguistics
 % biophysics
 % biopsychology
 % biosemantics
 % biscuit-conditionals
 % Black-English
 % blackboard-architectures
 % blameworthiness
	%= responsibility
 % blocking
 	%I.e., of usages in linguistics
 % Boltzmann-machines
 % Bolzano
 % boolean-algebras
 % boolean-monoids
 % bootstrapping
 % bounded-agents
 	% Especialy e.g. in ecomomic models of limited rationality.
 % bounded-arithmetic
 % brain-computer-interfaces
 % branching-quantifiers
 % branching-time
 % Breton-language
 % bridging-anaphora
	% Defined in contentnotes in bib
 % British-philosophy
 % broad/narrow-content
	% I.e., in philosophy of mind
 % burden-of-proof
 % `but'
 %  	Subtopic of contrastive-conjunctions;
 % Byzantine-agreement
 % CAD
	%= computer-assisted-design, computer-aided-design
 % call-routing
 % Cantor's-theorem
	% On nondenumerability of the reals
 % cardinality-restrictions
	% Ie, in description logics
 % Carnap
 % case-grammar
 % catastrophe-theory
 % categorial-grammar
 % categorization
	% Ie, in congitive psychology
 % category-mistakes
	% selectional-restrictions
 % category-theory
 % case-based-reasoning
	%= CBR
 % casual-speech
	%= relaxed-speech, cf. parsing-ungrammatical-input
 % causality
	%= causation
 % causal-decision-theory
 % causal-explanations
 % causal-(in)dependence
 % causal-modeling
 % causal-networks
	%= influence-diagrams; causal-graphs; dependency-graphs;
 % causal-reasoning
 % causatives
	% i.e., linguistic-causality
 % CCCP
     %= Conditional construal of conditional probability; Stalnaker's thesis
     %= I think of Ramsey test as more general, since it could be
     %= construed qualitatively.
 % cellular-automata
 % centering
     %= i.e., the theory of anaphora resolution
 % ceteris-paribus-generalizations
	% This is almost the same topic as "generics" but it is
	% the philosophical term
	%= prima-facie-generalizations
 % chain-event-graphs
 % chance
 % chaos-theory
 % chart-parsing
 % Chechen-language
 % chemical-synthesis
 % child-language
 % Chinese-language
 % choice-constructs
	% E.g., in programming languages
 % choice-sequences
	% in intitionistic mathematics
 % Chomsky
 % Church
 % Church's-thesis
 % circuit-design
 % circumscription
 % civilization
 % clarification-dialogues
 % classic
 % classification-of-corpus-information
	% Use this as a general-purpose feature for classification
	% of misc features from corpora.
 % classification-of-visual-information
 % classifier-algorithms
	%= classification-algorithms, subsumption-algorithms
        %Cf. automatic-classification for general classification
 % classification-theory
	%i.e., in mathematics
 % classroom-language
 % clcourse
 % cleft-constructions
 % clinical-psychology
 % clitic-doubling
 % clitics
 % closed-world-reasoning
 % cluster-analysis
 % cluster-concepts
	%= family-resemblances, family-resemblance-concepts
 % coalition-formation
 % coalitional-games
 % code-switching
 % cognitive-anthropology
 % cognitive-architectures
 % cognitive-dissonance
 % cognitive-grammar
 % cognitive-modeling
 % cognitive-modularity
	%= modularity-of-mind
 % cognitive-neuroscience
 % cognitive-psychology
 % cognitive-robotics
 % cognitive-science-editorial
 % cognitive-science-general
 % cognitive-science-survey
 % cognitive-semantics
	%= jackendoff-semantics  
	%= conceptual-structure, conceptual-semantics
 % cogsci-intro
 % cogsci-methodology
 % coherence
 % coindexing
	% I.e., in NL-syntax
 % color
 	% Mainly, philosophical work on color perception & the nature
        % of color
 % color-terms
 % colored-Petri-nets
 % collocations
	%= phraseology
 % collaboration
 % collaborative-learning
 % collision-avoidance
 % combinatorics
 % combinatory-logic
	%= variable-free-semantics
 % combined-qualitative-and-quantitative-reasoning
 % combining-logics
	% Not hybrid-logics
 % combining-systems
	% i.e., software systems
 % common-nouns
 % common-sense
 % common-sense-entailment
 % common-sense-knowledge
 % common-sense-logicism
 % common-sense-psychology
 % common-sense-reasoning
		%= commonsense-reasoning, cf. macro-formalization
 % communicating-with-the-handicapped
 % communication-with-aliens
	% interstellar-communication, communication-with-extraterrestrials
 % communication-models
 % communication-protocols
	%= communications-protocols
 % communications-modeling
 % comparative-grammar
 % comparative-constructions
	%= comparatives % Note: includes superlatives
 % competence
 % (in)compactness
 % compilation-techniques
 % complementation
 % completeness-theorems
 % complex-adaptive-systems
 % complex-demonstratives
 % complex-predicates
	% E.g., French faire
 % complex-systems
 % complex-VPs
	% E.g. "consider him a fool"
 % complexity
 	% Use this for measures of complexity other than comp space|time
 % complexity-in-AI
 % complexity-in-linguistics
 % complexity-logics
 % complexity-lower-bounds
 % complexity-of-theories
 % complexity-theory
 % componential-semantics
 % compositionality
 % composition-manual
	%= stylistic-handbook, style-handbook, style-manual, 
	%= English-composition
 % compositional-tables
	%I.e., in automated relational reasoning
 % compound-nouns
        %= noun-compounds, compound-nominals
 % compression-algorithms
 % computability
 % computable-model-theory
	%= computable-models, recursive-model-theory, effective-model-theory
 % computational-aesthetics
 % computational-bargaining
	%cf. auction-protocols
 % computational-dialogue
	%= computational-discourse
	% cf spoken-dialogue-systems
 % computational-ethics
 % computational-field-linguistics
 % computational-geometry
 % computational-historical-linguistics
 % computational-lexical-semantics
 % computational-lexicography
	%= machine-readable-dictionaries
 % computational-linguistics
	%= nlp;natural-language-processing; See statistical-nlp;
 % computational-morphology
 % computational-neuroscience
 % computational-phonology
 % computational-ontology
 % computational-phase-transitions
	% I.e, transitions to qualitatively different parts of a search space.
 % computational-philosophy
 % computational-pragmatics
 % computational-reading
	% i.e., of script, handwriting
 % computational-semantics
 % computer-aided-design
 % computer-architectures
 % computer-art
 % computer-assisted-biology
 % computer-assisted-document-preparation
        %= document-formatting
        %= word-processing
 % computer-assisted-education
 % computer-assisted-educational-testing
 % computer-assisted-genetics
 % computer-assisted-instruction
 % computer-assisted-language-development
 % computer-assisted-language-learning
 % computer-assisted-lelxicography
 % computer-assisted-linguistics
 % computer-assisted-mathematics
 % computer-assisted-physics
 % computer-assisted-science
 % computer-assisted-scholarship
 % computer-assisted-writing
	%= computer-assisted-editing, text-editing, 
	%= computer-assisted-text-production
 % computer-chess
	% Subcategory of game-playing
 % CSCW 
	%= computer-supported-cooperative-work
 % computer-games
	% I.e., games to be played by humans on computers.  See
	% game-playing for computerized game playing, e.g. computer chess,
	% computer go, computer checkers.
 % computer-graphics
 % computer-technology
 % computer-vision
 % computers-in-the-humanities
 % concatenation
 % conceptual-clustering
 % concepts
 % conceptual-dependency
 % conceptual-spaces
 % concept-definitions
	%i.e., in description-logics
 % concept-formation
 % concept-grasping
	%= understanding, concept-having, i.e. what it is 
	%= to "have a concept"
 % concept-learning
 % conceptual-framework
 % conceptual-graphs
 % conceptual-role-semantics
 % concessive-conditionals
 % concurrency
 % concurrency-control
	% E.g., in distributed databases
 % concurrent-actions
 % conditional-assertion
 % conditional-constructions
 % conditional-independence
 % conditional-obligation
	%= deontic-conditional
 % conditional-random-fields
 % conditional-reasoning
 % conditionals
	%= conditional-logic
 % conditioning-methods
	% I.e., in AI and other algorithms
 % conditions-on-transformations
 % configuration
 % confirmation-theory
 % conflict-resolution
 % conjunctive-goals
 % CNF
 	%= conjunctive-normal-form
 % connectionism
 % connectionist-learning
 % connectionist-models
	%= neural-networks, connectionist-algorithms
 % connectionist-plus-symbolic-architectures
 % consciousness
	% I.e., phenomenal consciousness
 % consequentialism
 % consistency-checking
	% Cf. inconsistency-detection
 % consistency-proofs
	%= This includes set theory, but cf. Hilbert's program
 % conspiracy-number-search
 % constituent-structure
 % constraint-based-grammar
 % constraint-based-reasoning
 % constraint-databases
 % constraint-networks
 % constraint-programming
 % constraint-propagation
 % constraint-logic-programming
 % constraint-programming
 % constraint-satisfaction
	%= constraint-solving
 % construction-of-FSA;
	% i.e. techniques for building finite state automata
	% cf. foundations-of-semantics
 % constructive-falsity
	%= constructive-negation
 % constructivity
 % constructive-logics
 % constructive-mathematics
 % consumer-behavior
 % content-externalism
	% i.e., as twin earth examples are supposed to argue for
 % content-tagging
	% I.e. marking a text for content, e.g. introducing html links.
 % context
 % context-aware-computing
 % context-free-grammars
 % context-grammars
 % context-sensitivity
	% I.e., of expressions in natural language
	% Cf. indexicals
 % contextual-reasoning
	%= reasoning-about-context
 % contingency-planning
 % continental-philosophy
 % continuous-change
 % continuous-branching-time
 % continuity
	% cf. continuous-branching-time; continuous-systems;
	% reasoning-about-continuous-time; 
	% reasoning-about-continuous-quantities;
 % continuous-systems
 % continuum-hypothesis
 % contour
	% I.e, in computer vision 
 % contraction
 % contraposition
 % contrastive-conjunctions
	% Including  `although', `nevertheless', `but'
 % contrastive-stress
 % control-theory
 % convention
 % conventional-implicature
 % conversation
 % conversation-analysis
 % conversational-record
	%= grounding-in-conversation, common-ground
 % Conway-paradox
 % cooperation
 % cooperative-games
 % cooperative-principle
 % coordination
	%= conjunction, not cooperation
 % coord-in-conversation
 % copula
 % corporate-management
	%= industrial-management
 % corpus
	% used only for citations of specific corpora
 % corpus-annotation
	%= linguistic-annotation, cf. treebank-annotation,
	% cf. automated-corpus-annotation
 % corpus-linguistics
	%= corpora; corpus-methods; corpus-techiques; corpus-methodology;
	%cf corpus-annotation
	%representation-of-ling-info
 % corpus-statistics
 % corpus-tagging
 % correspondence-theory-of-truth
 % counterfactuals
 % counterfactual-past
 % counterpart-theory
 % CP-nets
	% Graphical representation, like Bayesian Nets, for preferences.
 % crank-science
	%= nut-science, fringe-science
	% Cf. religious-fanaticism
 % credal-networks
 % Cree-languages
 % creativity
 % creationism
 % crossover
 % crossword-puzzles
 % cryptography
 % cs-journalism
 % cs-intro
 % cultural-anthropology
 % cumulative-logics
	%I.e., "cumulative" in Makinson's sense
 % cumulativity
	% The inference property in NM logic
 % Curry-paradox
 % cut-free-deduction
 % CYC
 % cylindrical-algebra
 % cyclical-events
 % Czech-language
 % Danish-language
	% cf. Scandanavian-languages
 % databases
 % database-integrity
 % database-queries
 % database-update
 % database-views
 % data-compression
 % dataspaces
 % data-fusion
	% use this for integration of low-level information,
        %       e.g. from sensors
 % data-integration
        % Finding a unified view of data from heterogeneous sources.
	% Lower-level, larger-scale than knowledge-integration
 % data-mining
 % data-models 
 % data-oriented-parsing
	% i.e., Scha's idea that experience is more imp than abstr
	% rules
 % data-prediction
 % data-structures
 % DATR
 % Davidson-semantics
 % deaccenting
	% Eg, removal of accent in repeated speech. 
 % decidability
	%= decision-procedures
 % decipherment
	% Esp of ancient languages
 % declarative-search-control
 % declarative-programming
 % deception
	%= deceit
 % decision-analysis
 % decision-lists
 % decision-making
 % decision-making-under-uncertainty
 % decision-modeling
 % decision-procedures
 % decision-support
 % decision-theoretic-planning
 % decision-theoretic-reasoning
		% Other than planning
 % decision-theoretic-systems
 % decision-theory
 % decision-trees
 % deconstructionism
 % deductive-databases
	%= logical-databases
 % deductive-reasoning
 % default-finite-state-machines
 % default-logic
 % default-preferences
	% I.e., not defeasible preferences (see qualitative-utility
	% for that topic, but preferences over defaults.
 % default-unification
	%= nonmonotonic-feature-structures
 % defeasible-causality
 % defeasible-knowledge
 % definability
 % definite-clause-grammars
	% DCGs
 % definite-descriptions
 % definiteness
 % definitions
 % deflationary-analyses
	% Especially, of truth
 % degree-modifiers
 % deliberation
 % deliberation-kinematics
 % demonstratives
	%= deixis, cf. complex-demonstratives
 % DeMorgan
 % Dempster-Shafer-theory
 % denominal-verbs
 % denotational-semantics
 % deontic-logic
 % deontology
 % dependency-grammar
	%= dependency-syntax
 % depictives
 % derivational-morphology
 % Descartes
 % description-logics
	%= terminological-logics, taxonomic-logics, concept-languages,
        %= term-subsumption-languages
 % descripition-logics-applications
 % descriptive-grammar
 % design-verification
 % desire
	%= desires
 % determinables
        %= determinates
 % determiners
 % (in)determinism
	%= determinism, indeterminism
	%cf. concurrency
 % developmental-psychology
	%= cognitive-development
 % device-modeling
	% i.e., the modeling of various devices
	% subtopic of system-modeling
 % diagram-generation
 % diagrams
 % dialectology
 % dialogue-corpora
 % dialogue-games
 % dialogue-logic
 % dialogue-models
 % dialogue-simulation
 % diagnosis
	%= fault-detection
 % diagonalization-arguments
 % dictionary
 % dictionary-construction
 % `different'
 % differential-equations
 % digital-photography
 % direct-discourse
	%= quotation; quotation-constructions; semantics-of-quotation; 
 % disambiguation
	%= ambiguity-resolution
 % discontinuous-change
 % discontinuous-constituents
 % discourse
 % discourse-analysis
 % discourse-coherence
 % discourse-connectives
 % discourse-cue-words
	%= discourse-markers, discourse-particles
 % discourse-focus
	% also cf. sentence-focus
 % discourse-initiative
 % discourse-intentions
 % discourse-management
 % discourse-interpretation
 % discourse-interruptions
 % discourse-modeling
 % discourse-pathology
 % discourse-parsing
 % discourse-planning
	%= cf. document-planning
 % discourse-reasoning
 % discourse-referents
	%= discourse-entities
 % discourse-repairs
	%= cf. speech-repairs
 % discourse-representation-theory
	%= DRT
 % discourse-segmentation
 % discourse-simulation
 % discourse-structure
	%= discourse-relations, text-structure, rhetorical-structure, RST
 % discourse-survey
 % discourse-tagging
	%= discourse-annotation, discourse-markup
 % discrimination
 % disfluency
 % disjoint-reference
 % disjunction
	% including meaning of `or'
 % disjunction-in-nl
 % disjunctive-logic-programming
 % disjunctive-properties
	% I.e., in philosophy, e.g. in reductionism
 % display-logic
 % dispositions
	%= dispositionals
 % disquotationalist-truth
 % distance-metrics
 % distractibility
	% I.e., in cognitive psychology
 % distributed-AI
 % distributed-databases
 % distributed-control
 % distributed-file-systems
 % distributed-processing
 % distributed-systems
	%= distributed-processing, cf artificial-societies
	% Cf reasoning-about-distributed-systems
 % distributional-similarity
	% I.e., of words in corpora.  Cf semantic-similarity
 % distributive/collective-readings
 % distributive-justice
 % distributivity-of-quantifiers
 % document-classification
	%= text-discrimination
	%= text-classification
 % document-design
	% Used mainly for manuals; cf. document-formatting
 % document-formatting
	% Used for text-formatting aspects of nlg; cf. document-design
 % document-planning
	%= text-planning
 % document-structuring
	% I.e., in NL Generation
 % domain-(in)dependence
 % domain-modeling
 % domain-theory
 % dominance
 % Donald-Davidson
 % donkey-anaphora
 % dreaming
 % d-topic
	%= discourse-topic
 % dualism
 % Dutch-book-argument
 % Dutch-language
 % dynamic-logic
 % dynamic-predicate-logic
 % dynamic-programming
 % dynamic-semantics
 % dynamic-systems
 % early-Wittgenstein
 % echo-questions
	% I.e. questions without Q word order but with Q intonation
 % e-commerce
	%= electronic-commerce
 % ecology
 % econometrics
 % economics-intro
 % edge-detection
 % edit-distance
 % Jonathan_Edwards
 % elaboration-tolerance
 % elementary-analysis
 % ellipsis
 % emacs-manual
 % embedded-cognition
 	%= extended-cognition, extended-mind, embedded-mind
        % Ie the idea that the mind extends outside of the body
 % embodied-nlp
 % embodiment
 % emergence
 % emergent-behavior
 % emotion
	%= emotions, cf. synthesized-emotions
 % emotivism
 % empathy
	% i.e., as encoded in NL
 % empirical-methods-in-AI
 % empirical-methods-in-cogsci
 % empirical-methods-in-nlp
 % empirical-methods-in-discourse
 % empirical-methods-in-linguistics
 % empiricism
 % English-language
 % English-usage
 % enion-probability-analysis
 	% A term of Strevens' 
 % enterprise-modeling
	% i.e., modeling business, government, etc.
 % entity-relationship-modeling
 % enthymemes
 % entity-relation-extraction
 	% i.e., in information extraction
 % entrainment
	% Context-induced lexical selection
 % environmental-ethics
 % envisionment
	% a (partly visual) act of imagination
 % epiphenomenalism
 % epistemic-entrenchment
 % epistemic-arithmetic
 % epistemic-conflict
 % epistemic-logic
 % epistemic-modals
 	%= `might'
 % epistemic-semantics
 % epistemic-utility
 % epistemology
 % epistemology-of-testimony
 	%= epistemology-of-disagreement
 % EPR
	%= Einstein-Podolsky-Rosen
 % epsilon-operator
 	% choice-functions
 % equational-logic
 % Erdos
 % ergativity
 % essays-on-science
 % essence
 % essentialism
 % ethical-reasoning
 % ethics
 % ethics-and-sociology
 % ethnolinguistics
 % ethnology
 % ethology
 % ethnomethodology
 % European-languages
 % `even'
 % evaluative-terms
	%= good, better
 % event-calculus
 % event-individuation
 % event-recognition
 % event-semantics
 % event-structure
 % events
 % eventualities
 % evidence
 % evidential-constructions
 % evidentiary-value
 % evolving-algebras
	% This is an idea of Gurevich's
 % evolution
 % evolutionary-game-theory
 % evolutionary-psychology
 % evolving-algebras
 % exaggeration
 % exception-constructions
	% incl. `almost'
 % excuses
 % execution-monitoring
 % existential-constructions
	%= expletive-there
 % existential-graphs
 % existentialism
 % exotic-logics
 % experiencing-verbs
 % experimental-AI
 % experimental-logics
 % experimental-planning
 % experimental-science
 	% cf. scientific-instrumentation
 % experimental-testing-of-kr-systems
 % experiments-on-theorem-proving-algs
 % expertise
 % expert-systems
 % expert-nonexpert-communication
 % explanation
 % explanation-based-generalization
 % explanation-based-learning
 % explication
 	%Ie, as in Carnap
 % expected-complexity
 % expressive-completeness
 % expressive-power
 % expressivism
 	% Ie, mostly in ethics but also in aesthetics
 % extended-prediction-problem
	% Term due to shoham-mcdermott:1988a
 % extended-logic-programming
 % extended-std-theory	
	%= In transformational grammar
 % extensions-of-Bayesian-networks
 % extensions-of-context-free-grammar
 % extensions-of-kl1
 % extensions-of-FOL
 % extensions-of-resolution
 % extralinguistic-uses-of-grammars
 % (counter)factive-constructions
	%= factive-verbs, factive-predicates
 % facial-expression
 % factivity
 	%= esp, of knowledge
 % facts
	% I.e., in philosophical ontology
 % fallacies
 % false-consensus
	%Cf pluralistic-ignorance (A social psychology topic)
 % falsifiability
 % family-resenblance
 % FASTUS
 % fault-aware-systems
 % feature-extraction
	% eg, transformations of the acoustic signal that
	% reduce dimensionality of feature vectors
 % feature-selection
	% ie, transformations of the acoustic signal that
	% reduce dimensionality of feature vectors
 % feature-structures
 % feature-structure-grammar
	% attribute-value-grammar
 % feature-structure-logic
 % federated-databases
 % fibred-semantics
	% i.e., in modal logic
 % fiction
 % fictional-characters
 % field-linguistics
 % field-theory
 % filler-gap-dependencies
 % filtering
	% Ie, as a reasoning technique in AI
 % financial-modeling
 % finitary-logics
 % finitary-methods
 % finite-logics
		%= Finite syntactic restrs, e.g. finitely many vars.
 % finitely-axiomatizable-logics
	% i.e., finite-axiomatizability
 % finite-matrix
 % finite-model-property
	% Esp. in modal logic
 % finite-models
	% Use this for finite models of FOL.  Use "finite-matrix"
	% for finite matrices in many-valued logic.
 % finite-state-approximation
	% E.g., of context free grammars
 % finite-state-automata
	%= Finite state machines
 % finite-state-nlp
 % finite-state-morpology
 % finite-state-phonology
 % finite-state-parsing
 % finite-tree-automata
 % finite-trees
 % finitely-additive-probability
 % Finnish-language
 % first-order-logic
	%= elementary-logic, first-order-predicate-calculus,
	%= elementary-predicate-calculus
 % first-person
 % Fitch-paradox
 	%cf knowability-paradox
 % fixpoint-semantics
	%= in logic programming
 % fixpoints
	%INCLUDES inductive-definitions, recursive-definitions
 % floating-quantifiers
 % fluent-calculus
 % fluents
 % focus
	% use only for attentional focus.  Cf discourse-focus, 
	% sentence-focus
 % Fodor-Katz
 % folk-linguistics
 % folk-psychology
 % folk-taxonomy
 % foreknowledge
 % forensic-linguistics
		% language-and-law; legal-language
 % formal-language-theory
 % formalizations-of-arithmetic
	% cf. number-theory
 % formalizations-of-geometry
 % formalizations-of-mathematics
 % formalizations-of-nominalism
 % formalizations-of-philosophy
 % formalizations-of-physics
 % formalizations-of-social-science
 % formalizations-of-economics
 % foundations-of-AI
 % foundations-of-algorithmics
 % foundations-of-arithmetic
	% Cf. second-order-arithmetic
 % foundations-of-cognition
 % foundations-of-cognitive-science
 % foundations-of-computation
 % foundations-of-decision-theory
 % foundations-of-economics
 % foundations-of-evolution
 % foundations-of-game-theory
 % foundations-of-genetics
 % foundations-of-grammar
 % foundations-of-induction
 % foundations-of-intuitionistic-logic
 % foundations-of-kr 
     %= kr-foundations,foundations-kr
 % foundations-of-linguistics
 % foundations-of-logic
 % foundations-of-mathematics
 % foundations-of-modal-logic
 % foundations-of-music
 % foundations-of-nonmonotonic-logic
 % foundations-of-phonology
 % foundations-of-planning
 % foundations-of-pragmatics
 % foundations-of-probability
 % foundations-of-psychology
 % foundations-of-quantum-mechanics
 % foundations-of-reasoning
 % foundations-of-robotics
 % foundations-of-semantics
 % foundations-of-set-theory
 % foundations-of-sociology
 % foundations-of-software-engineering
 % foundations-of-statistics
 % foundations-of-syntax
 % foundations-of-topology
 % foundations-of-thermodynamics
 % foundations-of-universal-grammar
 % foundations-of-utility
 % foundations-of-volition
 % 4-valued-logic
	%= four-valued-logic
 % fractals
 % fractional-quantifiers
 % frame-problem
 % frames
 % free-choice-`any/or'
	%= free-choice-disjunction, also includes free choice constrs
        % in other languages
 % free-word-order
 % freedom
	%= free-will, freedom-of-the-will
 % Frege
 % Frege-structures
 % French-language
 % frequency-estimation
 % function
	%= i.e., as in function of an artifact, OR as in
	% biomechanical functions 
 % functional-dependencies
	% i.e., between attributes, as in relational database theory
 % functional-grammar
	%= systemic-grammar
 % functional-quantification 
	% E.g., as in `Who does every man love most?'
 % functional-unification-grammar
 % functionalism
 % functionality
	% i.e., functionality of artifacts
 % future-contingent-propositions
	%= Master-Argument, Sea-Battle, logical-determinism, 
	   indeterminist-time
	% cf. determinism, branching-time 
 % fuzzy-control
 % fuzzy-logic
 % fuzzy-set-theory
 % Gaelic-language
 % game-algebra
 % game-logic
	% An idea of Rohit Parikh's
 % game-playing
 % game-strategy
 % game-theoretic-coordination
 % game-theory
 % game-theoretic-reasoning
 % game-theoretic-semantics
 % game-tree-pathology
 % game-trees
 % gauge-theory
 % gaze
 % GB-syntax
 % general-terms
 % generalizations-of-finite-state-automata
 % generalized-quantifiers
 % generating-explanations
 % generative-capacity
	% ie, of a language
 % generative-semantics
 % generics
 % genetic-algorithms
	%= evolutionary-algorithms, genetic-programming
 % genre-detection
 % geographical-reasoning
 % geography
 % geometrical-reasoning
	% cf. spatial-reasoning
 % geometry
 % German-language
 % gesture-recognition
 % gestures
	%= nonverbal-communication-acts, non-verbal-communication-acts
 % Gibbs-sampling
 % given-new
 % Goedel
	%= Godel, G\"odel
 % goedels-first-theorem
	%= incompleteness-theorem
 % goedels-second-theorem
 % Gold's-theorem
        % And the related model of learning in the limit
 % Golog
 % `good'
	% Especially, studies of the meaning of this word.
 % government-binding-theory
 % GPSG
 % gradable-adjectives
 % graded-modal-logic
 % grammar-checking
 % grammar-formalisms
 % grammar-learning 
	%= grammar-induction
 % grammar-logics
 % grammar-logicism
 % grammar-specialization
	% I.e., specializing computational grammars domains
 % grammatical-number
 % grammatical-relations
 % grammatical-writing
 % granularity
 % graph-based-reasoning
 % graph-based-representations
 % graph-coloring
 % graph-theory
 % grapheme-phoneme-translation
 % graphics-generation
 % Greek-language
 % Grice
 % group-action
	%COLLECTIVE-ACTION, JOINT-ACTION
 % group-attitudes
 % group-planning
 % group-plans
 % group-psychology
 % group-reasoning
 % group-theory
 % groupoid-semantics
 % guarded-fragments
 % guidance-for-academics
 % Habermas
 % haecceity
 % hand-eye-coordination
 % hapax-legomena
	%= low-frequency-words, also including unknown-words
 % "have"-constructions
 % HCI
	%= intelligent-interfaces, intelligent-user-interfaces
	% human-computer-interaction
 % HCI-intro
	%= human-computer-interaction
 % human-genetics
 % human-robot-interaction
 % Hebrew-language
 % Heidegger
 % Hellenistic-philosophy
 % help-systems
 % Hempel-paradox
 % hermeneutics
 % hesitation-noises
	%cf. nonlinguistic-noises  
 % heuristics
 % hidden-Markov-models
 % hidden-state-tasks
	% I.e., tasks in which an important variable is not sensed.
 % hierarchical-planning
 % hierarchical-problem-solving
 % higher-order-logic
	%= typed-lambda-calculus
	% Cf. type-theory, 
 % higher-order-modal-logic
 % higher-order-probability
 % higher-order-unification
 % higher-order-programming-constructs
 % higraphs
 % Hilbert's-epsilon-function
 % Hilbert's-program
 % Hindi-language
 % historical-linguistics
 % history-of-AI
	%= AI-history
 % history-of-computer-science
 % history-of-economics
 % history-of-ideas
 % history-of-linguistics
 % history-of-logic
 % history-of-mathematics
 % history-of-philosophy
 % history-of-phonology
 % history-of-science
 % history-of-semantics
 % history-of-set-theory
 % history-of-theory-of-computation
 % hoare-deduction
 % holism
 % hooded-man-paradox
	%= masked-man-paradox
 % Horn-clause-abduction
	% cf. rule-learning, logic-program-learning
 % Horn-approximation
 % Horn-theories
 % HPSG
	% i.e., Head-driven-phrase-structure-grammar
 % html
 % human-animal-interaction
 % HIL-simulation
	%= human-in-the-loop-simulation
 % human-theorem-proving
 % human-vision
 % human-navigation
 % Hume
 % humor1
	% Humor as genre
 % humor2
	% Humor as topic of research
 % Husserl
 % hybrid-kr-architectures
 % hybrid-modal-logics
	% hybrid-logics, i.e., modal logics with terms ref to worlds
 % hybrid-reasoning-architectures
		% multi-modal-reasoning
 % hyphenization
 % hypothesis-generation
 % hypothesis-management
 % hypothetical-attitudes
 % hypothetical-reasoning
 % hyperarithmetical-hierarchy
 % hyperintensionality
	%=logical-omniscience; This is problem of logical closure 
 % Icelandic-language
 % idealism
 % identification-across-documents
	% i.e., the problem of guessing references in different
	% documents are coreferential	
	%= cross-document-coreference
 % identity
 % idioms
 % i-level/s-level
	%= stage-level-predicates, individual-level-predicates
 % ill-formed-nl-input
 % imaginability
 	%= conceivability
 % imagination
 % imaging
	% I.e., in probabilility kinematics
 % image-depiction
 % image-processing
 % image-retrieval
 % imperative-logic
 % imperatives
 % imperfective-paradox
 % impersonal-subjects
 % implementations-of-decision-theory
 % implicational-logics
 % implicature
 % importance
 % inchoatives
 % incommensurability-in-ethics
 % incommensurability-of-theories
	%= Quine-Duhem-thesis
 % (in)consistency
 % (in)completeness
		% Eg as in Goedel's 1st theorem  %= (un)axiomatizability
 % incongruous-counterparts
 % inconsistency
	%= contradiction
 % inconsistency-detection
	% Cf. consistency-checking
 % incorporation
 % indefiniteness
 % independence-friendly-logic
 % independence-proofs
 % indeterminacy-of-translation
	%= radical-translation
 % indicative-conditionals
 % indexicals
	%= indexicality, includes essential-indexicals
	% Cf. context-sensitivity
 % indifference
 % indirect-discourse
 % indirect-speech-acts
 % individual-attitudes
	% Ie, atiitudes directed towards individuals: de res, de-res
 % individual-concepts
 % individuation
	%= transworld-identity
 % Indonesian-language
 % induction
	%= use this for empirical induction.  See mathematical-induction.
 % inductive-definitions
	%= recursive-definitions
 % inductive-inference
 % inductive-logic
 % inductive-logic-programming
 % inductive-reasoning
 % industrial-design
 % industrial-organization
 % inference-rules
 % infinitary-logic
 % infinitive-clauses
 % infinitesimals
 % inflection
 % influence-diagrams
 % informal-logic
 % information
	% Use this for generic or foundational studies on information
 % information-integration
	% This refers to automatic translation of formats, especially
	% in Internet applications
 % information-management
 % information-merging
	% Different from "knowledge-integration".  This refers
	% to single-agent merging of information from different
	% sensory inputs, i.e. synesthetic reasoning
 % information-processing
 % information-retrieval
 % information-set
 % information-flow-theory
	%= Ie, as in Dretske, Barwise
 % information-ordering
 % information-structure
	% I.e., in linguistics.  Not the information structure
	% used to model knowledge in game theory.
 % information-theory
 % inheritance
 % inheritance-in-lexicon
 % inheritance-reasoning
 % inheritance-roles
 % inheritance-theory
 % inhibition-nets
 % innate-ideas
 % innateness-of-language-ability
 % input/output-logics
 % input-output-systems
 % instinct
 % insurance
	% I.e., in relation to risk management.
 % intelligence
 % intelligent-information-retrieval
 % intelligent-computer-assisted-language-instruction
	%= ICALI, cf computer-assisted-language-learning
 % intelligent-tutoring
	%= instructional-AI, intelligent-computer-assisted-instruction
 % intensifiers
	%= emphatic-constructions
 % intensional-logic
 % intensional-transitive-verbs
 % intensionality
 % intensional-paradoxes
 % intention
	%= commitment, rational-commitment, goals
 % intention-maintenance
	%= goal-selection, intention-revision
 % intentional-identity
	%intentional-coreference, Hobb-Nob-sentences
 % intentionality
 % interactive-fiction
 % intercoder-agreement
 % interlinguas
	%= i.e., in machien-translation
 % internalism
	%= i.e., in epistemology
 % internal/external-properties
	%= intrinsic-properties, internal-relations, external-relations
 % interoperability
 % interpersonal-communication
 % interpersonal-reasoning
	%= reasoning-about-others; agent-modeling
 % interpolation-theorems
 % interpretive-semantics
 % interrogative-logic
	%= erotetic-logic
 % interrogatives
	%= questions  cf. interrogative-logic
 % internalism/externalism
 % internet-general
	%= www-general, world-wide-web-general
 % internet-based-language-documentation
 % internet-based-nlp
 % internet-technology
	%= web-site-design
 % interval-based-probabilities
        %= imprecise-probabilities, interval-probabilities
 % interval-algebras
 % interval-logic
	% i.e., in temporal logic
 % intonation
 % intrinsic-images
	% Ie, in computer vision
 % introspection
	%= self-knowledge
 % intuitionistic-logic
	%intuitionist-logic
 % intuitionistic-mathematics
 % intuitions
 % Inuit-language
	%= Eskimo-language
 % irony
 % Iroquois-language
 % irrationality
 % irregularity
 % isomorphisms
 % Italian-language
 % iterative-deepening
 % Japanese-language
 % jargon
 % JAVA
 % JL-Austin
 % John-McCarthy
 % join-trees
	% e.g., in causal networks
 % journalism
 % journal-management
 % judgment
     % I.e., in traditional logic and epistemology
 % justification
 % Kant
 % kernal-methods
 % knowability-paradox
 	%cf Fitch-paradox
 % knowing-how
 % knowing-who
	% including knowing-what
 % knowledge
 % knowledge-acquisition
 % knowledge-base-integrity
 % knowledge-base-refinement
 % knowledge-base-revision
	% knowledge-base-update, knowledge-base-maintenance
 % knowledge-base-verification
 % knowledge-based-programming
 % knowledge-compilation
 % knowledge-engineering
 % knowledge-integration
	%= multiple-knowledge-sources, information-integration,
	%= knowledge-merging  cf "information-merging" which is
	%= different, data-integration, belief-merging
	%= knowledge-base-merging, combining-knowledge-sources
	%= semantic-integration
        %= judgement-aggregation
 % knowledge-retrieval
 % knowledge-reuse
 % knowledge-sharing
 % Korean-language
 % kr
        % I.e., knowledge-representation
 % kr-complexity-analysis
	%= subtopic of: complexity-in-AI
 % kr-course   
	%= krcourse 
 % kr-editorial
 % kr-representation-languages
 % kr-survey
 % kr-systems
	%= knowledge-representation-systems
 % kr-text
 % Kripke
 % Kwa-languages
 % L1-acquisition
	%= first-language-acquisition
	%= expecially human acquisition of grammar 
 % labelled-deductive-systems
 % labelled-transition-systems
 % lambda-calculus
	% ie, untyped lambda calculus
	% Cf. type-free-theories
 % Lambek-calculus
 % language-and-cognition
 % language-and-culture
 % language-and-evolution
 % language-origins
	% origins-of-language
 % language-change
 % language-identification
	% I.e., as a NLP problem
 % language-instruction
 % language-learning
 % language-reference
	% I.e., esp. dictionaries
 % language-universals
 % L1-language-learning
 % L2-language-learning
 % large-kr-systems
 % large-numbers
 % TeX/LaTeX-manual
 % lattice-theory
 % learnability
	% I.e., in linguistic theory
 % learning
 % learning-apprentices
	% I.e. programs that learn by observing experts 
 % learning-theory
 % least-fixed-point-logic
 % Leibniz
 % legal-AI
	%= AI-and-law
 % legal-language
	%= language-and-law
 % legal-precedent
 % legal-reasoning
 % legged-motion
 % David-Lewis
 % lexical-acquistion
	% i.e., in psycholinguistics
 % lexical-choice
	%= lexicalization, i.e. in nl-generation
 % lexical-disambiguation
	%= word-sense-disambiguation, word-disambiguation 
	%= sense-tagging, sense-taggers
 % lexical-processing
 % lexical-rules
 % lexical-selection
	%= ie lexical selection in nl-generation
 % lexical-semantics
 % lexicography
 % lexicon
 % lexicalization
 % limit-proofs
	%= epsilon-delta-arguments, epsilon-delta-proofs
 % limited-attention
 % limited-rationality
	%=bounded-rationality, Cf. resource-limited-reasoning
	% Use this topic for general theories that involve relaxations
	% of some ideal of rationality rather than for, e.g.,
	% experimental studies of resource-limited planning
 % line-drawings
	% Especially, reasoning about line-drawings
 % linear-derivation-systems
 % linear-indexed-grammars
 % linear-logic
 % linear-orderings
 % linear-programming
 % linguistic-archiving-projects
 % linguistic-databases
 % linguistic-feedback
 % linguistic-naturalism
 % linguistic-relativity
	%= Whorf-hypothesis, Sapir-Whorf-hypothesis
 % linguistic-style
	% Ie, the theory thereof.
 % linguistic-theory-and-computational-linguistics
 % linguistic-theory-survey
 % linguistic-typology
		%= typology
 % linguistic-variation
 % linguistics-and-computation
 % NO ENTRY FOR linguistics-and-philosophy
	% See philosophy-and-linguistics
 % linguistics-classic
 % linguistics-essays
 % linguistics-history
 % linguistics-general
 % linguistics-intro
	% Cf. syntax-intro
 % linguistics-methodology
 % linguistics-misc-collection
 % linguistics-terminology
 % linguistics-tutorial-systems
 % LISP
 % lisp-tools
 % literary-criticism
 % literary-interpretation
 % LF
	%=logical-form, gb-semantics, mit-semantics	
 % LFG
	%=lexical-functional-grammar
 % locative-constructions
 % logic-ai-project
 % logic-and-cognition
	% Subsumes mental-models
 % logic-and-combinatorics
 % logic-and-computational-linguistics
 % logic-and-computer-science
	% Use this for general works.
 % logic-and-law
 % logic-and-linguistics
	%= logic-linguistics, logic-in-linguistics
 % logic-and-ontology
	%= logic-and-existence
 % logic-and-philosophy
	% Reserved for attempts to formalize philosophy
 % logic-classic
 % logic-courseware
 % logic-editorial
 % logic-education
 % logic-general
 % logic-in-AI
 % logic-in-CS
 % logic-in-CS-intro
 % logic-in-AI-survey
 % logic-intro
 	%= logic-textbook
 % logic-of-ambiguity
 % logic-of-context
	%= contextual-formalisms
 % logic-of-existence
	% nonexistent-objects,  Meinongian-existence, cf. (non)existence
 % logic-of-memory
 % logic-of-perception
	%= naked-infinitive, bare infinitive
 % logic-of-sense-and-denotation
	%= sense/denotation
 % logic-program-synthesis
 % logic-program-update
 % logic-programming
 % logic-puzzles
 % logic-survey
 % logic-tutorial-systems
	%= logic-software
 % logical-autonomy  
	% i.e. as in Prior's discussion of the autonomy of ethics
 % logical-connectives
 % logical-consequence
 % logical-constants
 % logical-content
	%Note: content of a formula, as used e.g. in confirmation theory.
 % logical-empiricism
 % logical-form
 % logical-philosophy
 % logical-positivims
 % logical-reasoning
 % logical-syntax
 % logicism
 % long-distance-dependencies
 % lottery-paradox
 % lowenheim-skolem-theorem
 % macro-formalization
	% i.e., the formalization of domains
	% cf. micro-formalization
 % machine-learning
 % machine-language-learning
	%= computational-language-learning, computer-language-learning
	% cf. word-acquisition
 % machine-readable-dictionaries
	%= online-dictionaries
 % machine-translation
 % macro-operators
 % management-science
	%= theory-of-organizations
 % manner-adverbials
 % many-sorted-logic
 % map-building
 % markedness
 % market-oriented-algorithms
 % market-oriented-programming
 % Markov-decision-processes
	%= Markov-decision-problems
 % Markov-networks
 % marker-passing
 % market-modeling
	%= financial-modeling
 % market-research
 % mass-media
 % mass-term-semantics
	%= mass-nouns, mass-noun-semantics
 % mathematical-biology
	%= biomathematics
 % mathematical-constructions
 % mathematical-economics
 % mathematical-induction
 % mathematical-writing
 % mathematics-general
 % mathematics-in-the-sciences
 % mathematics-intro
 % mathematical-logic
 % mathematical-linguistics
 % mathematical-reasoning
 	% Reserved for psychological/conceptual studies
 % mathematics-puzzles
 % math-in-behavioral-science
 % mathematical-modeling
 % maxims
 % maximum-entropy
	%= MAXEnt
 % meaning-and-culture
 % meaningfulness
 % meaningfuless-in-style
 % meaning-postulates
 % measure-theoretic-semantics
 % measurement-in-behavioral-science
 % measurement-theory
 % measures
	% i.e., expressions of measurement in Natural Language
 % mechanisms
	% in philosophy of science
 % medical-AI
	%= AI-in-medicine, AIM
 % medical-informatics
 % medieval-logic
	%= Scholastic-logic
 % medieval-philosophy
 % Meinong
 % memory
 % memory-based-reasoning
 % memory-models
 % mental-events
 % mental-language
	%= language-of-thought
 % mental-models
 % mental-simulation
	%i.e. simulation esp by humans of other cognition
 % mental-representations
	%= internal-representations, representationalism
	% Mental representations in philosophy
 % mental-simulation-theory-of-folk-psychology
	%I.e, the theory that the psych of other agents is mediated
	% by "simulation"
 % mereology
	%= part/whole, cf. partonomies
 % methodological-solipsism
 % message-passing-algorithms
 % message-understanding
 % metacognition
 % metaethics
 % metalinguistic-hierarchies
 % metaphilosophy
 % metaprogramming
 % metaphor
 % metaphysics
 % metareasoning
 % metonymy
 % micro-domains
	% I.e., small worlds in AI used to test ideas.
 % micro-formalization
	% i.e., the formalization of separate sentences,
	% cf. macro-formalization
 % microplanning
	% i.e., in NL Generation
 % middle-constructions
 % mind-body-problem
 % minimal-logic
	% I.e., Johansson's minimal constructive logic
 % minimal-models
 % minimalist-robotics
	%= situated-robotics
	% cf. reactive-AI, agent-environment-interaction, behavior-based-AI
 % minimalist-syntax
 % minimaxing
 % minimum-description-length
 % misconception-detection
 % miscommunication
 % mixed-initiative-systems
 	%= mixed-initiative-systems
 % mobile-computing
 % mobile-robot-localization
	%= position-estimation
 % modal-auxiliaries
 % modality
        % cf relativized-modalities
 % modal-correspondence-theory
	% i.e., in semantics of modal logic
 % modal-interpretation-of-qm
 	% i.e., of quantum mechanics
 % modal-logic
 % model-based-reasoning
 % model-checking
	%= model-construction, satisfiability-checking, SAT, SAT-solving
 % model-preference
	%= preference-logic, preferential-entailment, preferential-semantics
	%= preferential-logics
 % modal-subordination
	% ie, as in C. Roberts  
	% Cf. intentional-identity
 % model-theory
 % modern-Greek-language
 % modular-domain-representations
 % modularized-logics
	%= partitioned-logics, partition-based-reasoning
 % molecular-biology
 % monoid-semantics
	% i.e., in linear logic
 % Montague
 % Montague-grammar
 % Moore's-paradox
 % moral-conflict
	%= conflicting-obligation, conflicting-obligations,
	%= moral-dilemmas (a slightly less general term)
 % moral-luck
 % moral-psychology
 % Morgan's-canon
        % in ethology
 % morphological-disambiguation 
 % morphology-acquisition
 % morphology
 % motion-mechanics
	%= i.e., mechanical/geometical analysis of animal/robot motion
 % motion-planning
 % motion-reconstruction
	% Especially, but not only from images
 % motion-representation
	% E.g., languages for representing movement, motion
 % motion-tracking
 % motion-verbs
 % motivation
	%= motives
 % motor-skills
	%= motor-behavior
 % movement-rules
	% I.e., in NL syntax
 % multiagent-deontic-logic
 % multiagent-epistemic-logic
 % multiagent-learning
	%= group-learning
 % multiagent-planning
	%= distributed-planning
 % multiagent-systems
	%= multi-agent-systems, agent-based-computing
 % multiattribute-utility
	%= multivariate-utility
 % multidocument-processing
 % multilingual-corpora
	% including bitexts
 % multilingual-nlp
	% Used for other than machine-translation
 % multilingual-lexicons
	%= multilingual-dictionaries
 % multimedia-corpora
 % multimedia-interpretation
	%= multi-media-interpretation, multimodal-interpretation
	%= multi-modal-interpretation
 % multimedia-generation
	%= multi-media-generation, multimodal-generation,
	%= multi-modal-generation 
 % multimodal-communication
 % multimodal-logic
	%= multi-modal-logic
 % multiple-databases
 % multiframes
 % multiple-personality-disorder
 % multiagent-learning
 % multivalued-logic
	%= multivalued-logic;many-valued-logic;three-valued-logic;
 % multivalued-relevance-logic
 % multivariate-statistics
 % mutual-agreement
 % mutual-belief
	%= common-knowledge, mutual-knowledge, common-belief
 % mutuality
	% I.e., generic mutuality, %= shared-attitudes
 % naive-physics
 % named-entity-tagging
 	%= named-entity-extraction
 % narrative-generation
 % narrative-genre
 % narrative-representation
 % narrative-understanding
 % Nash-equilibria
 % native-languages-of-North-America
	%= native-American-languages
 % native-languages-of-Central-America
 % native-languages-of-South-America
 % natural-deduction
 % natural-kinds
 % natural-language/formal-language
 % natural-laws
	%= scientific-laws, laws-of-nature
 % (un)natural-predicates
	% as in grue/bleen
 % natural-regularities
 % necessary-truth
 % negation
 % negation-as-failure
 % negative-concord
 % negotiation
 % negotiation-subdialogs
 % neighborhood-semantics
 % neologicism
 % network-routing
 % neural-computation
 % neurocognition
 % neurolinguistics
 % Newcomb-problem
 % n-gram-models
	% Eg, in statistical language modeling
	%= language-modeling
 % nl-agreement
	%= agreement
 % nl-algorithms
 % nl-and-logic
		%= natural-language-and-logic
 % nl-as-kr
		%= natural-language-as-kr
 % nl-case
		%= case
 % nl-causality
 % nl-causatives
		%= natural-language-causatives
 % nl-comprehension-psychology
	%= nl-understanding
 % nl-comprehension-philosophy
	%= nl-understanding
 % nl-generation
 % nl-generation-algorithms
		%= natural-language-generation
 % nl-generation-and-cognition
		%= natural-language-generation-and-cognition
 % nl-generation-and-interpretation
 % nl-generation-from-proofs;
	% Cf. nl-proofs
 % nl-instructions
 % nl-interfaces
 % nl-interpretation
		%= natural-language-interpretation
 % nl-kr
		%= natural-language-kr
 % nl-metaphysics
		%= natural-language-metaphysics
 % nl-modality
		%= natural-language-modality
 % nl-mood
		%= natural-language-mood
 % nl-negation
		%= natural-language-negation
 % nl-polysemy
	%= polysemy
 % nl-production  
		% I.e., psycholing studies of generation
 % nl-processing
		%= natural-language-processing, NLP
 % nl-proofs
	% Cf. nl-generation-from-proofs;
 % nlp-architectures
 % nlp-intro
		%= cl-intro, computational-linguistics-intro
 % nlp-bibliography
 % nlp-programming
 % nlp-algorithms
 % nlp-and-linguistics
 % nlp-evaluation
 % nlp-history
 % nlp-lexicons
 % nlp-pedagogy
 % nlp-semantics
 % nlp-survey
     %= computational-linguistics-survey
 % nlp-technology
	%= applied-nlp
 % nlp-editorial
 	%= cl-editorial
 % nl-quantifier-scope
 % nl-quantifiers
	%= natural-language-quantifiers, quantifiers,
	%= nl-quantification, natural-language-quantification
 % nl-realization
        % I.e., realization in nl-generation 
 % nl-semantic-representation-formalisms
 % nl-semantics
		%= natural-language-semantics, semantics
 % nl-semantics-and-cognition
		%= natural-language-semantics-and-cognition
		% a subtype of psychological-reality
 % nl-semantic-types
		%= natural-language-semantic-types, nl-semantic-categories
 % nl-soar
		%= natural-language-soar
 % NL-Soar
 % nl-statistics
 % nl-syntax
		%= natural-language-syntax
 % nl-syntax-and-cognition
 % nl-tense
		%= natural-language-tense
 % nl-to-logic-mapping
	% I.e., computational formalisms for nl-to-logic
 % nl-translation
 % nl-tutoring
	% I.e, tutoring using NL.  Not tutoring _of_ language
 % nm-ling
 % noise-modeling
 % nominal-constructions
	%= nominalization
 % nominalism
 % nominalistic-semantics
 % nominalization
 % nonadjunctive-logics
	% Where adjunction is p,q |- p&q
 % non-co-reference
 % (non)accidental-generalizations
 % nondeterministic-action
	%= indeterminist-action
 % (non)existence
	% cf. logic-of-existence
 % nonlinear-mathematics
 % nonlinear-morphology
 % nonlinear-phonology
 % nonlinear-systems
 % nonlinguistic-grammars
 % nonlinguistic-noises
	% Note -- e.g. grunts, hesitation noises I need a better term --RT
 % non-monotone-inductive-definitions
 % nonmonotonic-conditionals
	%= normality-conditionals, defeasible-conditionals
 % nonmonotonic-logic
	%= NM-logic
 % nonmonotonic-prioritization
	%= nm-prioritization
 % nonmonotonic-reasoning
	%= nm-reasoning, default-reasoning, defeasible-reasoning
 % nonmonotonic-reasoning-algorithms
 % nonmonotonic-reasoning-survey
	%= nm-reasoning-survey
 % nonrestrictive-relative-clauses
 % non-sentential-utterances
 % nonstandard-analysis
 % nonstandard-models
 % nonstandard-probability
 	% Including not only prob based on nonstd reals but 
	% "Nonmonotonic-probability"
 % nonstandard-set-theory
 % nonverbal-behavior
 % nonwellfounded-sets
	%= non-wellfounded-sets, nonwell-founded-sets, non-well-founded-sets
 % normative-systems
 % normativity
 % Norwegian-language
	% cf. Scandanavian-languages
 % noun-phrases
 % noun-phrase-parsing
 % noun-phrase-semantics
 % noise-reduction
	% Especially in reasoning about sensory input
 % noisy-channel-models
 % Norwegian-language
 % novel
 % novice-misunderstandings
	%= mind-bugs
 % number-theory
	% Not including formalizations.  See formalizations-of-arithmetic
 % numerical-algorithms
 % numeric-reasoning
 % object-identification
	%= object-detection
 % object-oriented-analysis
	%= object-oriented-design
 % object-oriented-databases
 % object-oriented-formalisms
 % object-oriented-programming
 % object-oriented-systems
 % object-migration
        % E.g., in ontologies, object-oriented databases
 % object-recognition
 % obligation-update
 % observation
	% A topic in epistemology and philosophy of science 
 % Ockham
 % oculomotor-control
 % omega-consistency/completeness
 % omnipotence
 % old/new-information
 % on-denoting
 % `only'
 % `only-if'
 % ontological-argument
 % ontological-commitment
 % ontological-query-processing
 % operating-system-manual
 % optical-flow
 % optimality
	% Especially of algorithms or protocols
 % optimality-theory
 % optimization
	%= of parameters in AI
 % orbital-dynamics
 % order-of-magnitude-reasoning
 % order-sorted-logic
	%= I.e., in logic programming
 % order-theory
	%= I.e., theory of ordering relations
 % ordinal-logics
 % ordinary-language-philosophy
 % organizational-memory
 % other-minds
 % other-modeling
		% I.e. not only other people but bats etc.
 % overfitting
	% i.e., in machine-learning
 % OWL
 	% i.e., the description logic for ontology development
 % P=NP-problem
 % PAC-learnability
 % PAC-learning
 % pain
 % paraconsistency
 % paraconsistent-mathematics
 % paraconsistent-reasoning
 % paradigm-case-arguments
 % paradox-of-analysis
 % paradox-of-the-preface
	%= preface-paradox, cf. lottery-paradox
 % paradoxes
 % paradoxes-of-motion
	%= Zeno's-paradoxes
	% Cf. paradoxes-of-physical-infinity
 % paradoxes-of-physical-infinity
	%= supertasks
 % parallel-processing
 % parameter-setting
	%= In language-learning models
 % paraphrasing
	% I.e., automatic paraphrasing of texts
 % parasitc-gaps
 % parentheticals
 % parsing-algorithms
 % parsing-complexity
 % parsing-as-deduction
 % parsing-optimization
 % parsing-psychology
	%= garden-path, sentence-comprehension
 % parsing-ungrammatical-input
		%= extragrammaticality, cf. robust-parsing
 % participant-roles
	% in speech acts, e.g. speaker, hearer, term is Goffman's
 % part-of-speech-tagging
	%= tagging;taggers;wordclass-tagging;  cf. corpus-tagging
 % partial-evaluation
	% Ie, partial evaluation of programs
 % partial-logic
 % partial-equilibrium-logic
 % partial-order-planning
	%= nonlinear-planning
 % partitioned-search
 % particular/universal
	%= particular (in metaphysics)  universal (in metaphysics)
 % partitioning-algorithms
 % partitive-constructions
 % partonomies
 % passive
	%=  passivization
 % PAT-trees
 % PATR
 % pattern-databases
 % pattern-matching
	%= pattern-recognition
 % PDMPs
	%= partially-observable-Markov-processes
 % Peirce
	% Also cf. existential-graphs
 % perception
 % perceptrons
 % perceptual-concepts
 % perceptual-reasoning
 % perfective-aspect
 % performative-analysis
 % PERL
 % permission
 % personal-identity
 % personal-name-recognition
	%= proper-name-recognition
 % personal-pronouns
 % personality-simulation
	%= personality-modeling
 % perspective-sensitive-reasoning
 % persuasive-discourse
 % Petri-nets
 % phenomenalism
 % phenomenal-properties
 % phenomenology
 % philosophical-anthropology
 % philosophical-logic
 % philosophical-methodology
 % philosophical-ontology
 % philosophical-psychology
 % philosophical-realism
 % philosophical-reasoning
 % philosophical-thought-experiments
 % philosophy-and-cogsci
 % philosophy-and-language
 % philosophy-and-linguistics
	%= linguistics-and-philosophy
 % philosophy-and-models
	% E.g., as in Mary Hesse, Max Black
 % philosophy-AI
	%= philosophy-and-AI, philosophy-of-AI, phil-AI, AI-phil
 % philosophy-classics
 % philosophy-cogsci
	% Use for inrteractions between philosophy and cogsci
 % philosophy-education
 % philosophy-essays
 % philosophy-general
 % philosophy-handbook/encyclopedia
 % philosophy-intro
 % philosophy-of-AI
 % philosophy-of-action
 	%= action-theory
 % philosophy-of-belief
 % philosophy-of-biology
 % philosophey-of-chemistry
 % philosophy-of-anthropology
 % philosophy-of-cogsci
	%= philosophy-of-cognitive-science
 % philosophy-of-computing
	% i.e., computing technogogy, as opposed to computer science
 % philosophy-of-computation
 % philosophy-of-economics
 % philosophy-of-geometry
 % philosophy-of-history
 % philosophy-of-language
 % philosophy-of-law
 % philosophy-of-linguistics
 % philosophy-of-literature
 % philosophy-of-logic
 % philosophy-of-mathematics
 % philosophy-of-mind
 % philosophy-of-perception
 % philosophy-of-physics
 % philosophy-of-possible-worlds
         %= modal-realism
 % philosophy-of-psychology
 % philosophy-of-reasoning
 % philosophy-of-representation
 % philosophy-of-science
 % philosophy-of-sensation
	% and the senses
 % philosophy-and-social-science
	% Use for inrteractions between philosophy and social science
 % philosophy-of-social-science
 % philosophy-of-space
 % philosophy-of-technology
 % philosophy-of-time
 % philosophy-reference
 % phonetic-alignment
 % phonetics
 % phonology
 % phrasal-terms
 	% General category including compound Ns, tech terms, idioms,
        % collocations
 % physical-determinism
 % physical-realizations-of-computation
 % physical-reasoning
 % physical-time
 % physics-learning
 % Pierre-puzzle
 % plan-description
 % plan-evaluation
 % plan-execution
 % plan-maintenance
	%= plan-revision, replanning, plan-management
 % plan-monitoring
 % plan-recognition
 % plan-verification
 % plan-reuse
      % cf. proof-reuse, plan-modification
 % planning
 % planning-algorithms
 % planning-applications
 % planning-formalisms
 % planning-systems
	%= Also cf. action-formalisms
 % Plato
 % plausibility-measures
	%= As used by Nir Friedman
 % plenitude
 % plot-management
	%= E.g., in interactive-fiction
 % pluralistic-ignorance
	% Cf. false-consensus  (A social psychology topic)
 % pluractionality
	% Constuctions involving reference to many eventualities;
	% see lasersohn:1995a.
 % plural
 % pluralities
 % polarity
	%= Subsumes positive-polarity, negative-polarity
 % polarity-sensitivity
 % policy-making
	%= social-policy-making, public-policy
 % political-economy
 % Polish-language
 % Polish-logic
 % politeness
 % political-philosophy
 % polyadic-pi-calculus
 % polymorphism
	%= type-ambiguity
 % polynomial-algorithms
 % polyvalency
 % popular-AI
 % popular-computer-science
 % popular-linguistics
 % population-statistics
 % possessives
 % possibilistic-logic
 % possibility
 % possibility-theory
	%= As in the work of Didier Dubois
 % possible-worlds-semantics
 % postmodernism
 % poststructuralism
 % potentiality
 % practical-argumentation
 % practical-reasoning
	%= practical-reason
 % pragmatic-reasoning
 % pragmatic-scales;
	% A term of Fauconnier's
 % pragmatics
 % pragmatics-course
 % predicate-adjectives
 % predicates-of-taste
 % predication
 % predicate-nominals
 % predicative-nps
	% as opposed to attributive 
 % (im)predicativity
	% in foundations of mathematics, Poincare-Weyl, also 
	% Russell's solution to the paradoxes
	%= cf. ramified-type-theory
 % preference-dynamics
 % preference-elicitation
	%= value-elicitation, utility-elicitation
 % preference-learning
 % preference-modeling
	% Use this for preferences of non-human agents
 % preference-representation
 % preference-revision
 % preferences
 % pregroups
 % prepositional-attachment	
	%= PP-attachment
 % prepositions
 % presocratic-philosophy
 % presupposition
 % pretense
	%= pretending
 % prevention
 % primary/secondary-qualities
 % prima-facie-obligation
	% Use the following for contrary-to-duty-obligations; 
	% reparational-obligations;
 % prime-implicants
 % primitive-conditional-probability
	%= Popper-functions
 % principia-mathematica
 % principle-based-parsing
 % principles-and-parameters-syntax
 % Prior
	% i.e., Arthur Prior, the logician
 % prioritized-logic-programming
 % prisoner's-dilemma
 % private-language
 % pro-forms
	% especially non-nominal forms, e.g. 'so'
 % program-revision
 % program-transformations
 % programming-manual
 % promising
 % probabilistic-algorithms
 % probabilistic-context-free-grammars
 % probabilistic-description-logics
 % probability-intro
 % probabilistic-parsers
	%= Cf statistical-parsing = probabilistic-parsing
 % probabilistic-planning
 % probabilistic-reasoning
 % probability
 % probability-semantics
	%=probability-logic, probability-logics, probabilistic-logic
 % probability-judgments
 % probability-kinematics
	%= probability-updating
 % probability-theory
	%= conditionalization, probability-update, probability-revision
 % problem-decomposition
 % problem-reformulation
 % problem-solving
 % problem-solving-architectures
 % problem-specification
 % procedural-control
	% Especially formalizations of control strategies in AI
 % procedural-semantics
 % process-algebras
 % process-recognition
 % programming-languages
 % programming-systems
 % program-specification
 % program-synthesis
 % program-termination
 % program-transformations
 % program-verification
 % progression
 % progressive-aspect
 % projectable-predicates
	%I.e., in Goodman's formulation of the paradoxes of confirmation
 % projection-problem
	%I.e., in reasoning about action and change
 % Prolog
 % pronouns
 % pronunciation-models
 % proof-complexity
	%= proof-length
 % proof-editing
 % proof-planning
 % proof-reuse
 % proof-techniques
 	% Reserved for manuals attempting to improve students'
	% theorem-proving skills
 % proof-theory
 % proof-theoretic-semantics
 % proofs-as-discourse
 % propensity
 % proper-names
 % properties
 % property-theory
 % propositional-attitude-ascription
	%= problem of user-modeling for propositional attitudes
 % propositional-attitude-reports
 % propositional-attitudes
		%= See structured-propositions, epistemic-logic
 % propositional-functions
 % propositional-quantifiers
	%= propositional-quantification
 % propositions
 % protocol-analysis
 % protocol-design
 % prosody
 % Protagoras-vs-Euathlus-paradox
 % prototypical-knowledge
	% Eg, knowledge of prototypical situations
 % provability-logic
 % pseudo-imperatives
	% Eg, "Say that again and I'll punch you in the nose"
 % psych-verbs
 % psycholinguistics
 % psychometrics
	%= psychological-assessment
 % psychological-reality
		% cf nl-semantics-and-cognition
 % psycchologism
 	%Especially, in logic
 % psychology-general
 % psychology-of-emotion
 % psychology-of-decision-theory
 % psychology-of-deduction
 % psychology-of-discourse
 % psychology-of-learning
 % psychology-of-mathematics
 % psychology-of-perception 
 % psychology-of-pretense
 % psychology-of-technology
 % psychotherapy
 % punctuation
 % popular-cs
 % popular-linguistics
 % popular-logic
 % popular-physics
 % popular-science
 % qualia
 % qualification-problem
 % qualitative-differential-equations
 % qualitative-equilibria
		% as in game theory
 % qualitative-geometry
 % qualitative-methods
	%= qualitative-research
 % qualitative-modeling
 % qualitative-physics
 % qualitative-probability
 % qualitative-process-theory
 % qualitative-reasoning
 % qualitative-simulation
 % qualitative-utility
	%= qualitative-decision-theory, qdt
 % quantales
 % quantifier-elimination
 % quantifier-float
 % quantified-boolean-logic
 % quantifiers
 % quantifying-in-modality
	%= quantifying-in;quantification-in-modality;
        %= quantifying-in-modal-logic
	%= trans-world-identification; identification-across-worlds;
	% cf. essentialism; cf. individuation;	
	% cf. also identification-across-documents;
 % quantum-chaos
 % quantum-computation
 % quantum-electrodynamics
 % quantum-field-theory
 % quantum-gravity
 % quantum-computing
 % quantum-logic
 % quantum-mechanics
 % query-evaluation
 % query-languages
 % query-planning
 % question-answering
 % question-begging
	%= begging-the-question
 % Quine
 % racial-stereotypes
 % radical-interpretation 
 % ramification-problem
	% cf. ceteris-paribus-generalizations, 
	% other-things-being-equal
 % ramified-type-theory
 % F.P.Ramsey
 % Ramsey-elimination
	% i.e., elimination of theoretical terms using Ramsey's method
	%= Ramsey-sentences
 % Ramsey-test
 % randomness
 % range-data
	% I.e., in computer vision
 % ranking-functions
	% As in Spohn
 % rational-acceptance
 % rational-action
 % rational-mechanics
 % rationality
 % rationality-and-cognition
 % reactive-AI
	%= as in Rodney Brooks' approach, cf minimalist-robotics
	%= situated-AI
 % reactive-planning
 % reactive-systems
 % reading
	% as a cognitive skill
 % reasoning
 % reasoning-about-achievability
	%= cf ability
 % reasoning-about-actions
 % reasoning-about-attitudes
 % reasoning-about-change
	% This is reserved for change not ascribable to actions
 % reasoning-about-consistency
 % reasoning-about-continuous-time
 % reasoning-about-continuous-quantities
 % reasoning-about-distributed-systems
 % reasoning-about-goals
 % reasoning-about-knowledge
	%= reasoning-about-knowledge, cf reasoning-about-attitudes
 % reasoning-about-mental-states
 % reasoning-about-motion
	%cf motion-representation
 % reasoning-about-noisy-sensors
 % reasoning-about-perspective
	% Ie, in computer vision
 % reasoning-about-observations
 % reasoning-about-physical-systems
 % reasoning-about-uncertainty
 % reasoning-in-time
 % reasoning-with-diagrams
	%= diagrammatic-reasoning
 % reasoning-with-queries
 % reasons-for-action
	%= mental-causation, reasons-and-causes
 % reasons-for-conclusions
 % reciprical-constructions
	%= reciprocals
 % reconception
 % real-properties
 % realizability
	%= in particular, recursive realizability
 % recursion-theory
	%= recursive-functions
 % recursive-transition-networks
	%=RTNS
 % reduction
	%= reductionism
 % redundancy-elimination
 % redundant-literals
 % reduplication
 % reference
 % reference-gaps
	%= free-logic, free logic, nondenoting terms, nonreferring terms
	% non-reference, non-referring-terms
 % reference-grammars
	%= descriptive-grammars
 % reference-resolution
	% ie, in NLP, including anaphora-resolution, ellipsis-resolution
	% implicit-entity-construction
	% cf anaphora-resolution
 % referent-systems
 % referring-expressions
	% Especially in NL Generation 
 % referential-opacity
 % reflexive-constructions
 % region-connection-calculus
 % Reichenbach
 % reinforcement-learning
 % relation-algebras
 % relational-nouns
 % relational-grammar
 % relational-reasoning
 % relations
 % relative-clauses
 % relative-interpretability
 % relativity-theory
 % relativized-modalities
 % relaxation-methods
	% Especially in constraint satisfaction
 % relaxations-of-classical-probability
 % relevance 
	%= Especially in AI
 % relevance-theory
	%= I.e., the Wilson-Sperber theory of implicature
 % relevance-logic
	% i.e., paraconsistent-logic
 % relevant-predication
 % religious-fundamentalism
 % repair-planning
 % repeated-games
 % reported-speech
 % representation
 % representation-of-ling-info
 % representing-agent-knowledge
 % responsibility
 % resolution
	% Subtopic: SL-resolution
 % resource-aware-logics
 % resource-limited-game-theory
 % resource-limited-reasoning
	% Cf. limited-rationality
 % restricted-logics
	% This is a miscellaneous category.
 % restricted-quantifiers
 % resultative-constructions
 % resumptive-pronouns
 % rete-networks
 % reverse-mathematics
 % reversible-grammar
 % reverse-Sobel-sequences;
 % rhetoric
 % rhyme
 % right-dislocation
 % rigid-designators
 % risk
 % risk-management
 % Romance-languages
 % RoboCup
	%= robot-soccer
 % robot-motion
 % robot-human-interaction
 % robot-navigation
 % robotics
 % robust-parsing
 % Ross'-paradox
 % rough-sets
 % route-planning
 % rule-based-reasoning
	%= production-systems, rule-based-systems
 % rule-following
	% As in Wittgenstein's "Investigations"
 % rule-learning
	% cf. Horn-clause-abduction
	%= horn-clause-learning, logic-program-learning
 % rule-ordering
 % rules-and-regulations
 % Russell
 % Russell-paradox
	%= set-theoretical-paradoxes, Burali-Forti-paradox, etc.
 % Russian-language
 % s-topic
	%= sentence-internal-topic
 % salience
 % Salish-languages
 % sameness/difference
 % sampling-strategies
 % Sartre
 % SAT-based-planning
 % scalar-implicature
 % scalar-reasoning
	% I.e., especially in psychology of semantic processing
 % scaled-up-algorithms
 % Scandanavian-languages
 % scene-reconstruction
	%= scene-analysis
 % scheduling
   %= task-sequencing
 % scholastic-philosophy
	%= medieval-philosophy
 % science-and-contemporary-culturemmentary
 % science-commentary
 % science-reporting
 % scientific-instrumentation
 	% cf. 
 % scientific-data
      %= scientific-phenomena, evidence in science, scientific methodology
 % scientific-databases
 % scientific-discovery
 % scientific-documents
 % scientific-methodology
 % scientific-reasoning
 % scientific-thought-experiments
 % Scott-domains
 % search
 % Searle
 % second-language-instruction
 % second-order-arithmetic
 % secondary-obligations
 % selection-functions
     % esp in applications other than condtionals
 % self-defeating-behavior
 % self-deception
 % self-knowledge
	% cf. privileged-access
 % self-organization-network
 % self-reference
 % self-reproducing-automata
	% ie, as in von Neumann's 1951 paper; see vonneumann:1966a
 % semantic-change
	%= diachronic-semantics, historical-semantics, 
 % semantic-classification
	% e.g., of words in a text
 % semantic-closure
	%semantically-closed-languages
 % semantic-coercion
 % semantic-compositionality
 % semantic-features
 % semantic-fields
 % semantic-information
		% As in Carnap, Popper, and Hintikka
 % semantic-nets
	%= semantic-networks
 % semantic-hierarchies
 % semantic-interpretation-algorithms
 % semantic-paradoxes
	%= Liar-paradox, Grelling-paradox, Berry-paradox, etc.
 % semantic-primitives
 % semantic-processing
 % semantic-similarity
	% word-association, semantic-relatedness
	% Wrt of words in corpora, cf semantic-similarity 
 % semantic-reflection 
 % semantic-role-labeling
 	% i.e., semantic labeling of verb arguments
 % semantic-tableaux 
 % semantic-tagging 
 % semantic-underspecification
	% underspecified-semantics
	% Use this for the idea that semantic representation is
	%  not fully disambiguated for reasoning purposes.
 % semantics-evaluation
 % semantic-web
 % semantics-acquisition
	%= I.e., developmental semantics, human meaning acquisition
 % semantics-course
 % semantics-editorial
 % semantics-history
 % semantics-in-parsing
 % semantics-general
 % semantics-of-adjectives
 % semantics-of-frequency-adjectives
 % semantics-of-common-nouns
 % semantics-of-inference-rules
 % semantics-of-programming-languages
		%= programming-language-semantics
 % semantics-of-proofs
 % semantics-of-proper-names
 % semantics-of-variables
 % semantics-survey
 % semantic-closure
 % semantic-underspecification
 % semigroups
 % semiotics
 % Semitic-languages
 % sense-reference
 % sensing-actions
	%= sensory-actions, perceptual-actions, perceiving-actions
	% Cf. active-perception
 % sensing-formalisms
 % sentence-boundary-detection
 % sentence-focus
	% I.e. focus as realized in syntax and
	% prosody.  Also cf. discourse-focus
 % sentence-planning
	% i.e., in NL-generation, deciding on wording and syntax
 % sentence-tokenization
	% E.g., how to input sentence in Chinese char rep and
	% output a list of words
 % sentiment-analysis
 	% I.e., of affect in texts
 % separable-verbs
	% E.g., in German
	%= verb-particle combinations
 % sequence-analysis
 % sequence-of-tense
 % set-theory
 % Seventeenth-Century-philosophy
 % Sextus-Empiricus
 % shape-recognition
 % shared-cognition
	% in social psychology
 % sharedplans
 % signal-processing
 % significant-inferences
	% i.e., inferences that do no degrade information
 % sign-language
	% Cf. American-sign-language
 % Siouxan-language
 % similarity
 % Simpson-paradox
 % simulated-annealing
	% E.g. in Boltzman machines
 % simulated-characters
	%= E.g., in interactive-fiction
 % simulation
	%= I.e., as a scientific methodology, as in complex systems
 % simulation-of-human-like-behavior
 % singular-propositions
	%= de-re-attitudes, de-re-propositions
 % situated-nlp
 	% Ie, applications where NLP is connected to sensing, actions
 % situation-calculus
 % situation-semantics
 % situation-theory
 % skepticism
	% scepticism
 % skill-acquisition
 % SL-resolution
 % slang
 % sleeping-beauty-problem
 % sloppy-identity
 % small-clauses
 % smoothing
 % SNePS
 % SOAR
 % social-aspects-of-science
 % social-change
 % social-choice-theory
 % social-cognition
 % social-constructivism
 % social-contract-theory
 % social-impact-of-computation
	%= computers-and-culture
 % social-justice
 % social-networks
 % social-philosophy
 % social-psychology
 % social-roles
 % social-science-methodology
 % sociolinguistics
 % sociology
 % sociology-of-knowledge
 % sociology-of-literature
 % sociology-of-science
 % Socratic-proofs
 % software-architecture
 % software-agents
 % software-engineering
 % software-engineering-text
 % software-evaluation
 % sorites-paradox
 % sortal-incorrectness
	%=category-mistakes
 % sortal-quantification
 % sorting
 % sort-hierarchies
 % space-exploration
 % spacetime-singularities
 % spam-filtering
 % Spanish-language
 % spatial-arrangement-tasks
	% spatial-arrangement-of-items
 % spatial-language
 % spatial-logic
 % spatial-reasoning
	%= reasoning-about-space
 % spatial-representation
 % spatial-semantics
 % speaker-meaning
	%= utterers-meaning, utterer's-meaning, utterance-meaning,
 % special-purpose-automata
 % species 
	%= The nature of species, a topic in philosophy of science
 % specificity
 % speech-act-recognition
 % speech-act-taxonomy
	%=speech-act-classification
 % speech-acts
	%= illocutionary-acts
 % speech-errors
 % speech-generation
	%= speech-synthesis, text-to-speech-synthesis
 % speech-perception
 % speech-processing
 % speech-production
	% I.e., in humans
 % speech-recognition
 % speech-recognition-algorithms
 % speech-repairs;
		%= e.g., in interactive discourse
 % speech-segmentation
 % speech-to-speech-machine-translation
 % spelling
 % spelling-correction
 % spoken-dialogue-systems
 % spoken-language-corpora
 % stable-models
	% i.e., in logic programming
 % statecharts
 % state-space-problem-solving
 % state-space-semantics
	%= A form of semantics inspired by connectionist ideas,
	% cf. conceptual-role-semantics
 % statistical-analysis-of-algorithms
 % statistical-explanation
 % statistical-(in)dependence
 % statistical-inference
 % statistical-modeling
 % statistical-model-learning
 % statistical-nlp
 % statistical-parsing
	%= probabilistic-parsing  %= probabilistic-grammars
 % statistics
 % stereoscopic-vision
 % `still'
	%= `noch'
 % stit
 % stochastic-analysis
 % stochastic-games
 % stochastic-modeling
 % stochastic-processes
 % stochastic-search
 % Stoic-philosophy
 % Stoppard
 % strategic-planning
 % strategic-voting
 % strategy-selection
	%% i.e., in game theory
 % stratified-logic-programs
 % Strawson
 % stress
 % STRIPS
 % story-understanding
 % structure-learning
 	%= relational-learning
 % structural-models
	% i.e., in causal reasoning: an idea of Halpern & Pearl's
 % structural-semantics
 % structuralist-linguistics
 % structure-recognition
	%cf. structure-learning
 % structured-meanings
 % structured-programming
 % structured-propositions
		%= See propositional-attitudes
 % student-guides
 % subjective-probability
 % subjunctive-mood
 % subjectivity
 % sublanguages
 % subordinate-clauses
 % subset-spaces
	% An idea of Moss & Parikh
 % substance
	% i.e., ousia, Aristotelian substance
 % substitutional-quantification
 % substructural-logics
 % sub-symbolic-representations
	% Ie, the subsymbolic approach to concept representation
 % subtheories-of-FOL
	%= FOL-fragments fragments-of-FOL limited-variable-fragments
 % subtheories-of-PC
	%= Implicational fragments
 % subsumption
 % sufficient-reason
	%= principle-of-sufficient-reason
 % supererogation
 % supervaluations
 % supervenience
 % supposing
	%= supposition
	% Cf. hypothetical-attitudes
 % surface-structure
 % surprise-examination-paradox
	%= surprise-test-paradox, unexpected-examination-paradox
 % swarm-intelligence
 % Swedish-language
	% cf. Scandanavian-languages
 % switch-reference
 % syllogistic
 % symbolic-computation
 % symbol-grounding-problem
 % symbol-systems
	% I.e. as proposed by Newell & Simon
 % symmetry
 % synchronization
 % synonymy
	%= sameness-of-meaning, meaning-similarity
 % syntactic-attitudes
	%= syntactic-modality, syntactic-necessity
 % syntactic-binding
 % syntactic-categories
 % syntactic-command
 % syntactic-control
	% i.e., in nl-syntax
 % syntactic-disambiguation
 	%= parse-ranking, parse-reranking
 % syntactic-islands
 % syntactic-minimalism
	%= minimalist-syntax
 % syntactic-movement-rules
 % syntactic-reflection
 % synthesized-emotions
	%= artificial-emotions, synthetic-emotions, computer-emotions
 % syntax-intro
 % syntax-morphology-interface
	%= morphology-syntax-interface
 % syntax-selection
	%= clause-aggregation, i.e. in nl-generation
 % syntax-semantics-interface
 % synthetic-differential-geometry
 % systematicity
	% In linguistics: i.e., ability to process related sentences
 % systemic-grammar
 % system-modeling
	% supertopic of device-modeling
 % systems-manuals
 % TAG-grammar
	%TAGs, tree-adjoining-grammars
 % tagmemics
 % Tanoan-languages
 % Tarski
 % Tarski-hierarchy
 % task-allocation
	%= multiagent-cooperation
 % tax-law
 % taxonomic-reasoning
 % taxonomies
	%= concept-hierarchies
 % teleology
	%Including teleological-explanation
 % temporal-adverbials
	%= temporal-adverbs % E.g. `until', `after', `before'
 % temporal-discourse
 % temporal-direction
	%time's arrow, time's-arrow, including phys possibility of time travel
 % temporal-logic
	%= tense-logic
 % temporal-parts
 % temporal-ontology
 % temporal-prepositions
 % temporal-reasoning
 % temporal-reference
 % temporal-representation
	% I.e., in KR and cogsci.  Cf. temporal-ontology.
 % tense-aspect
 % term-logic
 % term-weighting
	% i.e., in information retrieval
 % text-alignment
		% i.e., in multilingual corpora
 % text-chunking
 % text-coherence
 % Text-Encoding-Initiative
	% cf. linguistic-archiving-projects
 % text-genre
 % text-grammar
 % text-integration
        %= Multi-document-integration
        %  Combining information from different texts.        
 % text-linguistics
 % text-planning
 % text-revision   
	%= i.e., in nl-generation
 % information-extraction
	%= i.e., from large corpora: shallow-parsing, text-skimming
 % text-segmentation
 % text-simplification
 % text-summary
	%= automatic-summarization; text-summarization;
 % text-understanding
	%= text-interpretation
 % textual-databases
 % texture
	% I.e., in computer vision
 % time-sharing
 % time-travel
 % thematic-roles
	%= theta-roles, thematic-structure
 % theme/rheme
 % theorem-proving
 % theorem-proving-tactics
 % theoretical-cs-general
 % theoretical-cs-intro
 % theory-of-computation
 % theories-of-information
 % theory-of-organizations
 % theory-of-programming-languages
 % theory-reduction
	%= I.e. reduction of one theory (e.g. chemistry) to another
	% (e.g. physics)
 % theory-theory-of-folk-psychology
 % thermodynamics
 % thesaurus-construction
 % three-D-imaging
 % three-D-reasoning
 % three-D-reconstruction
	%= 3d-reconstruction
	% Especially, but not only, from 2D images
 % tmix-project
	%= Revise Handbook Chapter  (Private category, RHT)
 % topic-extraction
	%= From large corpora.
 % topological-logics
 % topological-maps
 % topology
 % toxin-puzzle
	%See Kavka, Analysis 43 (1983) 33--36.
 % traces
	% I.e., in syntax
 % tractable-logics
 % transcription-methodology
	%= transcription-methods
 % transduction
 % transformational-grammar
 % transitivity-alternations
 % transliteration
 % treebank-annotation
 % tree-automata
 % tree-clustering-algorithms
 % trigger-pair-predictors
	% e.g. in speech recognition
 % truth
 % truthlikeness
	%= verisimilitude
 % truth-definitions
 % truth-functionality
 % truth-maintenance
	%= TMS;ATMS;reason-maintenance
 % truth-value-gaps
	%= bivalence, excluded-middle, cf. partial-logic
 % Turing
 % Turing-machines
 % Turing-test
 % Turkish-language
 % turn-taking
 % Tupi-Guarani-languages
 % twin-earth
 % two-envelope-paradox
	% 1 envelope has twice as much money.  Decision theory seems
	% to recommend switching.
 % two-level-morphology
 % two-level-phonology
 % type-free-theories
 % type-spaces
	%= possible worlds in game theory, see harsanyi:1968a
 % type-theory
 % type-token
 % typed-feature-structures
 % typed-feature-structure-logic
 % typology
 % unaccusatives
 % unarticulated-constituents
 % unaxiomatizability-theorems
 % unbounded-dependency
 % uncertain-probabilities
	%= probability-intervals
 % uncertainty-analysis
 % expressions-of-uncertainty
 % ultrafilter-logic
 % uncertainty-in-AI
 % uncertainty-logics
 % (un)decidability
 % underspecification-theory
 % (un)groundedness
 % unification-in-theories
       % i.e., unification as a virtue of theories, in phil of sci
 % unification-of-FSs
       % i.e., feature-structure-unification, including unification
       % of terms in theorem-proving
 % unification-grammars
 % uniqueness
 % universal-grammar
 % university-instruction
	% college-instruction, university-teaching, etc.
 % UNIX
 % unreliable-information-sources
 % unrestrictive-quantification
 % unselective-binding
 % untyped-lambda-calculus
 % update-conditionals
 % urban-legends
 % urn-models
 % use-based-meaning
 % user-modeling
 % user-modeling-in-generation
 % user-requirements
 % utilitarianism
 % utility
 % utlity-based-search
 % utility-of-learned-information
 % utility-function-learning
       %= utility-function-recognition, utility-elicitation
 % utility-semantics
 % Uto-Aztecan-language
 % vagueness
 % validity
	% Ie, of arguments
 % variable-binding
 % variable-free-semantics
 % variable-polyadicity
	% Kenny's term for the fact that NL preds with same verb
	% can vary in no. of arg. positions.
 % vector-space-model
	% a model of text content
 % verbs
 % verb-classes
 % verbs-of-change
 % verb-particle-combinations
 % verb-phrase-anaphora
	% Including verb-phrase-ellipsis
 % verb-semantics
 % verificationalism
 % version-spaces
 % vicious-circle-principle
 % virtual-reality
 % vision
 % visual-attention
 % visual-reasoning
	%= reasoning-with-visual-resources, diagrammatic-reasoning
 % visual-similarity
 % visual-surveillance
 % visualization
 % vivid-reasoning
 % volition
 % voting-procedures
	%= voting-theory, voting-protocols
 % VP-ellipsis
 % VP-pro-forms
 % Wakashan-language
 % Walbiri-language
 % `we'
 % web-assistants
 % weighted-finite-state-automata
 % welfare-economics
 % well-founded-semantics
	% of logic programs
 % Welsh-language
 % when-questions
 % why-questions
 % will-to-believe
 % wishful-thinking
 % Wittgenstein
 % word-acquisition
	%= lexical-acquisition, word-learning, lexical-learning,
	%= terminology-acquistion, terminology-extraction
 % word-alignment
 	% i.e., find corresponding words in parallel texts
 % word-classification
	%= automatic classification of words, terminology, typically
	%= by applying machine learning techniques to corpora
	%= word-categorization
 % word-coocurrence-vectors
 % word-frequencies
 % word-hypotheses
	% ie, in speech recognition
 % word-learning
 % word-order
 % WordNet
 % word-problems
	%= Thue-systems
 % word-segmentation
 % word-sense
 % word-sequence-probabilities
	%= word-prediction, language-modeling, word-coocurrence
 % world-building
 % world-entropy
 % world-knowledge
	% Esp. in commonsense reasoning and semantic processing
 % writing
	% as a cognitive skill
 % writing-systems
 % X-bar-theory
 % XML
 % Yale-shooting-problem
 % Yiddish-language
 % Zeno
	% Of Elea.
 % zero-pronouns
      %= empty-pronouns, null-pronouns
 % Zipf's-law
 %
 %%%%% End List of Topic Keywords