Finite Instantiations for Integer Difference Logic.
Hyondeuk KimFabio SomenziPublished in: FMCAD (2006)
Keyphrases
- linear temporal logic
- classical logic
- finite number
- automated reasoning
- integer points
- logic programming
- modal logic
- proof theory
- real time
- case study
- abductive reasoning
- artificial intelligence
- learning algorithm
- logic programs
- programming language
- knowledge representation
- logical framework
- defeasible logic
- real numbers
- unit length