Declarative Debugging of Missing Answers for Maude.
Adrián RiescoAlberto VerdejoNarciso Martí-OlietPublished in: RTA (2010)
Keyphrases
- missing values
- missing data
- question answer
- declarative language
- domain independent
- formal specification
- real time
- hardware designs
- declarative knowledge
- database systems
- artificial intelligence
- databases
- knowledge representation
- relational databases
- question answering systems
- java programs
- web snippets
- database
- equational theories