acceptor; a-consciousness; adjectival numerals; AI; aka; AL; alife; A-Life; Analytical Machine; annealing; APF; apodosis; arg; argumentum ad populum; automata; automata theory; basis; binaries; black-box testing; bounded minimization; Cantorian set theory; cardinality of an interpretation; coherence theory of truth; cellular automata; chip; computable; computational model; computer dictionary; computer language; computer program; computing; computing dictionary; conceptual role semantics; concurrency; conjunction; consciousness access; consequence; consistently complete; contraction; countably many; CRS; data abstraction; data modelling; data type; data warehousing; decidable; disjunct; distributed systems; DNF; dynamicism; dynamic systems theory; effective computation; effective enumeration; environment; Epimenides paradox; ER; Euclidean Algorithm; eudaimonistic; exclusive disjunction; existential instantiation; existential quantifier; experientialism; ; FAQ; FAQL; fault tolerant; Finite Automata; Finite Automaton; finite differencing; Finite State Automata; Finite State Automaton; first-order; first-order predicate logic; flourishing; formal system of arithmetic; formation rules; FOT; four colour theorem; fragile; fuzzy computing; Game of Life; genetic algorithms; globalisation; GOFAI; Good Old-Fashioned Artificial Intelligence; Hamiltonian cycle; Hamiltonian path; Hamiltonian tour; Hamilton's problem; heterological paradox; higher-order logic; higher-order predicate logic; homogenous; Hopfield model; human rights; hypermedia; ICT; imperativism; implicans; implicate; inclusive disjunction; inclusive predicate logic; inclusive quantification theory; induction hypothesis; induction step; inductive inference; inference to the best explanation; infimum; infix syntax; instantiate; integers; intentional phenomena; intentional phenomenon; intentional state; intentional states; irrefutable; isochronous transfer; know how; KQML; KR; linear transformation; logical axiom; logical implication; LTM; mapping; modelling; monadic predicate logic; moral rights; mother; multithreaded; mutual recursion; natural rights; negative rights; neural nets; neural network; neuron; n-formula; non-algorithmic procedure; non-deterministic; non parity; non-volatile; non-volatile memory; normalised; noun numeral; NP time; n-valued logics; n-wff; object-orientation; object-oriented language; paradoxes of material implication; parallel computer; parallel computing; parallel distributed process; param; parameter; parametric polymorphism; parsing; PDP; persistent; phenomena; phenomenal; phenomenological; picture; piracy; pirate; PNF; polyadic predicate logic; polymorphic; portable; poset; positive rights; postfix syntax; predecessor; predicate logic with identity; prefix syntax; principle of the compositionality of representations; probabilistic automaton; procedure; product; product of sets; program; proper axiom; proper subset; protasis; public domain software; public-key cryptography; pure predicate calculus; quantum computing; Queens Puzzle; raw data; recursive; recursive definition; re-engineering; reusability; Reverse Polish Notation; ring topology; routine; Scholastic logic; semantic; Sheffer stroke; singleton; Software Method; software piracy; software pirate; source; state diagram; state machine; STM; stochastic; substantialism; sum of sets; superclass; supremum; surjective; syntactic; theory of definite descriptions; traditional logic; transformation rules; unbounded minimization; uncountable; universal instantiation; universal quantifier; voice recognition; well-formed formula; Zen;