Search references for COMPUTATIONAL SEMANTICS. Phrases containing COMPUTATIONAL SEMANTICS
See searches and references containing COMPUTATIONAL SEMANTICS!COMPUTATIONAL SEMANTICS
Meaning represented by natural language
Computational semantics is a subfield of computational linguistics. Its goal is to elucidate the cognitive mechanisms supporting the generation and interpretation
Computational_semantics
Use of computational tools for the study of linguistics
Computational linguistics is an interdisciplinary field concerned with the computational modelling of natural language, as well as the study of appropriate
Computational_linguistics
Mathematical study of the meaning of programming languages
language theory, semantics is the rigorous mathematical logic study of the meaning of programming languages. Semantics assigns computational meaning to valid
Semantics (programming languages)
Semantics_(programming_languages)
Study of meaning in language
understand the world. Other branches of semantics include conceptual semantics, computational semantics, and cultural semantics. Theories of meaning are general
Semantics
Category of formal programming language semantics
individual steps of a computation take place in a computer-based system; by opposition natural semantics (or big-step semantics) describe how the overall
Operational_semantics
Subfield of linguistic semantics
Lexical semantics (also known as lexicosemantics), as a subfield of linguistic semantics, is the study of word meanings. It includes the study of how words
Lexical_semantics
Professional organization devoted to linguistics
on a rotating basis Conference on Computational Natural Language Learning (CoNLL) Lexical and Computational Semantics and Semantic Evaluation (SemEval)
Association for Computational Linguistics
Association_for_Computational_Linguistics
Approach to formal semantics
theory, and the study of computational complexity. In the late 1950s Paul Lorenzen was the first to introduce a game semantics for logic, and it was further
Game_semantics
Omission of feature values in linguistic representations
and syncretism (often in analyses of exponent choice), and in computational semantics and natural-language processing for representing ambiguities (especially
Underspecification
Formal study of linguistic meaning
true. Computational semantics is an interdisciplinary field at the intersection of computer science and formal semantics. It studies how computational processes
Formal semantics (natural language)
Formal_semantics_(natural_language)
Field of linguistics
of the stimulus) is unclear. Distributional semantics favor the use of linear algebra as a computational tool and representational framework. The basic
Distributional_semantics
Study of programming languages via mathematical objects
In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach of formalizing the meanings
Denotational_semantics
Interdisciplinary field
intelligence Computational linguistics Computer-human interaction Formal language Information theory Knowledge representation Computational semantics Logic of
Computational_semiotics
Subfield of computational linguistics and natural language processing
organizations). Statistical semantics is a subfield of computational semantics, which is in turn a subfield of computational linguistics and natural language
Statistical_semantics
Computational application of concept approximation
meaning, and computational refers to approaches that in principle support effective implementation in digital computers. Computational semantics Natural language
Semantic analysis (computational)
Semantic_analysis_(computational)
Theoretical framework in linguistics
Minimal recursion semantics (MRS) is a framework for computational semantics. It can be implemented in typed feature structure formalisms such as head-driven
Minimal_recursion_semantics
Subfield of computer science and mathematics
program semantics and verification, algorithmic game theory, machine learning, computational biology, computational economics, computational geometry
Theoretical_computer_science
Logic for proving computer program correctness
Operational semantics — in terms of the state of the computation Formal semantics of programming languages — overview Predicate transformer semantics — describes
Axiomatic_semantics
Processing of natural language by a computer
development of HPSG as a computational operationalization of generative grammar), morphology (e.g., two-level morphology), semantics (e.g., Lesk algorithm)
Natural_language_processing
Principle in linguistics about meaning
In semantics, mathematical logic and related disciplines, the principle of compositionality (also known as semantic compositionalism) is the principle
Principle_of_compositionality
Extension of the Web to facilitate data exchange
file system into a distributed database. AGRIS Business semantics management Computational semantics Calais (Reuters product) DBpedia Entity–attribute–value
Semantic_Web
Ongoing series of evaluations of computational semantic analysis systems
International Conference on Computational Linguistics and *SEM 2014, Second Joint Conference on Lexical and Computational Semantics, Dublin, Ireland. There
SemEval
Study of writing style
System". Proceedings of the Ninth Joint Conference on Lexical and Computational Semantics. pp. 179–189. Samuels, M. L. (1972). Linguistic Evolution: With
Stylometry
intentions (semantics) of users and expressing them in a machine-processable format Understanding the meanings (semantics) of computational content (of
Semantic_computing
Mathematical theory of data types
It has been used in natural language processing, principally computational semantics and dialogue systems. Gregory Bateson introduced a theory of logical
Type_theory
diagrams can also be combined with flow charts to provide a set of computational semantics for describing complex control logic. This mix of state diagrams
Control_logic
Natural language processing task
Meeting of the Association for Computational Linguistics: Tutorial Abstracts, July 2018. Woods, William A. (1979). Semantics for a question-answering system
Semantic_parsing
Scientific study of language
linguistics and theoretical linguistics. Computational linguistics is an interdisciplinary field concerned with the computational modelling of natural language,
Linguistics
Linguistic terminology
Theories in semantics Modern theories of semantics include formal semantics, lexical semantics, and computational semantics. Formal semantics focuses on
Argument_(linguistics)
Subtopic of natural language processing in artificial intelligence
of context, each with specific strengths and weaknesses. Computational semantics Computational linguistics Discourse representation theory Deep linguistic
Natural language understanding
Natural_language_understanding
Language for controlling a computer
which may contain general computations, C macros are merely string replacements and do not require code execution. Semantics refers to the meaning of content
Programming_language
Smallest unit of meaning
Functional Approach to Semantic Heterogeneity Ontological Semantics and the Study of Meaning in Linguistics, Philosophy and Computational Linguistics v t e
Seme_(semantics)
Linguistic discipline studying words
Israeli linguist and language revivalist Calque Computational lexicology Lexicostatistics Lexical semantics Lexical analysis English lexicology and lexicography
Lexicology
Approach to natural language semantics
221–242. (reprinted in Thomason, 1974) J. van Eijck and C. Unger. Computational Semantics with Functional Programming. Cambridge University Press, 2010.
Montague_grammar
Type of formal logic
read as "necessarily P {\displaystyle P} ". In the standard relational semantics for modal logic, formulas are assigned truth values relative to a possible
Modal_logic
Concept in situation theory
Situation semantics is a framework in formal semantics and situation theory in which the meanings of linguistic expressions are evaluated with respect
Situation_semantics
Identification of which sense of a word is being used
distinct computational task during the early days of machine translation in the 1940s, making it one of the oldest problems in computational linguistics
Word-sense_disambiguation
uncertainty. Salvatore F. Pileggi, Probabilistic Semantics, International Conference on Computational Science (ICCS 2016), Procedia Computer Science, Volume
Probabilistic_semantics
Study of the semantics, or interpretations, of formal and natural languages
In logic, the semantics or formal semantics is the study of the meaning and interpretation of formal languages, formal systems, and (idealizations of)
Semantics_(logic)
Logic with discrete truth values
logic when it is applied to propositions) if and only if it has a computational semantics. Aristotle's collected works regarding logic, known as the Organon
Finite-valued_logic
424–468. doi:10.1017/S0960129521000347. Angiuli, Carlo (2019). Computational semantics of Cartesian cubical type theory (PDF) (Thesis). "Cubical". Agda
Cubical_type_theory
Sentence that resists simple formalization
In semantics, a donkey sentence is a sentence containing a pronoun which is semantically bound but syntactically free. They are a classic puzzle in formal
Donkey_sentence
Academic subfield of computer science
foundations of these techniques. In addition to the general computational models, some simpler computational models are useful for special, restricted applications
Theory_of_computation
Artificial intelligence project
WordNet". In: Proceedings of the Fifth International Workshop on Computational Semantics. Tilburg, 2003. Fabrizio Morbini and Lenhart Schubert (2009). "Evaluation
Cyc
Digital advocacy non-profit organization
Conference on Lexical and Computational Semantics. Proceedings of the 7th Joint Conference on Lexical and Computational Semantics. pp. 43–53. arXiv:1805
Algorithmic_Justice_League
School of thought on cognition and problem-solving
General semantics is a school of thought that incorporates philosophic and scientific aspects. Although it does not stand on its own as a separate school
General_semantics
properties of word-SDRs that are of particular interest with respect to computational semantics are: high noise resistance: As a result of similar contexts being
Semantic_folding
Branch of linguistics which inquires into the nature of language
core of theoretical linguistics are phonology, morphology, syntax, and semantics. Although phonetics often guides phonology, it is often excluded from
Theoretical_linguistics
Textual anonymisation techniques
System". Proceedings of the Ninth Joint Conference on Lexical and Computational Semantics. pp. 179–189. Shetty, Rakshith; Schiele, Bernt; Fritz, Mario (2018)
Adversarial_stylometry
Management term for an action that needs to take place
indicating the issue has been resolved. Recent research at the Computational Semantics Lab at Stanford University seeks to automatically identify action
Action_item
Semantic Complexity of Schema-Agnostic Queries", In Proceedings of the 11th International Conference on Computational Semantics (IWCS), London, 2015.
Schema-agnostic_databases
Overview of and topical guide to natural language processing
tools of computational linguistics are used extensively in the field of natural-language processing, and vice versa. Computational semantics – Corpus
Outline of natural language processing
Outline_of_natural_language_processing
Asymmetric similarity measure on sets
Semantic Textual Similarity. Second Joint Conference on Lexical and Computational Semantics (*SEM), Volume 1: Proceedings of the Main Conference and the Shared
Tversky_index
It has been used in natural language processing, principally computational semantics and dialogue systems. A record type is a set of fields. A field
Type_theory_with_records
a global state to represent a computational step. Each computational step is from one global state of the computation to the next global state. The global
Unbounded_nondeterminism
Computer scientist
that, using disambiguation algorithms, brings together knowledge from computational resources including WordNet, Wikipedia, Wiktionary and Wikidata, featuring
Roberto_Navigli
Bearer of truth values
associated with propositions, such as the liar paradox. Possible worlds semantics proposes a reductive realism that analyzes propositions as sets of possible
Proposition
Model of concurrent computation
computational step (later generalized in [McCarthy and Hayes 1969] and [Dijkstra 1976] see Event orderings versus global state). Each computational step
Actor_model
Academic journal
conversational implicature (LING7800-007 Computational Pragmatics)". Christopher Potts. Retrieved 2024-08-07. "Semantics and Pragmatics". MIAR: Information
Semantics_and_Pragmatics
Formal system of logic
additional quantifiers and, sometimes, stronger semantics. Higher-order logics with their standard semantics are more expressive, but their model-theoretic
Higher-order_logic
like statements or expressions, have on the semantics of the program as a whole. They model computational behavior by indicating changes in state through
Action_semantics
Computer system simulating intelligence
Recognized journals include Computational Intelligence, International Journal of Computational Intelligence Systems, Applied Computational Intelligence and Soft
Computational_intelligence
molecules and solids. computational complexity theory A subfield of computational science which focuses on classifying computational problems according to
Glossary_of_computer_science
annotation exercise in 2012, which attracted a great deal of interest. Computational semantics Natural language processing SemEval TimeML Boguraev, B. and Ando
Temporal_annotation
Study of computation
graphics and computational geometry address the generation of images. Programming language theory considers different ways to describe computational processes
Computer_science
Theory of categorization in psychology
like linguist Eugenio Coseriu and other proponents of the structural semantics paradigm. In this prototype theory, any given concept in any given language
Prototype_theory
2013). Second Joint Conference on Lexical and Computational Semantics. Vol. 2. Association for Computational Linguistics. pp. 341–350. Xu B, Shi X, Yin Y
Artificial intelligence in healthcare
Artificial_intelligence_in_healthcare
Bulgarian computer scientist
(SemEval-2017). Workshop on Lexical and Computational Semantics and Semantic Evaluation. Association for Computational Linguistics. pp. 502–518. "TANBIH News
Preslav_Nakov
computational linguistics, syntax, semantics Gebauer, Jan (Czech Republic, 1838–1907), Czech language Geeraerts, Dirk (Belgium, 1955–), semantics, lexicography
List_of_linguists
Topic in the field of cognitive linguistics
Cognitive semantics is part of the cognitive linguistics movement. Semantics is the study of linguistic meaning. Cognitive semantics holds that language
Cognitive_semantics
System responsible for combining morphemes into complex structures
William (2007). Computational Approaches to Morphology and Syntax. Oxford: Oxford University Press. ISBN 978-0-19-927477-2. part II: Computational approaches
Syntax
Concept of philosophy and logic used to express modal claims
formal device in logic, philosophy, and linguistics in order to provide a semantics for intensional and modal logic. Their metaphysical status has been a
Possible_world
Mathematical model of computation
finite-state machine has less computational power than some other models of computation such as the Turing machine. The computational power distinction means
Finite-state_machine
XML format for the interchange of high volume event data
standard, its semantics will be well understood and clear at both sites. IEEE 1849 was the second IEEE Standard Sponsored by the IEEE Computational Intelligence
IEEE_1849
Thought experiment on artificial intelligence
computationalism: Mental states are computational states (which is why computers can have mental states and help to explain the mind); Computational states
Chinese_room
Form of logic that allows quantification over predicates
structures is intimately tied to computational complexity theory. The field of descriptive complexity studies which computational complexity classes can be characterized
Second-order_logic
Value indicating the relation of a proposition to truth
algebraic semantics. The algebraic semantics of intuitionistic logic is given in terms of Heyting algebras, compared to Boolean algebra semantics of classical
Truth_value
American computer scientist
expertise includes theoretical and computational modeling of language, specifically: Computational linguistics, Lexical semantics, Knowledge representation, temporal
James_Pustejovsky
Difference between two descriptions of an object by different linguistic representations
and its sound, reproducible and computational representation in a formal language (e.g. programming language). Semantics of an object depends on the context
Semantic_gap
Interaction between syntax and semantics
syntax–semantics interface is the interaction between syntax and semantics. Its study encompasses phenomena that pertain to both syntax and semantics, with
Syntax–semantics_interface
Use of logic to perform or reason about computation
Computational logic is the use of logic to perform or reason about computation. It bears a similar relationship to computer science and engineering as
Computational_logic
Concept in natural language processing
a 128 x 128 grid. This allows for a direct visual comparison of the semantics of two items by comparing image representations of their respective feature
Semantic_similarity
Linguistic school of thought
Structural semantics (also structuralist semantics) is a linguistic school and paradigm that emerged in Europe from the 1930s, inspired by the structuralist
Structural_semantics
Linguistic theory
semantics is a theory of linguistic meaning developed by Charles J. Fillmore that extends his earlier case grammar. It relates linguistic semantics to
Frame_semantics_(linguistics)
Discipline combining linguistics, psychology and cognitive science
from other cognitive faculties. It also objects to truth-conditional semantics's notion that linguistic meaning can be understood in terms of the truth
Cognitive_linguistics
Framework for studying interactive computational tasks through logic
of B1,...,Bn. CoL formulates computational problems in their most general—interactive—sense. CoL defines a computational problem as a game played by a
Computability_logic
Approach to static program analysis
science, abstract interpretation is a theory of sound approximation of the semantics of computer programs, based on monotonic functions over ordered sets,
Abstract_interpretation
Branch of logic using category theory to study mathematical structures
science. In broad terms, categorical logic represents both syntax and semantics by a category, and an interpretation by a functor. The categorical framework
Categorical_logic
U.S. healthcare company
(DDIExtraction 2013),” Second Joint Conference on Lexical and Computational Semantics, vol. 2, pp. 341–350, Jun. 2013. B. Xu et al., “Incorporating User
Merative
Analysis of computer programs without executing them
Implicit computational complexity ISO 26262 ISO 9126 (now ISO 25000 series) Lint (software) List of tools for static code analysis Semantics (computer
Static_program_analysis
Study of relations between psychology and language
sentences. Semantics deals with the meaning of words and sentences. Where syntax is concerned with the formal structure of sentences, semantics deals with
Psycholinguistics
specification. The operational semantics of a specification means how to interpret it as a sequence of computational steps. We define a ground term as
Algebraic semantics (computer science)
Algebraic_semantics_(computer_science)
Computation model defining an abstract machine
could be used to rekindle a computation anywhere in its progress. Many machines that might be thought to have more computational capability than a simple
Turing_machine
Computer Scientist
include several areas in computational linguistics/natural language processing, like conversational AI, computational lexical semantics, multilingual and cross
Mona_Diab
Branch of linguistics and semiotics relating context to meaning
Formal, experimental and computational pragmatics – The study of context-dependent meaning using formal tools (dynamic semantics, game theory, decision
Pragmatics
Type of logical system
formula, in addition to computational complexity bounds: see Model checking § First-order logic. Philosophy portal ACL2 — A Computational Logic for Applicative
First-order_logic
Categories in etymology
Pragmatics Semantics Syntax Syntax–semantics interface Typology Applied linguistics Acquisition Anthropological Applied Mathematical Computational Conversation
Endonym_and_exonym
Research tradition in linguistics
language. Generative linguistics includes work in core areas such as syntax, semantics, phonology, psycholinguistics, and language acquisition, with additional
Generative_grammar
Reformulation of Floyd-Hoare logic
Predicate transformer semantics were introduced by Edsger Dijkstra in his seminal paper "Guarded commands, nondeterminacy and formal derivation of programs"
Predicate transformer semantics
Predicate_transformer_semantics
Syntax-semantics interface
"Formal semantics for Dependency Grammar". Proceedings of the Seventh International Conference on Dependency Linguistics. Association for Computational Linguistics
Glue_semantics
COMPUTATIONAL SEMANTICS
COMPUTATIONAL SEMANTICS
COMPUTATIONAL SEMANTICS
COMPUTATIONAL SEMANTICS
Girl/Female
American, British, English
Pure; Rhyming Variant of Katy; Cady
Girl/Female
Hindu, Indian
Lord Kartikeya's Wife Devasena
Boy/Male
Indian
Of the God of heavens
Boy/Male
Indian
A person who laughs most na
Male
English
English form of Latin Augustinus, AUGUSTINE means "venerable."
Boy/Male
Arabic, Muslim
Very Clever
Boy/Male
Bengali, Hindu, Indian, Kannada, Malayalam, Marathi, Telugu
Lord of Pearls
Boy/Male
Hindu, Indian, Marathi
Patience
Girl/Female
British, English, German, Hebrew, Swedish
Beauty; Bird
Boy/Male
Muslim
Excess, Surplus
COMPUTATIONAL SEMANTICS
COMPUTATIONAL SEMANTICS
COMPUTATIONAL SEMANTICS
COMPUTATIONAL SEMANTICS
COMPUTATIONAL SEMANTICS
a.
Capable of being measured; susceptible of mensuration or computation.
v. i.
To make an enumeration or computation; to engage in numbering or computing.
n.
An erroneous computation.
n.
A method of computation; any process of reasoning by the use of symbols; any branch of mathematics that may involve calculation.
n.
The act or process of computing; calculation; reckoning.
a.
Proceeding by sixes; sextuple; -- applied especially to a system of arithmetical computation in which the base is six.
n.
The science of numbers; the art of computation by figures.
n.
Reckoning; computation.
n.
The act or process of making mathematical computations or of estimating results.
n.
Computation.
n.
Enumeration; computation.
n.
Account; reckoning; computation.
a.
Proceeding in computation by twelves; expressed in the scale of twelves.
n.
The act or process, or the result, of calculating; computation; reckoning, estimate.
n.
Erroneous computation; false reckoning.
n.
A reckoning; computation; calculation; enumeration; a record of some reckoning; as, the Julian account of time.
v. t.
To exceed in reckoning or computation.
n.
The result of computation; the amount computed.
n.
The fifth month of the Jewish year according to the ecclesiastical reckoning, the eleventh by the civil computation, coinciding nearly with August.
n.
The difference of the results obtained by observation, and by computation from a formula.