Prolog and ASP Inference under One Roof.
Marcello BalducciniYuliya LierlerPeter SchüllerPublished in: LPNMR (2013)
Keyphrases
- inference engine
- answer set programming
- logic programming
- backward chaining
- aerial images
- expert systems
- knowledge representation
- web applications
- inference process
- bayesian inference
- logic programming language
- prolog programs
- rule base
- constraint logic programming
- knowledge base
- learning algorithm
- functional programming
- semantically equivalent
- abstract machine
- probabilistic inference
- inference mechanism
- databases
- point cloud
- programming language
- high level
- decision trees
- search engine
- neural network