Decidable, logic-based knowledge representation.
Published: 1987
Language: eng
Number of pages: 200