Independence in Dynamically Scheduled Logic Languages.
Maria J. García de la BandaManuel V. HermenegildoKim MarriottPublished in: ALP (1996)
Keyphrases
- expressive power
- scheduling problem
- classical logic
- multi valued
- predicate logic
- formal language
- language independent
- highly expressive
- logic programming
- computational properties
- defeasible logic
- arrival times
- cross lingual
- multi lingual
- databases
- changing environment
- target language
- deontic logic
- constraint language
- proof theory
- query translation