Keyphrases
- logic programs
- logic programming
- linear combination
- multi valued
- answer sets
- proof theory
- asynchronous circuits
- modal logic
- small number
- linear constraints
- classical logic
- digital circuits
- knowledge representation
- search algorithm
- data sets
- automated reasoning
- artificial intelligence
- computational properties
- predicate logic
- formal theory
- deontic logic
- learning algorithm
- databases