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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1982-2016
012319822016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2016
Review
2016
A special case of loops in argumentation are self-attacking arguments. While their role with respect to the ontological nature of… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2014
2014
We define memory-efficient certificates for μ-calculus model checking problems based on the well-known correspondence of the… (More)
  • figure 2
Is this relevant?
2013
2013
Abstract argumentation frameworks nowadays provide the most popular formalization of argumentation on a conceptual level… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2012
2012
Logic-based argumentation systems are developed for reasoning with inconsistent information. They consist of a set of arguments… (More)
  • figure 1
Is this relevant?
2011
2011
The assurance of quality of service properties is an important aspect of service-oriented software engineering. Notations for so… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
2004
2004
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities… (More)
Is this relevant?
1989
1989
This paper describes the mathematical basis for a computer language which can be used for representing natural human reasoning… (More)
Is this relevant?
1989
1989
The reader of a text actively constructs a rich picture of the objects, events, and situation described. The text is a vague… (More)
  • figure 1
  • table 1
  • figure 2
  • table 2
  • table 3
Is this relevant?
1982
1982
 
Is this relevant?