Automated reasoning on monotonic constraints.

Lucas Bordeaux Frédéric Benhamou

Published in: ICTAI (2000)

Keyphrases

automated reasoning
knowledge representation
reasoning systems
theorem proving
probabilistic reasoning
theorem prover
decision procedures
reasoning tasks
knowledge representation and reasoning
automated verification
constraint satisfaction
constraint programming