Declarative Diagnosis of Floundering in Prolog.

Published in: ACSC (2012)

Keyphrases

knowledge representation
procedural semantics
logic programming
medical diagnosis
knowledge base
fault diagnosis
model based reasoning
expert systems
programming language

neural network
logic programming language
high level
model based diagnosis
domain independent
medical knowledge
prolog programs
diagnostic tests
functional programming

fault detection
attribute grammars
automatic diagnosis
abstract machine
machine learning
diagnostic process
breast cancer diagnosis
attention deficit hyperactivity disorder
declarative knowledge

early diagnosis
diagnostic reasoning
causal reasoning
rule based systems
bayesian networks
case study
search engine
learning algorithm
genetic algorithm