Keyphrases
- modal logic
- classical logic
- logic programming
- formal theory
- predicate logic
- information systems
- digital circuits
- aggregation operators
- rank aggregation
- propositional dynamic logic
- real time
- aggregation queries
- asynchronous circuits
- probabilistic logic
- data aggregation
- automated reasoning
- probability theory
- knowledge base
- decision making