Meinongian Semantics for Propositional Semantic Networks.
William J. RapaportPublished in: ACL (1985)
Keyphrases
- semantic network
- predicate calculus
- semantic net
- spreading activation
- wordnet
- knowledge base
- first order logic
- disjunctive logic programming
- propositional logic
- model theoretic
- logic programming
- array processor
- semantic relations
- predicate logic
- sound and complete axiomatization
- binary relations
- formal semantics
- knowledge sources
- natural language text
- semantic representation
- truth maintenance systems
- semantic information
- knowledge repositories
- data sets