Login / Signup
The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics.
Alessandro Armando
Alessandro Coglio
Fausto Giunchiglia
Silvio Ranise
Published in:
J. Symb. Comput. (2001)
Keyphrases
</>
reasoning systems
automated reasoning
knowledge representation and reasoning
diagnostic reasoning
control system
description logics
semantic annotation
control method
high level
general purpose
owl dl
control loop
keywords
control strategy
robotic systems