A Comparative Exploration of Concurrent Logic Languages.
Graem A. RingwoodPublished in: Knowl. Eng. Rev. (1989)
Keyphrases
- expressive power
- classical logic
- predicate logic
- language independent
- formal language
- automated reasoning
- multi lingual
- cross lingual
- logic programming
- highly expressive
- comparative analysis
- modal logic
- multi valued
- grammatical inference
- databases
- concurrent programming
- deontic logic
- data sets
- logical framework
- probability theory
- query translation
- xml documents
- knowledge base