Search results
From MaRDI portal
- computation and revision -- a practical approach 2022-11-09 Paper Combining event calculus and description logic reasoning via logic programming 2022-03-24 Paper...10 bytes (16 words) - 17:45, 7 December 2023
- natural language question answering 2010-06-17 Paper The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation 2010-02-19...10 bytes (17 words) - 10:27, 13 December 2023
- zbMATH Keywords resolution; connection method; model elimination; consolution calculus; first-order proof calculi; tableaux model elimination Mathematics...15 bytes (69 words) - 13:15, 31 January 2024