Lifted Reasoning for Combinatorial Counting.
Pietro TotisJesse DavisLuc De RaedtAngelika KimmigPublished in: J. Artif. Intell. Res. (2023)
Keyphrases
- knowledge base
- probabilistic inference
- graphical models
- model based reasoning
- real time
- reasoning process
- conflicting information
- deductive reasoning
- resource bounded
- search algorithm
- knowledge representation
- default reasoning
- spatial reasoning
- inference engine
- reasoning systems
- legal reasoning
- probabilistic logic
- message passing
- social networks
- data mining
- real world
- databases