Keyphrases
- current trends
- future directions
- artificial intelligence
- health sciences
- logic programming
- formal language
- natural language
- visual languages
- automated reasoning
- multi valued
- classical logic
- stochastic grammar
- tree grammars
- grammatical inference
- context free
- logic programs
- predicate logic
- natural language processing
- hidden markov models
- context sensitive
- digital circuits
- truth values
- asynchronous circuits
- natural deduction
- syntactic pattern recognition
- bayesian networks
- databases