Patterns for combining large language models with knowledge bases to improve assurance, performance, and reliability of AI solutions
- Dinesh Verma
- Pawan Chowdhary
- et al.
- 2025
- SPIE DCS 2025
Publications
35 results for Jonathan Lenchner
MULTI-STRUCTURAL GAMES AND NUMBER OF QUANTIFIERS
- Ronald Fagin
- Jonathan Lenchner
- et al.
- 2025
- Logical Methods in Computer Science
MULTI-STRUCTURAL GAMES AND BEYOND
- Marco Carmosino
- Ronald Fagin
- et al.
- 2024
- Logical Methods in Computer Science
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