Searchable List of Research Output | Institute for Logic, Language and Computation

de Keulenaar, E.V., Tuters, M., Kisjes, I., von Beelen, K. (2019) On Altpedias: partisan epistemics in the encyclopaedias of alternative facts.

Artnodes : e-journal on art, science and technology, Vol. 24 (pp 22-33)

Article | https://doi.org/10.7238/a.v0i24.3300 | UvA-DARE
de Nivelle, H., de Rijke, M. (2003) Deciding the guarded fragments by resolution.

Journal of Symbolic Computation

Article | UvA-DARE
de Nivelle, H. (1997) A classification of non-liftable orders for resolution.

In McCune, W. (Eds.), Conference on Automated Deduction 14 (pp 336-350). Springer Verlag.

Chapter | UvA-DARE
de Nivelle, J.M.G.G., Areces, C.E. (1999) Prefixed resolution.

Technical Report ILLC. vg logic/info (oud WINS).

Report | UvA-DARE
de Nivelle, J.M.G.G., de Rijke, M. (2000) The Boyer-Moore theorem prover.

In Hazewinkel, M. (Eds.), Encyclopedia of Mathematics, Supplement II (pp 83-84). Kluwer.

Chapter | UvA-DARE
de Nivelle, J.M.G.G., de Rijke, M. (2000) Theorem prover.

In Hazewinkel, M. (Eds.), Encyclopedia of Mathematics, Supplement II (pp 452-453). Kluwer.

Chapter | UvA-DARE
de Nivelle, J.M.G.G., Ganzinger, H. (1999) A Superposition Decision Procedure for the Guarded Fragment with Equality.

In Longo, G. (Eds.), Fourteenth Annual IEEE Symposium on Logic in Computer Science (pp 295-303)

Chapter | UvA-DARE
de Rijke, M., Areces, C.E., de Nivelle, J.M.G.G. (1999) Prefixed Resolution: A Resolution Method for Modal and Description Logic.

In Ganzinger, H. (Eds.), Automated Deduction-CADE-16 (pp 187-201) (LNCS). Springer Verlag.

Chapter | UvA-DARE
de Rijke, M., Heguiabehere, J.M., Infante Lopez, G.G. (2001) Structured problems for modal satisfiability testing.

In Areces, C. de Rijke, M. (Eds.), Proceedings of M4M Workshop, 2001

Conference contribution | UvA-DARE
de Rijke, M., Heguiabehere, J.M. (2001) The random modal qbf test set.

In Proceedings IJCAR Workshop on Issues in the Design and Experimental Evaluation of Systems for Modal and Temporal Logics (pp 58-67)

Conference contribution | UvA-DARE
de Rijke, M., Ó Nualláin, B.S., van Benthem, J.F.A.K. (2001) Ensemble-based prediction of SAT search behaviour.

In Kautz, H. Selman, B. (Eds.), Electronic Notes in Discrete Mathematics, volume 9. Elsevier Science Publishers.

Chapter | UvA-DARE
de Rijke, M., Sturm, H. (1999) Global vs. local in basic modal logic.

In Proc. Nicht-klassische Formen der Logik im Rahmen des XVIII. Deutschen Kongresses für Philosophie

Conference contribution | UvA-DARE
de Rijke, M., Sturm, H. (2001) Global definability in basic modal logic.

In Wansing, H. (Eds.), Essays on Non-classical Logic (pp 111-135). World Scientific Publishers.

Chapter | UvA-DARE
de Rijke, M., Wansing, H. (2002) Proofs and expressiveness in alethic modal logic.

In Jacquette, D. (Eds.), A Companion to Philosophical Logic (pp 422-441). Blackwell Publishing.

Chapter | UvA-DARE
de Rijke, M. (1997) Advances in Intensional Logic.

Applied Logic Series. Kluwer Academic Publishers.

Book (Editorship) | UvA-DARE
de Rijke, M. (1998) A modal characterisation of Peirce algebras.

In Logic at work. Springer.

Chapter | UvA-DARE
de Rijke, M. (1998) A system of dynamic modal logic.

Journal of Philosophical Logic, Vol. 27 (pp 109-142)

Article | https://doi.org/10.1023/A:1004295308014 | UvA-DARE
de Rijke, M. (1998) Preface.

In Advances in modal logic, vol 1 (pp 9-14) (-). CSLI Publications.

Chapter | UvA-DARE
de Rijke, M. (1998) Modal logics and Description logics.

In Proceedings of the 1999 International Workshop on Description Logics (DL'98)

Conference contribution | UvA-DARE
de Rijke, M. (1999) Combining reasoning systems.

In Proc. Automated Reasoning '99

Conference contribution | UvA-DARE

The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact illc at uva.nl