Search results
From MaRDI portal
- information; clausal knowledge base; deduction calculus; knowledge representation language \(L_{\text{LILOG}}\); logic-based reasoning; natural language understanding...15 bytes (95 words) - 06:36, 31 January 2024