Disequality Management in Integer Difference Logic via Finite Instantiations.
Hyondeuk KimHoonSang JinFabio SomenziPublished in: J. Satisf. Boolean Model. Comput. (2007)
Keyphrases
- management system
- information management
- linear temporal logic
- decision making
- classical logic
- neural network
- automated reasoning
- network management
- modal logic
- data processing
- information systems
- decision support
- data management
- multi valued
- logic programming
- temporal logic
- knowledge management
- project management
- database systems
- horn clauses
- artificial intelligence
- proof theory
- database