ABAP (Advanced Business Application Programming, originally Allgemeiner Berichts-Aufbereitungs-Prozessor, German for "general report creation processor") is a high-level programming language created by the German software company SAP SE.
Ada is a structured, statically typed, imperative, and object-oriented high-level computer programming language, extended from Pascal and other languages.
In linguistics, a grammatical agent is the thematic relation of the cause or initiator to an event.
Alfred Tarski (January 14, 1901 – October 26, 1983), born Alfred Teitelbaum,School of Mathematics and Statistics, University of St Andrews,, School of Mathematics and Statistics, University of St Andrews.
ALGOL (short for "Algorithmic Language") is a family of imperative computer programming languages, originally developed in the mid-1950s, which greatly influenced many other languages and was the standard method for algorithm description used by the ACM in textbooks and academic sources for more than thirty years.
ALGOL 68 (short for Algorithmic Language 1968) is an imperative computer programming language that was conceived as a successor to the ALGOL 60 programming language, designed with the goal of a much wider scope of application and more rigorously defined syntax and semantics.
Analytic philosophy (sometimes analytical philosophy) is a style of philosophy that became dominant in the Western world at the beginning of the 20th century.
In linguistics, anaphora is the use of an expression whose interpretation depends upon another expression in context (its antecedent or postcedent).
The Ancient Greek language includes the forms of Greek used in ancient Greece and the ancient world from around the 9th century BC to the 6th century AD.
The concept of an archetype appears in areas relating to behavior, modern psychological theory, and literary analysis.
Artificial neural networks (ANNs) or connectionist systems are computing systems vaguely inspired by the biological neural networks that constitute animal brains.
Asemic writing is a wordless open semantic form of writing.
An assembly (or assembler) language, often abbreviated asm, is a low-level programming language, in which there is a very strong (but often not one-to-one) correspondence between the assembly program statements and the architecture's machine code instructions.
Axiomatic semantics is an approach based on mathematical logic for proving the correctness of computer programs.
BASIC (an acronym for Beginner's All-purpose Symbolic Instruction Code) is a family of general-purpose, high-level programming languages whose design philosophy emphasizes ease of use.
A batch file is a kind of script file in DOS, OS/2 and Microsoft Windows.
BCPL ("Basic Combined Programming Language"; or 'Before C Programming Language' (a common humorous backronym)) is a procedural, imperative, and structured computer programming language.
Bertrand Arthur William Russell, 3rd Earl Russell, (18 May 1872 – 2 February 1970) was a British philosopher, logician, mathematician, historian, writer, social critic, political activist, and Nobel laureate.
C (as in the letter ''c'') is a general-purpose, imperative computer programming language, supporting structured programming, lexical variable scope and recursion, while a static type system prevents many unintended operations.
C# (/si: ʃɑːrp/) is a multi-paradigm programming language encompassing strong typing, imperative, declarative, functional, generic, object-oriented (class-based), and component-oriented programming disciplines.
C++ ("see plus plus") is a general-purpose programming language.
Caché ObjectScript is a part of the Caché database system sold by InterSystems.
Carl Gustav Jung (26 July 1875 – 6 June 1961) was a Swiss psychiatrist and psychoanalyst who founded analytical psychology.
Charles Egerton Osgood (November 20, 1916 – September 15, 1991) was an American psychologist who developed a technique for measuring the connotative meaning of concepts, known as the semantic differential.
COBOL (an acronym for "common business-oriented language") is a compiled English-like computer programming language designed for business use.
Cognitive linguistics (CL) is an interdisciplinary branch of linguistics, combining knowledge and research from both psychology and linguistics.
Cognitive semantics is part of the cognitive linguistics movement.
Colorless green ideas sleep furiously is a sentence composed by Noam Chomsky in his 1957 book Syntactic Structures as an example of a sentence that is grammatically correct, but semantically nonsensical.
Common Lisp (CL) is a dialect of the Lisp programming language, published in ANSI standard document ANSI INCITS 226-1994 (R2004) (formerly X3.226-1994 (R1999)).
Communication (from Latin commūnicāre, meaning "to share") is the act of conveying intended meanings from one entity or group to another through the use of mutually understood signs and semiotic rules.
A community is a small or large social unit (a group of living things) that has something in common, such as norms, religion, values, or identity.
In linguistics, a compound is a lexeme (less precisely, a word) that consists of more than one stem.
Computational semantics is the study of how to automate the process of constructing and reasoning with meaning representations of natural language expressions.
Computer science deals with the theoretical foundations of information and computation, together with practical techniques for the implementation and application of these foundations.
A connotation is a commonly understood cultural or emotional association that some word or phrase carries, in addition to its explicit or literal meaning, which is its denotation.
Denotation is a translation of a sign to its meaning, precisely to its literal meaning, more or less like dictionaries try to define it.
In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach of formalizing the meanings of programming languages by constructing mathematical objects (called denotations) that describe the meanings of expressions from the languages.
Description logics (DL) are a family of formal knowledge representation languages.
In mathematics, and more specifically in graph theory, a directed graph (or digraph) is a graph that is a set of vertices connected by edges, where the edges have a direction associated with them.
Discourse (from Latin discursus, "running to and from") denotes written and spoken communications.
Discourse analysis (DA), or discourse studies, is a general term for a number of approaches to analyze written, vocal, or sign language use, or any significant semiotic event.
In formal linguistics, discourse representation theory (DRT) is a framework for exploring meaning under a formal semantics approach.
Donald Herbert Davidson (March 6, 1917 – August 30, 2003) was an American philosopher.
Dylan is a multi-paradigm programming language that includes support for functional and object-oriented programming, and is dynamic and reflective while providing a programming model designed to support efficient machine code generation, including fine-grained control over dynamic and static behaviors.
Eiffel is an object-oriented programming language designed by Bertrand Meyer (an object-orientation proponent and author of Object-Oriented Software Construction) and Eiffel Software.
Eleanor Rosch (once known as Eleanor Rosch Heider; born 1938) is a professor of psychology at the University of California, Berkeley, specializing in cognitive psychology and primarily known for her work on categorization, in particular her prototype theory, which has profoundly influenced the field of cognitive psychology.
Embodied cognition is the theory that many features of cognition, whether human or otherwise, are shaped by aspects of the entire body of the organism.
Episodic memory is the memory of autobiographical events (times, places, associated emotions, and other contextual who, what, when, where, why knowledge) that can be explicitly stated or conjured.
The claim that Eskimo languages (specifically, Yupik and Inuit) have an unusually large number of words for "snow", first loosely attributed to the work of anthropologist Franz Boas, has become a cliché often used to support the controversial linguistic-relativity hypothesis: the idea that a language's structure (sound, grammar, vocabulary, etc.) shapes its speakers' view of the world.
EtymologyThe New Oxford Dictionary of English (1998) – p. 633 "Etymology /ˌɛtɪˈmɒlədʒi/ the study of the class in words and the way their meanings have changed throughout time".
Ferdinand de Saussure (26 November 1857 – 22 February 1913) was a Swiss linguist and semiotician.
First-order logic—also known as first-order predicate calculus and predicate logic—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science.
In linguistics, formal semantics seeks to understand linguistic meaning by constructing precise mathematical models of the principles that speakers use to define relations between expressions in a natural language and the world that supports meaningful discourse.
Forth is an imperative stack-based computer programming language and environment originally designed by Charles "Chuck" Moore.
Fortran (formerly FORTRAN, derived from Formula Translation) is a general-purpose, compiled imperative programming language that is especially suited to numeric computation and scientific computing.
Friedrich Wilhelm Nietzsche (15 October 1844 – 25 August 1900) was a German philosopher, cultural critic, composer, poet, philologist and a Latin and Greek scholar whose work has exerted a profound influence on Western philosophy and modern intellectual history.
Game semantics (dialogische Logik, translated as dialogical logic) is an approach to formal semantics that grounds the concepts of truth or validity on game-theoretic concepts, such as the existence of a winning strategy for a player, somewhat resembling Socratic dialogues or medieval theory of Obligationes.
Gödel's incompleteness theorems are two theorems of mathematical logic that demonstrate the inherent limitations of every formal axiomatic system containing basic arithmetic.
General semantics is a self improvement and therapy program begun in the 1920s that seeks to regulate human mental habits and behaviors.
Generative Lexicon (GL) is a theory of linguistic semantics which focuses on the distributed nature of compositionality in natural language.
Generative semantics is the name of a research program within linguistics, initiated by the work of various early students of Noam Chomsky: John R. Ross, Paul Postal, and later James McCawley.
Friedrich Ludwig Gottlob Frege (8 November 1848 – 26 July 1925) was a German philosopher, logician, and mathematician.
In computing, a graph database (GDB) is a database that uses graph structures for semantic queries with nodes, edges and properties to represent and store data.
Hermeneutics is the theory and methodology of interpretation, especially the interpretation of biblical texts, wisdom literature, and philosophical texts.
Holonymy (in Greek ὅλον holon, "whole" and ὄνομα onoma, "name") is a semantic relation.
In linguistics, homonyms, broadly defined, are words which sound alike or are spelled alike, but have different meanings.
In linguistics, a hyponym (from Greek hupó, "under" and ónoma, "name") is a word or phrase whose semantic field is included within that of another word, its hyperonym or hypernym (from Greek hupér, "over" and ónoma, "name").
Ideasthesia (alternative spelling ideaesthesia) is defined as a phenomenon in which activations of concepts (inducers) evoke perception-like experiences (concurrents).
In semiotics, linguistics, anthropology and philosophy of language, indexicality is the phenomenon of a sign pointing to (or indexing) some object in the context in which it occurs.
The 8086 (also called iAPX 86) is a 16-bit microprocessor chip designed by Intel between early 1976 and mid-1978, when it was released.
The International Encyclopedia of Unified Science (IEUS) was a series of publications devoted to unified science.
International scientific vocabulary (ISV) comprises scientific and specialized words whose language of origin may or may not be certain, but which are in current use in several modern languages (that is, translingually).
Jacques Derrida (born Jackie Élie Derrida;. See also. July 15, 1930 – October 9, 2004) was a French Algerian-born philosopher best known for developing a form of semiotic analysis known as deconstruction, which he discussed in numerous texts, and developed in the context of phenomenology.
James Pustejovsky (born 1956) is the TJX Feldberg professor of computer science at Brandeis University in Waltham, Massachusetts, United States.
Java is a general-purpose computer-programming language that is concurrent, class-based, object-oriented, and specifically designed to have as few implementation dependencies as possible.
Jerry Alan Fodor (April 22, 1935 – November 29, 2017) was an American philosopher and cognitive scientist.
John Wiley & Sons, Inc., also referred to as Wiley, is a global publishing company that specializes in academic publishing.
Knowledge representation and reasoning (KR, KR², KR&R) is the field of artificial intelligence (AI) dedicated to representing information about the world in a form that a computer system can utilize to solve complex tasks such as diagnosing a medical condition or having a dialog in a natural language.
Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution.
Language is a system that consists of the development, acquisition, maintenance and use of complex systems of communication, particularly the human ability to do so; and a language is any specific example of such a system.
The language of thought hypothesis (LOTH), sometimes known as thought ordered mental expression (TOME), is a view in linguistics, philosophy of mind and cognitive science, forwarded by American philosopher Jerry Fodor.
Latent semantic analysis (LSA) is a technique in natural language processing, in particular distributional semantics, of analyzing relationships between a set of documents and the terms they contain by producing a set of concepts related to the documents and terms.
Learning theories are conceptual frameworks that describe how students absorb, process, and retain knowledge during learning.
In lexicography, a lexical item (or lexical unit/ LU, lexical entry) is a single word, a part of a word, or a chain of words (.
Lexicology is the part of linguistics that studies words.
The hypothesis of linguistic relativity holds that the structure of a language affects its speakers' world view or cognition.
Linguistics is the scientific study of language, and involves an analysis of language form, language meaning, and language in context.
A link relation is a descriptive attribute attached to a hyperlink in order to define the type of the link, or the relationship between the source and destination resources.
In computing, linked data (often capitalized as Linked Data) is a method of publishing structured data so that it can be interlinked and become more useful through semantic queries.
Logical consequence (also entailment) is a fundamental concept in logic, which describes the relationship between statements that hold true when one statement logically follows from one or more statements.
Lua (from meaning moon) is a lightweight, multi-paradigm programming language designed primarily for embedded use in applications.
Ludwig Josef Johann Wittgenstein (26 April 1889 – 29 April 1951) was an Austrian-British philosopher who worked primarily in logic, the philosophy of mathematics, the philosophy of mind, and the philosophy of language.
Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics.
MATLAB (matrix laboratory) is a multi-paradigm numerical computing environment and proprietary programming language developed by MathWorks.
Mimansa (purv mi mansa) is a Sanskrit word that means "reflection" or "critical investigation".
In linguistics, meaning is the information or concepts that a sender intends to convey, or does convey, in communication with a receiver.
Mental rotation is the ability to rotate mental representations of two-dimensional and three-dimensional objects as it is related to the visual representation of such rotation within the human mind.
Meronymy (from Greek μέρος meros, "part" and ὄνομα onoma, "name") is a semantic relation specific to linguistics, distinct from the similar meronomy.
Metadata is "data that provides information about other data".
A metaphor is a figure of speech that directly refers to one thing by mentioning another for rhetorical effect.
Metonymy is a figure of speech in which a thing or concept is referred to by the name of something closely associated with that thing or concept.
Michel Jules Alfred Bréal (26 March 183225 November 1915), French philologist, was born at Landau in Rhenish Bavaria.
Microdata is a WHATWG HTML specification used to nest metadata within existing content on web pages.
The MIT Press is a university press affiliated with the Massachusetts Institute of Technology (MIT) in Cambridge, Massachusetts (United States).
In mathematics, model theory is the study of classes of mathematical structures (e.g. groups, fields, graphs, universes of set theory) from the perspective of mathematical logic.
Modula-2 is a computer programming language designed and developed between 1977 and 1985 by Niklaus Wirth at the Swiss Federal Institute of Technology in Zurich (ETH Zurich) as a revision of Pascal to serve as the sole programming language for the operating system and application software for the personal workstation Lilith.
Montague grammar is an approach to natural language semantics, named after American logician Richard Montague.
Named graphs are a key concept of Semantic Web architecture in which a set of Resource Description Framework statements (a graph) are identified using a URI, allowing descriptions to be made of that set of statements such as context, provenance information or other such metadata.
Natural language processing (NLP) is an area of computer science and artificial intelligence concerned with the interactions between computers and human (natural) languages, in particular how to program computers to process and analyze large amounts of natural language data.
The Natural semantic metalanguage (NSM) is a linguistic theory based on the conception of Polish professor Andrzej Bogusławski.
Avram Noam Chomsky (born December 7, 1928) is an American linguist, philosopher, cognitive scientist, historian, social critic and political activist.
(Sanskrit: न्याय, ny-āyá), literally means "rules", "method" or "judgment".
Oberon is a general-purpose programming language created in 1986 by Niklaus Wirth and the latest member of the Wirthian family of ALGOL-like languages (Euler, Algol-W, Pascal, Modula, and Modula-2).
Object Pascal refers to a branch of object-oriented derivatives of Pascal, mostly known as the primary programming language of Delphi.
OCaml, originally named Objective Caml, is the main implementation of the programming language Caml, created by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy, Ascánder Suárez and others in 1996.
Onomasiology (from ὀνομάζω (onomāzο)—to name, which in turn is from ὄνομα—name) is a branch of linguistics concerned with the question "how do you express X?" It is in fact most commonly understood as a branch of lexicology, the study of words (although some apply the term also to grammar and conversation).
Ontology (introduced in 1606) is the philosophical study of the nature of being, becoming, existence, or reality, as well as the basic categories of being and their relations.
Operational semantics is a category of formal programming language semantics in which certain desired properties of a program, such as correctness, safety or security, are verified by constructing proofs from logical statements about its execution and procedures, rather than by attaching mathematical meanings to its terms (denotational semantics).
In lexical semantics, opposites are words lying in an inherently incompatible binary relationship, like the opposite pairs big: small, long: short, and precede: follow.
Palgrave Macmillan is an international academic and trade publishing company.
Parsing, syntax analysis or syntactic analysis is the process of analysing a string of symbols, either in natural language, computer languages or data structures, conforming to the rules of a formal grammar.
Pascal is an imperative and procedural programming language, which Niklaus Wirth designed in 1968–69 and published in 1970, as a small, efficient language intended to encourage good programming practices using structured programming and data structuring. It is named in honor of the French mathematician, philosopher and physicist Blaise Pascal. Pascal was developed on the pattern of the ALGOL 60 language. Wirth had already developed several improvements to this language as part of the ALGOL X proposals, but these were not accepted and Pascal was developed separately and released in 1970. A derivative known as Object Pascal designed for object-oriented programming was developed in 1985; this was used by Apple Computer and Borland in the late 1980s and later developed into Delphi on the Microsoft Windows platform. Extensions to the Pascal concepts led to the Pascal-like languages Modula-2 and Oberon.
Perl is a family of two high-level, general-purpose, interpreted, dynamic programming languages, Perl 5 and Perl 6.
Philology is the study of language in oral and written historical sources; it is a combination of literary criticism, history, and linguistics.
Philosophy (from Greek φιλοσοφία, philosophia, literally "love of wisdom") is the study of general and fundamental problems concerning matters such as existence, knowledge, values, reason, mind, and language.
Philosophy of language explores the relationship between language and reality.
Phono-semantic matching (PSM) is the incorporation of a word into one language from another, often creating a neologism), where the word's non-native quality is hidden by replacing it with phonetically and semantically similar words or roots from the adopting language. Thus, the approximate sound and meaning of the original expression in the source language are preserved, though the new expression (the PSM) in the target language may sound native. Phono-semantic matching is distinct from calquing, which includes (semantic) translation but does not include phonetic matching (i.e. retaining the approximate sound of the borrowed word through matching it with a similar-sounding pre-existent word or morpheme in the target language). At the same time, phono-semantic matching is also distinct from homophonic translation, which retains the sound of a word but not the meaning.
PHP: Hypertext Preprocessor (or simply PHP) is a server-side scripting language designed for Web development, but also used as a general-purpose programming language.
In everyday speech, a phrase may be any group of words, often carrying a special idiomatic meaning; in this sense it is roughly synonymous with expression.
Post-structuralism is associated with the works of a series of mid-20th-century French, continental philosophers and critical theorists who came to be known internationally in the 1960s and 1970s.
PostScript (PS) is a page description language in the electronic publishing and desktop publishing business.
The pragmatic maxim, also known as the maxim of pragmatism or the maxim of pragmaticism, is a maxim of logic formulated by Charles Sanders Peirce.
Pragmaticism is a term used by Charles Sanders Peirce for his pragmatic philosophy starting in 1905, in order to distance himself and it from pragmatism, the original name, which had been used in a manner he did not approve of in the "literary journals".
Pragmatics is a subfield of linguistics and semiotics that studies the ways in which context contributes to meaning.
Pragmatism is a philosophical tradition that began in the United States around 1870.
In metaphysics, the problem of universals refers to the question of whether properties exist, and if so, what they are.
A programming language is a formal language that specifies a set of instructions that can be used to produce various kinds of output.
Proof-theoretic semantics is an approach to the semantics of logic that attempts to locate the meaning of propositions and logical connectives not in terms of interpretations, as in Tarskian approaches to semantics, but in the role that the proposition or logical connective plays within the system of inference.
The term proposition has a broad use in contemporary analytic philosophy.
Prototype theory is a mode of graded categorization in cognitive science, where some members of a category are more central than others.
Proxemics is the study of human use of space and the effects that population density has on behaviour, communication, and social interaction.
In the field of psychology, nativism is the view that certain skills or abilities are "native" or hard-wired into the brain at birth.
Psychology is the science of behavior and mind, including conscious and unconscious phenomena, as well as feeling and thought.
Python is an interpreted high-level programming language for general-purpose programming.
In philosophy and certain models of psychology, qualia (or; singular form: quale) are defined to be individual instances of subjective, conscious experience.
RDFa (or Resource Description Framework in Attributes) is a W3C Recommendation that adds a set of attribute-level extensions to HTML, XHTML and various XML-based document types for embedding rich metadata within Web documents.
Reference is a relation between objects in which one object designates, or acts as a means by which to connect to or link to, another object.
The Resource Description Framework (RDF) is a family of World Wide Web Consortium (W3C) specifications originally designed as a metadata data model.
Richard Merritt Montague (September 20, 1930 – March 7, 1971) was an American mathematician and philosopher.
Ruby is a dynamic, interpreted, reflective, object-oriented, general-purpose programming language.
In machine learning, semantic analysis of a corpus is the task of building structures that approximate concepts from a large set of documents.
Semantic change (also semantic shift, semantic progression, semantic development, or semantic drift) is the evolution of word usage—usually to the point that the modern meaning is radically different from the original usage.
A semantic class contains words that share a semantic feature.
In natural language processing, semantic compression is a process of compacting a lexicon used to build a textual document (or a set of documents) by reducing language heterogeneity, while maintaining text semantics.
A semantic data model in software engineering has various meanings.
Semantic Differential (SD) is a type of a rating scale designed to measure the connotative meaning of objects, events, and concepts.
Semantic features represent the basic conceptual components of meaning for any lexical item.
In linguistics, a semantic field is a set of words grouped semantically (by meaning) that refers to a specific subject.
Semantic HTML is the use of HTML markup to reinforce the semantics, or meaning, of the information in webpages and web applications rather than merely to define its presentation or look.
Semantic integration is the process of interrelating information from diverse sources, for example calendars and to do lists, email archives, presence information (physical, psychological, and social), documents of all sorts, contacts (including social graphs), search results, and advertising and marketing relevance derived from them.
Semantic interpretation is an important component in dialog systems.
A semantic lexicon is a digital dictionary of words labeled with semantic classes so associations can be drawn between words that have not previously been encountered.
Semantic memory is one of the two types of declarative or explicit memory (our memory of facts or events that is explicitly stored and retrieved).
A semantic network, or frame network is a knowledge base that represents semantic relations between concepts in a network.
Semantic primes or semantic primitives are a set of semantic concepts that are innately understood but cannot be expressed in simpler terms.
Semantic properties or meaning properties are those aspects of a linguistic unit, such as a morpheme, word, or sentence, that contribute to the meaning of that unit.
A semantic reasoner, reasoning engine, rules engine, or simply a reasoner, is a piece of software able to infer logical consequences from a set of asserted facts or axioms.
A Semantic Service Oriented Architecture (SSOA) is an architecture that allows for scalable and controlled Enterprise Application Integration solutions.
The semantic spectrum (sometimes referred to as the ontology spectrum or the smart data continuum or semantic precision) is a series of increasingly precise or rather semantically expressive definitions for data elements in knowledge representations, especially for machine use.
A semantic theory of truth is a theory of truth in the philosophy of language which holds that truth is a property of sentences.
A semantic triple, or simply triple, is the atomic data entity in the Resource Description Framework (RDF) data model.
Semantic unification, in philosophy, linguistics, and computer science, is the process of unifying lexically different concept representations that are judged to have the same semantic content (i.e., meaning).
The Semantic Web is an extension of the World Wide Web through standards by the World Wide Web Consortium (W3C).
In programming language theory, semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages.
In logic, the semantics of logic is the study of the semantics, or interpretations, of formal and (idealizations of) natural languages usually trying to capture the pre-theoretic notion of entailment.
Semasiology (from σημασία,, "signification") is a discipline of linguistics concerned with the question "what does the word X mean?".
A sememe is a semantic language unit of meaning, analogous to a morpheme.
Semiosis (from the σημείωσις, sēmeíōsis, a derivation of the verb σημειῶ, sēmeiô, "to mark") is any form of activity, conduct, or process that involves signs, including the production of meaning.
Semiotics (also called semiotic studies) is the study of meaning-making, the study of sign process (semiosis) and meaningful communication.
SETL (SET Language) is a very high-level programming language based on the mathematical theory of sets.
A sign is an object, quality, event, or entity whose presence or occurrence indicates the probable presence or occurrence of something else.
In semiotics, a sign is anything that communicates a meaning that is not the sign itself to the interpreter of the sign.
Simula is the name of two simulation programming languages, Simula I and Simula 67, developed in the 1960s at the Norwegian Computing Center in Oslo, by Ole-Johan Dahl and Kristen Nygaard.
Situation semantics, pioneered by Jon Barwise and John Perry in the early 1980s, attempts to provide a solid theoretical foundation for reasoning about common-sense and real world situations, typically in the context of theoretical linguistics, philosophy, or applied natural language processing,.
Skeletal animation is a technique in computer animation in which a character (or other articulated object) is represented in two parts: a surface representation used to draw the character (called skin or mesh) and a hierarchical set of interconnected bones (called the skeleton or rig) used to animate (pose and keyframe) the mesh.
Smalltalk is an object-oriented, dynamically typed, reflective programming language.
SPL (Sentence Plan Language) is an abstract notation representing the semantics of a sentence in natural language.
Standard ML (SML; "Standard Meta Language") is a general-purpose, modular, functional programming language with compile-time type checking and type inference.
In machine learning, support vector machines (SVMs, also support vector networks) are supervised learning models with associated learning algorithms that analyze data used for classification and regression analysis.
A symbol is a mark, sign or word that indicates, signifies, or is understood as representing an idea, object, or relationship.
A synonym is a word or phrase that means exactly or nearly the same as another word or phrase in the same language.
In linguistics, syntax is the set of rules, principles, and processes that govern the structure of sentences in a given language, usually including word order.
In logic, syntax is anything having to do with formal languages or formal systems without regard to any interpretation or meaning given to them.
In linguistics, thematic relations, within certain theories, are the various roles that a noun phrase may play with respect to the action or state described by a governing verb, commonly the sentence's main verb.
In semantics and pragmatics, a truth condition is the condition under which a sentence is true.
In logic and mathematics, a truth value, sometimes called a logical value, is a value indicating the relation of a proposition to truth.
In formal semantics, truth-value semantics is an alternative to Tarskian semantics.
In theoretical linguistics, underspecification is a phenomenon in which certain features are omitted in underlying representations.
The University of Chicago Press is the largest and one of the oldest university presses in the United States.
The University of Minnesota Press is a university press that is part of the University of Minnesota.
VHDL (VHSIC Hardware Description Language) is a hardware description language used in electronic design automation to describe digital and mixed-signal systems such as field-programmable gate arrays and integrated circuits.
Vyākaraṇa (Sanskrit: "explanation, analysis") refers to one of the six ancient Vedangas, ancillary science connected with the Vedas, which are scriptures in Hinduism.
The Web Ontology Language (OWL) is a family of knowledge representation languages for authoring ontologies.
Willard Van Orman Quine (known to intimates as "Van"; June 25, 1908 – December 25, 2000) was an American philosopher and logician in the analytic tradition, recognized as "one of the most influential philosophers of the twentieth century." From 1930 until his death 70 years later, Quine was continually affiliated with Harvard University in one way or another, first as a student, then as a professor of philosophy and a teacher of logic and set theory, and finally as a professor emeritus who published or revised several books in retirement.
In linguistics, a word is the smallest element that can be uttered in isolation with objective or practical meaning.
In linguistics, a word sense is one of the meanings of a word (some words have multiple meanings, some words have only one meaning).
WordNet is a lexical database for the English language.
The World Wide Web (abbreviated WWW or the Web) is an information space where documents and other web resources are identified by Uniform Resource Locators (URLs), interlinked by hypertext links, and accessible via the Internet.
Linguistic semantics, Natural language semantics, Psychological semantics, Psychosemantics, Semantic, Semantically, Semantician, Semanticist, Semantics (linguistics), Sematics, Sepersontics, Theories of semantics.