Results 261 to 270 of about 1,176,202 (301)
Some of the next articles are maybe not open access.
Journal of Philosophical Logic, 1993
\(R\) is the Anderson-Belnap system of relevant implication; \(NR\) extends \(R\) with a necessity operator and \(S4\)-like postulates for it. \(R4\) is the result of adding the axiom scheme \(\square(A\vee B)\to(\diamondsuit A\vee\square B)\) to \(NR\) to make a system that includes all of \(S4\).
Edwin D. Mares, Robert K. Meyer
openaire +2 more sources
\(R\) is the Anderson-Belnap system of relevant implication; \(NR\) extends \(R\) with a necessity operator and \(S4\)-like postulates for it. \(R4\) is the result of adding the axiom scheme \(\square(A\vee B)\to(\diamondsuit A\vee\square B)\) to \(NR\) to make a system that includes all of \(S4\).
Edwin D. Mares, Robert K. Meyer
openaire +2 more sources
The Semantics of Parsing with Semantic Actions
2012 27th Annual IEEE Symposium on Logic in Computer Science, 2012The recovery of structure from flat sequences of input data is a problem that almost all programs need to solve. Computer Science has developed a wide array of declarative languages for describing the structure of languages, usually based on the context-free grammar formalism, and there exist parser generators that produce efficient parsers for these ...
openaire +1 more source
Bernoulli Semantics and Ordinal Semantics for Conditionals
Journal of Philosophical Logic, 2022zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Journal of Logic and Computation, 2005
Summary: This is a continuation of a paper in which the role of types in semantic theory was explored. Inevitably, in that paper some issues in type theory and semantics were treated only in passing. In particular, little was said about Stratified Type Theories. This paper concentrates on these theories and provides a theoretical framework for semantic
openaire +1 more source
Summary: This is a continuation of a paper in which the role of types in semantic theory was explored. Inevitably, in that paper some issues in type theory and semantics were treated only in passing. In particular, little was said about Stratified Type Theories. This paper concentrates on these theories and provides a theoretical framework for semantic
openaire +1 more source
The Semantics of Semantics in Language Processing
2009In speech and language research, the semantics of an utterance always corresponds to the meaning of the utterance. Meaning however, is a concept that has been argued by philosophers for centuries, so in Language Processing, semantics has come to be used very differently in different applications.
openaire +1 more source
Personal Technologies, 2000
Mobile web-services often use location information for service customisation. Most such services operate on the user’s physical/geographical location. Unfortunately, such common forms of location carry little context information. In the CoolTown project at HP Labs, we have addressed this deficiency by defined an orthogonal form of location – Semantic ...
openaire +1 more source
Mobile web-services often use location information for service customisation. Most such services operate on the user’s physical/geographical location. Unfortunately, such common forms of location carry little context information. In the CoolTown project at HP Labs, we have addressed this deficiency by defined an orthogonal form of location – Semantic ...
openaire +1 more source
ON FORMAL AND COGNITIVE SEMANTICS FOR SEMANTIC COMPUTING
International Journal of Semantic Computing, 2010Semantics is the meaning of symbols, notations, concepts, functions, and behaviors, as well as their relations that can be deduced onto a set of predefined entities and/or known concepts. Semantic computing is an emerging computational methodology that models and implements computational structures and behaviors at semantic or knowledge level beyond ...
openaire +1 more source
Semantic Authoring and Semantic Computing
2007Semantic Computing is to design and operate information systems based on meaning and vocabulary shared by people and computers. It aims at closing the semantic gap, thus enabling closer cooperation between people and information systems, and thereby semantically enriching our life-world.
openaire +1 more source
Journal of Philosophical Logic, 2010
This paper is a contribution to ``inferentialism, a doctrine that the meaning of an expression is generally in its inferential role''. In order to sort out problems in inferentialism, the author offers a ``very general framework for measuring inferentializability of semantic systems''.
openaire +2 more sources
This paper is a contribution to ``inferentialism, a doctrine that the meaning of an expression is generally in its inferential role''. In order to sort out problems in inferentialism, the author offers a ``very general framework for measuring inferentializability of semantic systems''.
openaire +2 more sources
Journal of Philosophical Logic, 2010
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources