Keyphrases
- text processing
- automated theorem proving
- natural language processing
- text mining
- information extraction
- theorem prover
- machine learning
- proof search
- theorem proving
- logic programming
- automated reasoning
- modal logic
- field of natural language processing
- multi valued
- classical logic
- predicate logic
- linguistic analysis
- asynchronous circuits
- information retrieval
- scientific information
- probability theory
- computational properties
- scientific literature
- defeasible logic
- formal theory
- artificial intelligence
- proof theory
- information extraction systems
- data mining