Resource-sensitive synchronization inference by abduction.
Matko BotincanMike DoddsSuresh JagannathanPublished in: POPL (2012)
Keyphrases
- abductive reasoning
- bayesian networks
- resource allocation
- logic programming
- background knowledge
- structured prediction
- efficient learning
- belief revision
- inference engine
- information resources
- resource constraints
- probabilistic reasoning
- chaotic systems
- bayesian inference
- logic programs
- neural network
- grammatical inference
- resource selection
- causal networks
- real time
- inference process
- web resources
- resource management
- probabilistic inference
- multimedia
- artificial intelligence