MULTI-STRUCTURAL GAMES AND BEYOND
- Marco Carmosino
- Ronald Fagin
- et al.
- 2024
- Logical Methods in Computer Science
Publications
Date
Featured collections
Popular topics
33 results for Jonathan Lenchner
On the Number of Quantifiers Needed to Define Boolean Functions
- Marco Carmosino
- Ronald Fagin
- et al.
- 2024
- MFCS 2024
Line segment visibility with sidedness constraints
- Jonathan Lenchner
- Eli Packer
- 2022
- Computational Geometry: Theory and Applications
Combining Fast and Slow Thinking for Human-like and Efficient Navigation in Constrained Environments
- M. Bergamaschi Ganapini
- M. Campbell
- et al.
- 2022
- AAAI-FS 2022
Combining Fast and Slow Thinking for Human-like and Efficient Decisions in Constrained Environments
- M. Bergamaschi Ganapini
- M. Campbell
- et al.
- 2022
- NeSy 2022
On the Number of Quantifiers as a Complexity Measure
- Ronald Fagin
- Jonathan Lenchner
- et al.
- 2022
- MFCS 2022
Multi-Structural Games and Number of Quantifiers
- Ronald Fagin
- Jonathan Lenchner
- et al.
- 2021
- LICS 2021
Thinking Fast and Slow in AI
- G. Booch
- F. Fabiano
- et al.
- 2021
- AAAI 2021
More Fun with L-Trominoes in Three and Higher Dimensions
- Arthur Befumo
- Jonathan Lenchner
- 2019
- Mathematics Magazine
Practices and technology needs of a network of farmers in Tharaka Nithi, Kenya
- Erick Oduor
- Peninah Waweru
- et al.
- 2018
- CHI 2018