Keyphrases
- concurrent execution
- programs written
- formal language
- concurrent processes
- modal logic
- classical logic
- active rules
- logic programming
- expressive power
- language independent
- databases
- highly expressive
- knowledge base
- asynchronous circuits
- text summarization
- execution model
- cross lingual
- logical framework
- multi valued
- predicate logic
- deontic logic
- parallel execution
- grammatical inference
- automated reasoning