Enhancing DLV for Large-Scale Reasoning.
Nicola LeoneCarlo AlloccaMario AlvianoFrancesco CalimeriCristina CiviliRoberta CostabileAlessio FiorentinoDavide FuscàStefano GermanoGiovanni LaboccettaBernardo CuteriMarco MannaSimona PerriKristian RealeFrancesco RiccaPierfrancesco VeltriJessica ZangariPublished in: LPNMR (2019)
Keyphrases
- small scale
- reasoning systems
- knowledge representation
- knowledge base
- answer set programming
- answer sets
- deductive reasoning
- spatial reasoning
- probabilistic reasoning
- real world
- real life
- data mining
- logic programming
- fuzzy logic
- artificial intelligence
- knowledge representation and reasoning
- rule based reasoning
- logical reasoning