Fairness in Logic Languages based on Shared Dataspace.
Mauro GaspariLaura SeminiPublished in: ICLP Workshop on Blackboard-Based Logic Programming (1993)
Keyphrases
- management system
- language independent
- expressive power
- modal logic
- multi lingual
- formal language
- computational properties
- classical logic
- databases
- grammatical inference
- data integration
- automated reasoning
- highly expressive
- asynchronous circuits
- logic programming
- text summarization
- logical framework
- cross lingual
- game theory
- defeasible logic
- information extraction
- language identification
- data model
- neural network
- proof theory
- database