Semantic Analysis of some Variants of Anderson-like Ontological Proofs.
Miroslaw SzatkowskiPublished in: Stud Logica (2005)
Keyphrases
- semantic analysis
- natural language
- natural language processing
- natural language understanding
- semantic information
- theorem prover
- theorem proving
- knowledge representation
- ontological framework
- information retrieval
- domain specific
- domain ontology
- named entity recognition
- semantic meaning
- syntactic analysis
- natural language sentences