Order-sorted logic programming with predicate hierarchy.

Published in: Artif. Intell. (2004)

Keyphrases

order sorted logic
programming language
development environment
conceptual structures
object oriented programming
programming environment
knowledge representation
hierarchical structure
neural network
concept hierarchy
computer programming
class hierarchy