Program Updating by Incremental and Answer Subsumption Tabling.
Ari SaptawijayaLuís Moniz PereiraPublished in: LPNMR (2013)
Keyphrases
- incremental update
- computer programs
- description logics
- logic programming
- incremental updating
- static analysis
- decision trees
- program execution
- incremental clustering
- natural language processing
- bayesian networks
- source code
- data sets
- test cases
- practical problems
- information systems
- question answering systems
- data mining
- real world