Declarative Pearl: Rigged Contracts.

Alexander Vandenbroucke Tom Schrijvers

Published in: FLOPS (2024)

Keyphrases

belief revision
conditional independence
supply chain
knowledge representation
belief change
high level
causal models
artificial intelligence
domain independent
declarative language
attribute grammars
decision making
multi agent
relational databases