ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding.
Francesco CalimeriGiovambattista IanniFrancesco PacenzaSimona PerriJessica ZangariPublished in: PPDP (2022)
Keyphrases
- answer set programming
- reasoning tasks
- answer sets
- logic programming
- knowledge representation
- modulo theories
- incremental learning
- logic programs
- web applications
- video sequences
- knowledge base
- data driven
- reasoning systems
- disjunctive logic programming
- visual features
- detection algorithm
- video shots
- incremental version