24th International Conference on Rewriting Techniques and Applications, RTA 2013, June 24-26, 2013, Eindhoven, The Netherlands
Published in: RTA (2013)
Keyphrases
- lecture notes in artificial intelligence
- artificial intelligence in education
- rewriting rules
- rewrite rules
- queries using views
- advances in computational intelligence
- lecture notes
- conjunctive queries
- rewriting systems
- query rewriting
- information retrieval
- artificial intelligence in medicine
- artificial intelligence
- proceedings of the th international conference
- termination analysis
- presburger arithmetic
- databases
- international journal
- heuristic functions
- datalog programs
- deductive databases
- computational intelligence
- computer science
- information systems
- machine learning