Line segment visibility with sidedness constraints
Lenchner, Jonathan, Packer, Eli
Published in Computational geometry : theory and applications (01.12.2022)
Published in Computational geometry : theory and applications (01.12.2022)
Get full text
Journal Article
Multi-Structural Games and Number of Quantifiers
Fagin, Ronald, Lenchner, Jonathan, Regan, Kenneth W., Vyas, Nikhil
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)
Get full text
Conference Proceeding
Symbiotic Cognitive Computing
Farrell, Robert, Lenchner, Jonathan, Kephart, Jeffrey, Webb, Alan, Muller, Michael, Erickson, Thomas, Melville, David, Bellamy, Rachel, Gruen, Daniel, Connell, Jonathan, Soroker, Danny, Aaron, Andy, Trewin, Shari, Ashoori, Maryam, Ellis, Jason, Gaucher, Brian, Gil, Dario
Published in The AI magazine (22.09.2016)
Published in The AI magazine (22.09.2016)
Get full text
Journal Article
Connectivity Graphs of Uncertainty Regions
Chambers, Erin, Erickson, Alejandro, Fekete, Sándor P., Lenchner, Jonathan, Sember, Jeff, Srinivasan, Venkatesh, Stege, Ulrike, Stolpner, Svetlana, Weibel, Christophe, Whitesides, Sue
Published in Algorithmica (01.07.2017)
Published in Algorithmica (01.07.2017)
Get full text
Journal Article
Analysis of Watson's Strategies for Playing Jeopardy
Tesauro, G., Gondek, D. C., Lenchner, J., Fan, J., Prager, J. M.
Published in The Journal of artificial intelligence research (01.01.2013)
Published in The Journal of artificial intelligence research (01.01.2013)
Get full text
Journal Article
Omittable Planes
Grünbaum, Branko, Lenchner, Jonathan
Published in The Electronic journal of combinatorics (02.09.2011)
Published in The Electronic journal of combinatorics (02.09.2011)
Get full text
Journal Article
On the Number of Quantifiers Needed to Define Boolean Functions
Carmosino, Marco, Fagin, Ronald, Immerman, Neil, Kolaitis, Phokion, Lenchner, Jonathan, Sengupta, Rik
Year of Publication 30.06.2024
Year of Publication 30.06.2024
Get full text
Journal Article