Optimizing Modular Logic Languages.
Michele BugliesiAnna CiampoliniEvelina LammaPaola MelloPublished in: ACM Comput. Surv. (1998)
Keyphrases
- derivation rules
- expressive power
- language independent
- formal language
- multi valued
- databases
- logic programming
- modal logic
- text summarization
- target language
- asynchronous circuits
- classical logic
- logic programs
- modular neural networks
- multi lingual
- defeasible logic
- computational properties
- automated reasoning
- language identification
- pattern languages
- natural deduction
- description languages
- computer programs
- query translation