Keyphrases
- logic programming
- resource management
- classical logic
- logic programs
- modal logic
- decision trees
- delay insensitive
- digital circuits
- computational properties
- limited resources
- resource allocation
- computing resources
- probability theory
- multi valued
- web resources
- nonmonotonic logics
- cloud computing
- predicate logic
- formal theory
- data sets