Representing knowledge and evidence for decision.

Henry E. Kyburg Jr.

Published in: IPMU (1986)

Keyphrases

representing knowledge
knowledge representation
knowledge base
logic programming
decision problems
epistemic logic
data mining
database
pairwise
model checking
relational structures