A collaborative legal information retrieval system using dynamic logic programming.
Paulo QuaresmaIrene Pimenta RodriguesPublished in: ICAIL (1999)
Keyphrases
- logic programming
- information retrieval systems
- logic programs
- user modelling
- logic programming language
- answer set programming
- nonmonotonic reasoning
- document collections
- knowledge representation
- knowledge base
- information retrieval
- programming language
- computational logic
- deductive databases
- answer sets
- query expansion
- retrieval systems
- default logic
- inductive logic programming
- retrieval effectiveness
- inverted file
- constraint logic programming
- relevance feedback
- document indexing
- stable models
- background knowledge
- interactive information retrieval
- interactive information retrieval systems
- database
- training data