Lifted Reasoning for Combinatorial Counting.

Pietro Totis Jesse Davis Luc De Raedt Angelika Kimmig

Published 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