An Algebraic Prolog for Reasoning about Possible Worlds.
Angelika KimmigGuy Van den BroeckLuc De RaedtPublished in: AAAI (2011)
Keyphrases
- logic programming
- prolog programs
- programming language
- qualitative reasoning
- expert systems
- formal theory
- spatial reasoning
- knowledge representation
- inference engine
- genetic algorithm
- abstract machine
- knowledge base
- constraint logic programming
- functional programming
- theorem proving
- multiscale
- information systems
- logic programming language
- artificial intelligence
- explanation based generalization
- data sets