Decision Support for Network Path Estimation via Automated Reasoning.

Dean Philp Naomi Chan Leslie F. Sikos

Published in: KES-IDT (1) (2019)

Keyphrases

automated reasoning
decision support
reasoning systems
theorem proving
knowledge representation
decision support system
theorem prover
reasoning tasks
probabilistic reasoning
knowledge representation and reasoning
business intelligence
decision procedures