Intertheoretic Reduction, Confirmation, and Montague's Syntax-Semantics Relation.
Kristina LiefkeStephan HartmannPublished in: J. Log. Lang. Inf. (2018)
Keyphrases
- operational semantics
- definition language
- rule language
- formal semantics
- predicate calculus
- abstract argumentation
- natural language
- semantic information
- lexical semantics
- logic programming
- conceptual graphs
- high level
- semantic constraints
- constraint language
- attribute grammars
- machine processable
- precisely defined
- data mining
- concept space
- binary relations
- data reduction
- genetic algorithm
- machine learning