Model-Driven Decision Procedures for Arithmetic.

Leonardo Mendonça de Moura Dejan Jovanovic

Published in: SYNASC (2013)

Keyphrases

model driven
decision procedures
data driven
theorem proving
modal logic
automated reasoning
service oriented
metamodel
data integration
conjunctive queries
model driven development
satisfiability problem
life cycle
knowledge representation
data sets
temporal logic
first order logic
artificial intelligence