Maarten de Rijke

Available identifiers

zbMath Open de-rijke.maartenWikidataQ6721195 ScholiaQ6721195MaRDI QIDQ676175

List of research outcomes

Publication	Date of Publication	Type
Completeness results for two-sorted metric temporal logics	2022-08-16	Paper
Bayesian feature interaction selection for factorization machines	2021-12-13	Paper
Incremental sparse Bayesian ordinal regression	2020-05-26	Paper
Principles and Practice of Constraint Programming – CP 2003	2010-03-02	Paper
PDL for ordered trees	2009-11-30	Paper
Recent Advances in Constraints	2009-05-05	Paper
A note on the expressive power of probabilistic context free grammars	2006-11-17	Paper
Model checking hybrid logics (with an application to semistructured data)	2006-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q5465442	2005-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q4817194	2004-09-22	Paper
A Modal Perspective on Path Constraints	2004-09-07	Paper
https://portal.mardi4nfdi.de/entity/Q4430391	2003-10-09	Paper
https://portal.mardi4nfdi.de/entity/Q4789185	2003-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q4707699	2003-06-11	Paper
Deciding the guarded fragments by resolution	2003-04-02	Paper
https://portal.mardi4nfdi.de/entity/Q4532129	2002-11-20	Paper
https://portal.mardi4nfdi.de/entity/Q4329229	2002-10-08	Paper
https://portal.mardi4nfdi.de/entity/Q2751373	2002-09-16	Paper
Resolution in Modal, Description and Hybrid Logic	2002-07-28	Paper
Expressiveness of concept expressions in first-order description logics	2002-07-24	Paper
https://portal.mardi4nfdi.de/entity/Q2762866	2002-01-13	Paper
https://portal.mardi4nfdi.de/entity/Q2741532	2001-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q2744124	2001-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q4518807	2000-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q4518426	2000-11-28	Paper
Editorial: Efficacy of diagrammatic reasoning. Visual logic, language, and information	2000-07-13	Paper
A note on graded modal logic	2000-04-09	Paper
https://portal.mardi4nfdi.de/entity/Q4263164	2000-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q4250041	1999-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4263019	1999-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4246969	1999-06-16	Paper
Simulating without Negation	1998-11-24	Paper
A system of dynamic modal logic	1998-11-19	Paper
https://portal.mardi4nfdi.de/entity/Q4394915	1998-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q3838816	1998-08-13	Paper
Two-sorted metric temporal logics	1998-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4349286	1998-01-28	Paper
Bisimulations for temporal logic	1998-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q4362889	1997-12-14	Paper
Why combine logics?	1997-10-26	Paper
Zooming in, zooming out	1997-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q5691490	1997-04-21	Paper
https://portal.mardi4nfdi.de/entity/Q5691491	1997-04-21	Paper
The logic of Peirce algebras	1996-05-08	Paper
Editors' introduction to the special issue on combining logics	1996-01-01	Paper
Counting Objects	1995-06-06	Paper
Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras	1995-02-22	Paper
Generalized quantifiers and modal logic	1994-02-22	Paper
The modal logic of inequality	1993-04-01	Paper
Unary interpretability logic	1993-02-22	Paper
A note on the interpretability logic of finitely axiomatized theories	1992-06-27	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Maarten de Rijke