Keyphrases
- decision procedures
- modal logic
- theorem proving
- inductive logic programming
- automated reasoning
- defeasible logic
- functional dependencies
- constraint propagation
- temporal resolution
- visual attention
- conjunctive queries
- information systems
- data driven
- satisfiability problem
- proof procedure
- prime implicates
- database systems