Automated reasoning for attributed graph properties.

Sven Schneider Leen Lambers Fernando Orejas

Published in: Int. J. Softw. Tools Technol. Transf. (2018)

Keyphrases

automated reasoning
attributed graphs
knowledge representation
theorem proving
theorem prover
probabilistic reasoning
object recognition
search space