Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 231,070,545 papers from all fields of science
Search
Sign In
Create Free Account
Naive semantics
Naive semantics is an approach used in computer science for representing basic knowledge about a specific domain, and has been used in applications…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
6 relations
Artificial intelligence
Computer science
Lexicon
Natural language understanding
Expand
Broader (1)
Natural language processing
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2018
Review
2018
0 Abstract Dialectical Frameworks : An Overview
G. Brewka
,
Stefan Ellmauthaler
,
Hannes Strass
,
J. Wallner
,
S. Woltran
2018
Corpus ID: 73624480
Dialectical Frameworks: An Overview Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes P. Wallner, Stefan Woltran…
Expand
2016
2016
Certification for µ -calculus with winning strategies Category: Research Paper
Martin Hofmann
,
Christian Neukirchen
,
Harald Ruess
2016
Corpus ID: 267849402
. We define memory-efficient certificates for µ -calculus model checking problems based on the well-known correspondence of…
Expand
2014
2014
A Set Theoretical Semantics for a Subsystem of Linear Logic
Fumihiko Yamaguchi
2014
Corpus ID: 55573227
In (2), Yamaguchi et al. proposed a na¨ove semantics of a sub set of linear logic. However, the meanings of additive disjunction…
Expand
2014
2014
Certification for mu-calculus with winning strategies
Martin Hofmann
,
Harald Ruess
arXiv.org
2014
Corpus ID: 265100510
We define memory-efficient certificates for $\mu$-calculus model checking problems based on the well-known correspondence of the…
Expand
2011
2011
On the Limits of Expressiveness in Abstract Argumentation Semantics: Realizability and Signatures
Thomas Linsbichler
2011
Corpus ID: 125641128
Abstract Argumentation Framework (AF) An AF is a pair F = (A, R) where A is a finite set of arguments and R ⊆ A × A is the attack…
Expand
2011
2011
Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements
Christian Krause
,
H. Giese
Infinity
2011
Corpus ID: 1069451
The assurance of quality of service properties is an important aspect of service-oriented software engineering. Notations for so…
Expand
2005
2005
Logic and Logical Philosophy Volume 7 (1999), 167–177
M. Bremer
2005
Corpus ID: 3094940
In a universal logic containing naive semantics the semantic antinomies will be provable. Although being provable they are not…
Expand
1998
1998
Thinking of ‘Not’
F. J. Pelletier
1998
Corpus ID: 140941986
A certain direction in cognitive science has been to try to “ground” public language statements in some species of mental…
Expand
1993
1993
The Semantics of Event Prevention
C. Ortiz
AAAI Conference on Artificial Intelligence
1993
Corpus ID: 40693156
In planning tasks an agent may often find himself in a situation demanding that he choose an action that would prevent some…
Expand
1988
1988
Kinds, Kind Terms and Cognitive Categories
Kathleen Dahlgren
1988
Corpus ID: 60139082
Naive Semantics is a realist theory which assumes that the stability of the actual objects and classes of objects (kinds…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE