Universally quantified queries in languages with order-sorted logics

GWAI-92: Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/bfb0019011 ◽

2005 ◽

pp. 267-271

Author(s):

Stefan Decker ◽

Christoph Lingenfelder