Login / Signup
The F-logic Approach for Description Languages.
Mira Balaban
Published in:
Ann. Math. Artif. Intell. (1995)
Keyphrases
</>
description languages
deductive databases
description language
knowledge representation and reasoning
description logics
integrity constraints
knowledge base
logic programming
artificial intelligence
web services
state space
general purpose
open source
reasoning systems