Related:
Lexical Semantics
- Semantics Research
- Semantics Development
- Natural Language Semantics
Sponsored Links:
The Semantic Toolbox: Building Semantics on top of XML-RDF (Popularity:  )
(Score: 12.76)
http://www.w3.org/DesignIssues/Toolbox.html
'Ramblings' on how semantics can be applied on the web using RDF/XML by Tim Berners-Lee
Category:
Main\Reference\Libraries\Library and Information Science\Technical Services
|
RDF Semantics (Popularity: )
(Score: 12.75)
http://www.w3.org/TR/rdf-mt/
A work in progress (W3C Working Draft) on developing the formal semantics for RDF as a model theory.
Category:
Main\Reference\Libraries\Library and Information Science\Technical Services
|
The Meanings of Logical Constants (Popularity: )
(Score: 12.44)
http://www.nyu.edu/gsas/dept/philo/courses/concepts/meaning.html
Essay by Gilbert Harman, arguing for Prawitz's approach to the semantics of logic based upon an inferential role semantics.
Category:
Main\Society\Philosophy\Philosophy of Language\Meaning
|
The Meanings of Logical Constants (Popularity: )
(Score: 12.44)
http://www.nyu.edu/gsas/dept/philo/courses/concepts/meaning.html
Essay by Gilbert Harman, arguing for Prawitz's approach to the semantics of logic based upon a conceptual role semantics.
Category:
Main\Society\Philosophy\Philosophy of Logic\Semantics of Logic
|
Ong, C.-H. Luke (Popularity: )
(Score: 12.35)
http://web.comlab.ox.ac.uk/oucl/people/luke.ong.html
Merton College, Oxford - Categorical logic, game semantics, type theory, lambda calculus, semantics of programming languages, and sequentiality.
Category:
Main\Science\Math\Logic and Foundations\People
|
Events as Grammatical Objects: The Converging Perspectives of Lexical Semantics, Logical Semantics and Syntax (Popularity: )
(Score: 12.35)
http://csli-publications.stanford.edu/site/1575862069.html
Abstract of the book by Carol L. Tenny and James Pustejovsky.
Category:
Main\Science\Social Sciences\Linguistics\People
|
Relational Meta-Language (RML) (Popularity: )
(Score: 12.18)
http://www.ida.liu.se/~pelab/rml
Generation of efficient compilers and interpreters from Natural Semantics Specifications. Semantics for real programming languages like Java, Pascal, Modelica were developed.
Category:
Main\Computers\Programming\Compilers\Compiler Construction Kits
|
General Semantics (Popularity: )
(Score: 11.95)
http://www.xenodochy.org/gs/
A critical analysis of the theoretical foundations of Korzybski's general semantics featuring many papers, commentary, and discussions.
Category:
Main\Science\Social Sciences\Methodology
|
The Formal Approach to Meaning (Popularity: )
(Score: 11.91)
http://www.msu.edu/user/abbottb/formal.htm
Short survey of semantics of natural language by Barbara Abbott, at University of Michigan. Focusses upon Montague semantics, and tries to give a feel for the main open problems in the field.
Category:
Main\Science\Social Sciences\Linguistics\Semantics
|
Bonnema Renko: "Data Oriented Semantics" (Popularity: )
(Score: 11.88)
http://www.hum.uva.nl/computerlinguistiek/bonnema/dop-sem/scriptie.html
A thesis project, presenting many of the issues facing computational semantics and some experimental solutions.
Category:
Main\Science\Social Sciences\Linguistics\Computational Linguistics
|
UML 1.1 Semantics (Popularity: )
(Score: 11.88)
http://www.rational.com/media/uml/resources/media/ad970804_UML11_Semantics2.pdf
Defines UML in terms of its abstract syntax presented in class diagrams, formal well-formedness rules expressed in OCL, and semantics expressed in text, by Rational.
Category:
Main\Computers\Programming\Methodologies\Modeling Languages
|
What is (Nonsolipsistic) Conceptual Role Semantics? (Popularity: )
(Score: 11.88)
http://www.nyu.edu/gsas/dept/philo/courses/concepts/NonSolips.html
Article by Gilbert Harman defending a variety of inferential role semantics in which the primary use of concepts lies in their use in `calculation'.
Category:
Main\Society\Philosophy\Philosophy of Language\Meaning
|
Ong, C.-H. Luke (Popularity: )
(Score: 11.83)
http://web.comlab.ox.ac.uk/oucl/work/luke.ong/
Merton College, Oxford - Semantics of programming languages, lambda calculus, categorical logic and type theory, game semantics, linear logic.
Category:
Main\Computers\Computer Science\People\O
|
Fujinami, Tsutomu (Popularity: )
(Score: 11.78)
http://www.jaist.ac.jp/~fuji/
Japan Advanced Institute of Science and Technology - Researcher in knowledge science interested in semantics of natural language in general, and situation semantics in specific.
Category:
Main\Science\Social Sciences\Linguistics\People
|
Pustejovsky, James (Popularity: )
(Score: 11.72)
http://www.cs.brandeis.edu/~jamesp/
Brandeis University - Interests are computational linguistics, lexical semantics and language guided web analysis. Proposer of The Generative Lexicon, a very influential approach to lexical semantics.
Category:
Main\Science\Social Sciences\Linguistics\People
|
Natural Language Semantics (Popularity: )
(Score: 11.66)
http://www.kluweronline.com/issn/0925-854X/
An international journal of semantics and its interfaces in grammar. Includes description, subscription information, editorial board, author instructions and journal contents. Online version available.
Category:
Main\Science\Social Sciences\Linguistics\Journals
|
Francez, Nissim (Popularity: )
(Score: 11.51)
http://www.cs.technion.ac.il/~francez/
The Technion - Formal semantics of natural language, computational linguistics, semantics of programming languages, program verification, concurrent and distributed programming, logic programming.
Category:
Main\Computers\Computer Science\People\F
|
Realism, Model Theory, and Linguistic Semantics (Popularity: )
(Score: 11.45)
http://members.aol.com/lshauser/mts.html
Article by Barbara Abbott & Larry Hauser, arguing against an anti-realist view of George Lakoff, based upon Putnam's argument against a model-theoretic semantics of language.
Category:
Main\Society\Philosophy\Philosophy of Language\Meaning
|
Stark, Ian (Popularity: )
(Score: 11.37)
http://www.dcs.ed.ac.uk/~stark/
University of Edinburgh - Formal semantics of programming languages, category theory, domain theory and structural operational semantics, functional languages.
Category:
Main\Computers\Computer Science\People\S
|
Information Today: Google Buys Applied Semantics (Popularity: )
(Score: 11.29)
http://www.infotoday.com/newsbreaks/nb030428-1.shtml
Google announced that it has acquired Applied Semantics, a Santa Monica, California-based company known for its semantic text processing technology.
Category:
Main\Computers\Internet\Searching\Search Engines
|
Plotkin, Gordon (Popularity: )
(Score: 11.15)
http://www.inf.ed.ac.uk/people/staff/Gordon_Plotkin.html
Institute for Communicating and Collaborative Systems, UK - denotational and operational semantics of programming languages, type theory; domain-theoretic and categorical analyses of computation, proof theory, the semantics of natural language, process ...
Category:
Main\Science\Math\Logic and Foundations\People
|
Honsell, Furio (Popularity: )
(Score: 10.99)
http://www.dimi.uniud.it/~honsell/
University of Udine - Lambda calculus; foundations, especially of informatics; type systems for OO languages; logical frameworks and formal verification of proofs, programs, and systems; semantics of programming languages and program logics; mathematical ...
Category:
Main\Computers\Computer Science\People\H
|
Cambridge Theory and Semantics Group (Popularity: )
(Score: 10.74)
http://www.cl.cam.ac.uk/Research/TSG/
Centred around mathematical models of a variety of languages and logics, using techniques such as structural operational semantics, linear logic, domain theory and category theory. Strong links with Logic and Set Theory in the Pure Mathematics Department ...
Category:
Main\Computers\Computer Science\Theoretical\Research Groups
|
Negation in Atayal and Mandarin (Popularity: )
(Score: 10.44)
http://www.ruf.rice.edu/~pwd/atayalnegation.pdf
A comparison of Atayal and Mandarin arguing that the semantics of negation are similar in each language and where different, they tend to be associated with the semantics of individual terms, not negation itself.
Category:
Main\Science\Social Sciences\Linguistics\Languages
|
Logic of programming (Popularity: )
(Score: 9.82)
http://iml.univ-mrs.fr/ldp/welcome.html
The "Logic of Programming" research team is interested in proof theory and its relations with theoretical computer science. The main topic is mathematical interpretation of proofs : nets (proof = graph), denotational semantics (proof = function ...
Category:
Main\Science\Math\Logic and Foundations\Proof Theory
|
Game Semantics (Popularity: )
(Score: 8.56)
http://en.wikipedia.org/wiki/Computability_logic
Wikipedia article.
Category:
Main\Science\Math\Logic and Foundations\Game Semantics
|
A Semantics for Durative Adverbials (Popularity: )
(Score: 8.46)
http://www.phil-fak.uni-duesseldorf.de/asw/SuB99/abstracts/Pinon.html
Article by Cristopher Piñón.
Category:
Main\Science\Social Sciences\Linguistics\Semantics
|
Is Game Semantics Necessary? (Popularity: )
(Score: 8.46)
http://arxiv.org/abs/math.LO/9310211
Paper by Andreas Blass.
Category:
Main\Science\Math\Logic and Foundations\Game Semantics
|
Regier, Terry (Popularity: )
(Score: 8.37)
http://ccp.uchicago.edu/faculty/Terry_Regier
Computational semantics (Univ. of Chicago, USA)
Category:
Main\Science\Social Sciences\Psychology\Cognitive
|
The Semantics-Pragmatics Distinction (Popularity: )
(Score: 8.37)
http://userwww.sfsu.edu/~kbach/semprag.html
Article by Kent Bach.
Category:
Main\Science\Social Sciences\Linguistics\Semantics
|
Situation Semantics and Computational Linguistics (Popularity: )
(Score: 8.28)
http://www.ldv.uni-trier.de:8080/ldvpage/rieger/pub/aufsaetze/cobuse/cobuse-abstract.html
Article by Burghard B. Rieger.
Category:
Main\Science\Social Sciences\Linguistics\Semantics
|
Vagueness, Semantics, and the Language of Thought (Popularity: )
(Score: 8.28)
http://psyche.cs.monash.edu.au/v1/psyche-1-01-dewitt.html
Article by Richard DeWitt.
Category:
Main\Society\Philosophy\Philosophy of Logic\Vagueness
|
Perry, John (Popularity: )
(Score: 8.28)
http://www-csli.stanford.edu/~john/index.html
Co-founder of Situation Semantics. Excellent resource.
Category:
Main\Society\Philosophy\Philosophy of Language\Philosophers
|
Arun-Kumar, S. (Popularity: )
(Score: 8.20)
http://www.cse.iitd.ernet.in/~sak/
Indian Institute of Technology, Delhi - Semantics and Verification
Category:
Main\Computers\Computer Science\People\A
|
Conceptual Role Semantics (Popularity: )
(Score: 8.20)
http://www.nyu.edu/gsas/dept/philo/faculty/block/papers/ConceptualRoleSemantics.html
Entry by Ned Block in the Routledge Encyclopaedia of Philosophy.
Category:
Main\Society\Philosophy\Philosophy of Language\Meaning
|
LEARN Institute (Popularity: )
(Score: 8.20)
http://www.learninstitute.com/
NLP, Meta-States & Neuro-Semantics Training & Products
Category:
Main\Science\Social Sciences\Psychology\Alternative
|
MFPS (Popularity: )
(Score: 8.20)
http://math.tulane.edu/~mfps/
Mathematical Foundations of Programming Semantics. An annual series of meetings.
Category:
Main\Science\Math\Logic and Foundations\Meetings
|
Harper, Robert (Popularity: )
(Score: 8.11)
http://www-2.cs.cmu.edu/~rwh/
SCS CSD Professor's research in languages and semantics, PhD students, teaching, and publications.
Category:
Main\Society\People\College Life\Carnegie Mellon University
|
Etchemendy, John (Popularity: )
(Score: 8.11)
http://www-csli.stanford.edu/hp/etchemendy.html
Stanford University - Philosophical logic, semantics, and philosophy of language.
Category:
Main\Science\Math\Logic and Foundations\People
|
Algebraic Operational Semantics and Occam (Popularity: )
(Score: 8.11)
http://www.eecs.umich.edu/gasm/papers/occam0.html
Article by Yuri Gurevich and Lawrence S. Moss.
Category:
Main\Computers\Programming\Languages\Occam
|
