Some Algebraic Aspects of Assume-Guarantee Reasoning.

Inigo Incer Albert Benveniste Alberto L. Sangiovanni-Vincentelli

Published in: CoRR (2023)

Keyphrases

knowledge representation
reasoning systems
logical reasoning
formal models
expert systems
data mining
uncertain information
higher order
privacy preserving
probabilistic reasoning
meta level
qualitative reasoning
knowledge base
information systems
model based reasoning
reasoning engine
real time