Sign in
A Method of Belief Base Revision for Extended Logic Programs Based on State Transition Diagrams.
Yasuo Kudo
Tetsuya Murai
Published in:
KES (2004)
Keyphrases
</>
state transition
knowledge base
database systems
logic programs
input output
decision problems
belief revision