Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV.
Gabriele Kern-IsbernerChristoph BeierleOliver DussoPublished in: Nonmonotonic Reasoning, Answer Set Programming and Constraints (2005)
Keyphrases
- knowledge base
- medical expert system
- description logics
- medical data
- wordnet
- medical domain
- medical diagnosis
- knowledge representation
- expert systems
- knowledge acquisition
- knowledge based systems
- efficient implementation
- rule base
- answer sets
- logic programming
- medical information
- medical diagnostic
- medical experts
- medical databases
- consistency checking
- data sets
- disjunctive logic programming
- medical records
- reasoning process
- knowledge structures
- answer set programming
- semantic network
- background knowledge
- genetic algorithm
- databases