Login / Signup
A Simplified Proof of DDL < DL
Jerzy Tiuryn
Published in:
Inf. Comput. (1989)
Keyphrases
</>
description logics
expressive power
description language
definition language
theorem proving
genetic algorithm
linear logic
decision trees
xml documents
case study
computational properties
neural network
formal logic
expressive description logics
oai pmh
automated theorem provers
mathematical proofs