The following pages link to Maarten de Rijke (Q676175):
Displaying 26 items.
- Zooming in, zooming out (Q676176) (← links)
- A note on the expressive power of probabilistic context free grammars (Q851193) (← links)
- A note on the interpretability logic of finitely axiomatized theories (Q1181486) (← links)
- Unary interpretability logic (Q1203790) (← links)
- A system of dynamic modal logic (Q1267078) (← links)
- Editorial: Efficacy of diagrammatic reasoning. Visual logic, language, and information (Q1306166) (← links)
- Generalized quantifiers and modal logic (Q1314283) (← links)
- Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras (Q1344872) (← links)
- Why combine logics? (Q1370455) (← links)
- Bisimulations for temporal logic (Q1371312) (← links)
- Two-sorted metric temporal logics (Q1391098) (← links)
- Expressiveness of concept expressions in first-order description logics (Q1606296) (← links)
- Editors' introduction to the special issue on combining logics (Q1815423) (← links)
- Deciding the guarded fragments by resolution (Q1867216) (← links)
- The logic of Peirce algebras (Q1909608) (← links)
- A note on graded modal logic (Q1975165) (← links)
- Bayesian feature interaction selection for factorization machines (Q2060718) (← links)
- Incremental sparse Bayesian ordinal regression (Q2182878) (← links)
- Model checking hybrid logics (with an application to semistructured data) (Q2506828) (← links)
- (Q2741532) (← links)
- (Q2744124) (← links)
- (Q2751373) (← links)
- (Q2762866) (← links)
- Resolution in Modal, Description and Hybrid Logic (Q2772883) (← links)
- A Modal Perspective on Path Constraints (Q4812322) (← links)
- Counting Objects (Q4835536) (← links)
