Vol-2210⫷ Vol-2211 ⫸Vol-2212
urn:nbn:de:0074-2211-0


Vol-2211/paper-37⫷Vol-2211/paper-38⫸Vol-2211/paper-39

Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata