• A case study in using ...
• Design of Interval Typ...
• 3 Knowledge Representa...
• A knowledge based syst...
• Knowledge Representati...
• 联合收购机农用设施的PL...
• An English to Logic Tr...
• The DLV System for Kno...
• Logic-based knowledge ...