Representation and reasoning with attributive descriptions

Lecture Notes in Computer Science - Sorts and Types in Artificial Intelligence ◽

10.1007/3-540-52337-6_21 ◽

1990 ◽

pp. 111-139 ◽

Author(s):

Bernhard Nebel ◽

Gert Smolka

Download Full-text