Login / Signup
Backward Reasoning in Systems with Cut.
Elmar Eder
Published in:
AISMC (1996)
Keyphrases
</>
reasoning systems
management system
real time
knowledge representation
reasoning process
knowledge representation systems
reason maintenance
decision making
distributed systems
knowledge acquisition
complex systems
finite state machines
automated reasoning