Keyphrases
- hypothetical reasoning
- logic programs
- logic programming
- deductive databases
- cognitive science
- computational properties
- supreme court
- legal argument
- predicate logic
- modal logic
- artificial intelligence
- database
- software engineering
- classical logic
- relational databases
- digital circuits
- asynchronous circuits
- neural network
- databases
- real time