The following pages link to Maarten de Rijke (Q676175):
Displaying 50 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)
- PDL for ordered trees (Q3647225) (← links)
- (Q3838816) (← links)
- The modal logic of inequality (Q4032643) (← links)
- (Q4246969) (← links)
- (Q4250041) (← links)
- (Q4263019) (← links)
- (Q4263164) (← links)
- (Q4329229) (← links)
- (Q4349286) (← links)
- Simulating without Negation (Q4351799) (← links)
- (Q4362889) (← links)
- (Q4394915) (← links)
- (Q4430391) (← links)
- (Q4518426) (← links)
- (Q4518807) (← links)
- (Q4532129) (← links)
- (Q4707699) (← links)
- (Q4789185) (← links)
- A Modal Perspective on Path Constraints (Q4812322) (← links)
- (Q4817194) (← links)
- Counting Objects (Q4835536) (← links)
- Completeness results for two-sorted metric temporal logics (Q5096398) (← links)
- (Q5465442) (← links)
- (Q5691490) (← links)
- (Q5691491) (← links)
- Principles and Practice of Constraint Programming – CP 2003 (Q5897228) (← links)
