Reasoning about Solids Using Constraint Logic Programming Gilles PesantMichel Boyer OriginalPaper Pages: 241 - 262
A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases Ofer ArieliArnon Avron OriginalPaper Pages: 263 - 309
Computer Proofs in Gödel’s Class Theory with Equational Definitions for Composite and Cross Johan G. F. Belinfante OriginalPaper Pages: 311 - 339
On Computer-Assisted Proofs in Ordinal Number Theory Johan G. F. Belinfante OriginalPaper Pages: 341 - 378