Jonathan Lenchner

According to our database, Jonathan Lenchner authored at least 46 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of two.

2024

A Neuro-Symbolic Approach to Multi-Agent RL for Interpretability and Probabilistic Decision Making.

Chitra Subramanian, Miao Liu, Naweed Khan, Jonathan Lenchner, Aporva Amarnath, Sarathkrishna Swaminathan, Ryan Riegel, Alexander Gray

CoRR, 2024

Parallel Play Saves Quantifiers.

Marco Carmosino, Ronald Fagin, Neil Immerman, Phokion G. Kolaitis, Jonathan Lenchner, Rik Sengupta, R. Ryan Williams

CoRR, 2024

On the Number of Quantifiers Needed to Define Boolean Functions.

Marco Carmosino, Ronald Fagin, Neil Immerman, Phokion G. Kolaitis, Jonathan Lenchner, Rik Sengupta

Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024

2023

A Finer Analysis of Multi-Structural Games and Beyond.

Marco Carmosino, Ronald Fagin, Neil Immerman, Phokion G. Kolaitis, Jonathan Lenchner, Rik Sengupta

CoRR, 2023

Towards a Unification of Logic and Information Theory.

Luis A. Lastras, Barry M. Trager, Jonathan Lenchner, Wojtek Szpankowski, Chai Wah Wu, Mark S. Squillante, Alex Gray

CoRR, 2023

2022

Combining Fast and Slow Thinking for Human-like and Efficient Navigation in Constrained Environments.

Marianna Bergamaschi Ganapini, Murray Campbell, Francesco Fabiano, Lior Horesh, Jon Lenchner, Andrea Loreggia, Nicholas Mattei, Taher Rahgooy, Francesca Rossi, Biplav Srivastava, Kristen Brent Venable

CoRR, 2022

Line segment visibility with sidedness constraints.

Jonathan Lenchner, Eli Packer

Comput. Geom., 2022

Combining Fast and Slow Thinking for Human-like and Efficient Decisions in Constrained Environments.

Marianna Bergamaschi Ganapini, Murray Campbell, Francesco Fabiano, Lior Horesh, Jonathan Lenchner, Andrea Loreggia, Nicholas Mattei, Francesca Rossi, Biplav Srivastava, Kristen Brent Venable

Proceedings of the 16th International Workshop on Neural-Symbolic Learning and Reasoning as part of the 2nd International Joint Conference on Learning & Reasoning (IJCLR 2022), 2022

Thinking Fast and Slow in AI: The Role of Metacognition.

Marianna Bergamaschi Ganapini, Murray Campbell, Francesco Fabiano, Lior Horesh, Jon Lenchner, Andrea Loreggia, Nicholas Mattei, Francesca Rossi, Biplav Srivastava, Kristen Brent Venable

Proceedings of the Machine Learning, Optimization, and Data Science, 2022

On the Number of Quantifiers as a Complexity Measure.

Ronald Fagin, Jonathan Lenchner, Nikhil Vyas, R. Ryan Williams

Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022

2021

E-PDDL: A Standardized Way of Defining Epistemic Planning Problems.

Francesco Fabiano, Biplav Srivastava, Jonathan Lenchner, Lior Horesh, Francesca Rossi, Marianna Bergamaschi Ganapini

CoRR, 2021

Multi-Structural Games and Number of Quantifiers.

Ronald Fagin, Jonathan Lenchner, Kenneth W. Regan, Nikhil Vyas

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

The Engagement Catalyst Initiative: How One Global Organization Activates and Energizes Employee Engagement.

Laura Challman Anderson, Michal Jacovi, Jonathan Lenchner, Jade Nguyen Strattner

Proceedings of the Advances in the Human Side of Service Engineering, 2021

Combining Fast and Slow Thinking for Human-like and Efficient Navigation in Constrained Environments.

Marianna Bergamaschi Ganapini, Murray Campbell, Francesco Fabiano, Lior Horesh, Jonathan Lenchner, Andrea Loreggia, Nicholas Mattei, Francesca Rossi, Biplav Srivastava, Kristen Brent Venable

Proceedings of the Thinking Fast and Slow and Other Cognitive Theories in AI, 2021

Thinking Fast and Slow in AI.

Grady Booch, Francesco Fabiano, Lior Horesh, Kiran Kate, Jonathan Lenchner, Nick Linck, Andrea Loreggia, Keerthiram Murugesan, Nicholas Mattei, Francesca Rossi, Biplav Srivastava

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

A Finitist's Manifesto: Do we need to Reformulate the Foundations of Mathematics?

Jonathan Lenchner

CoRR, 2020

Line Segment Visibility: Theoretical and Experimental Results.

Jonathan Lenchner, Eli Packer

Proceedings of the 32nd Canadian Conference on Computational Geometry, 2020

2019

On a Generalization of the Marriage Problem.

Jonathan Lenchner

CoRR, 2019

From Hall's Marriage Theorem to Boolean Satisfiability and Back.

Jonathan Lenchner

CoRR, 2019

2018

Practices and Technology Needs of a Network of Farmers in Tharaka Nithi, Kenya.

Erick Oduor, Peninah Waweru, Jonathan Lenchner, Carman Neustaedter

Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems, 2018

2017

Connectivity Graphs of Uncertainty Regions.

Erin W. Chambers, Alejandro Erickson, Sándor P. Fekete, Jonathan Lenchner, Jeff Sember, S. Venkatesh, Ulrike Stege, Svetlana Stolpner, Christophe Weibel, Sue Whitesides

Algorithmica, 2017

Conversational Bootstrapping and Other Tricks of a Concierge Robot.

Shang Guo, Jonathan Lenchner, Jonathan H. Connell, Mishal Dholakia, Hidemasa Muta

Proceedings of the 2017 ACM/IEEE International Conference on Human-Robot Interaction, 2017

2016

Symbiotic Cognitive Computing.

Robert G. Farrell, Jonathan Lenchner, Jeffrey O. Kephart, Alan M. Webb, Michael J. Muller, Thomas D. Erikson, David O. Melville, Rachel K. E. Bellamy, Daniel M. Gruen, Jonathan H. Connell, Danny Soroker, Andy Aaron, Shari Trewin, Maryam Ashoori, Jason B. Ellis, Brian P. Gaucher, Dario Gil

AI Mag., 2016

Ceding Control: Empowering Remote Participants in Meetings involving Smart Conference Rooms.

Vinay Venkataraman, Jonathan Lenchner, Shari Trewin, Maryam Ashoori, Shang Guo, Mishal Dholakia, Pavan K. Turaga

Proceedings of the Symbiotic Cognitive Systems, 2016

2015

A Symbiotic Cognitive Computing Perspective on Autonomic Computing.

Jeffrey O. Kephart, Jonathan Lenchner

Proceedings of the 2015 IEEE International Conference on Autonomic Computing, 2015

2013

Analysis of Watson's Strategies for Playing Jeopardy!

Gerry Tesauro, David Gondek, Jonathan Lenchner, James Fan, John M. Prager

J. Artif. Intell. Res., 2013

Data center asset tracking using a mobile robot.

John C. Nelson, Jonathan Connell, Canturk Isci, Jonathan Lenchner

Proceedings of the ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems, 2013

2012

Simulation, learning, and optimization techniques in Watson's game strategies.

Gerry Tesauro, David Gondek, Jon Lenchner, James Fan, John M. Prager

IBM J. Res. Dev., 2012

2011

On the affine Sylvester problem.

Jonathan Lenchner

Discret. Appl. Math., 2011

Omittable Planes.

Branko Grünbaum, Jonathan Lenchner

Electron. J. Comb., 2011

A robot-in-residence for data center thermal monitoring and energy efficiency management.

Kevin Deland, Jonathan Lenchner, John C. Nelson, Jonathan Connell, James Thoensen, Jeffrey O. Kephart

Proceedings of the 9th International Conference on Embedded Networked Sensor Systems, 2011

Robotic mapping and monitoring of data centers.

Christopher R. Mansley, Jonathan Connell, Canturk Isci, Jonathan Lenchner, Jeffrey O. Kephart, Suzanne McIntosh, Michael Schappert

Proceedings of the IEEE International Conference on Robotics and Automation, 2011

Towards data center self-diagnosis using a mobile robot.

Jonathan Lenchner, Canturk Isci, Jeffrey O. Kephart, Christopher R. Mansley, Jonathan Connell, Suzanne McIntosh

Proceedings of the 8th International Conference on Autonomic Computing, 2011

A robot as mobile sensor and agent in data center energy management.

Hoi Y. Chan, Jonathan Connell, Canturk Isci, Jeffrey O. Kephart, Jonathan Lenchner, Christopher R. Mansley, Suzanne McIntosh

Proceedings of the 8th International Conference on Autonomic Computing, 2011

Semi-automated data center hotspot diagnosis.

Suzanne McIntosh, Jeffrey O. Kephart, Jonathan Lenchner, B. Yang, Metin Feridun, Michael Nidd, Axel Tanner, I. Barabasi

Proceedings of the 7th International Conference on Network and Service Management, 2011

2010

Utility-function-driven energy-efficient cooling in data centers.

Rajarshi Das, Jeffrey O. Kephart, Jonathan Lenchner, Hendrik F. Hamann

Proceedings of the 7th International Conference on Autonomic Computing, 2010

2009

A service delivery platform for server management services.

Jon Lenchner, Daniela Rosu, Nicole F. Velasquez, Shang Guo, Ken Christiance, Don DeFelice, Prasad M. Deshpande, Krishna Kummamuru, Naama Kraus, Laura Z. Luan, Debapriyo Majumdar, Martin McLaughlin, Shila Ofek-Koifman, Deepak Padmanabhan, Charles Perng, Haggai Roitman, Christopher Ward, James Young

IBM J. Res. Dev., 2009

2008

Omittable lines.

Leah Wrenn Berman, Branko Grünbaum, Jonathan Lenchner

Ars Math. Contemp., 2008

A note on alpha-drawable k-trees.

Svetlana Stolpner, Jonathan Lenchner, Giuseppe Liotta, David Bremner, Christophe Paul, Marc Pouget, Stephen K. Wismath

Proceedings of the 20th Annual Canadian Conference on Computational Geometry, 2008

2007

Opposite-Quadrant Depth in the Plane.

Hervé Brönnimann, Jonathan Lenchner, János Pach

Graphs Comb., 2007

Support Services: Persuading Employees and Customers to Do what Is in the Community's Best Interest.

Mark Brodie, Jennifer Lai, Jonathan Lenchner, William Luken, Kavitha Ranganathan, Jung-Mu Tang, Maja Vukovic

Proceedings of the Persuasive Technology, 2007

An Improved Bound for the Affine Sylvester Problem.

Jonathan Lenchner

Proceedings of the 19th Annual Canadian Conference on Computational Geometry, 2007

2006

Minimum-Cost Coverage of Point Sets by Disks

Esther M. Arkin, Hervé Brönnimann, Jeff Erickson, Sándor P. Fekete, Christian Knauer, Jonathan Lenchner, Joseph S. B. Mitchell, Kim Whittlesey

CoRR, 2006

Minimum-cost coverage of point sets by disks.

Helmut Alt, Esther M. Arkin, Hervé Brönnimann, Jeff Erickson, Sándor P. Fekete, Christian Knauer, Jonathan Lenchner, Joseph S. B. Mitchell, Kim Whittlesey

Proceedings of the 22nd ACM Symposium on Computational Geometry, 2006

2005

Observations and Computations in Sylvester-Gallai Theory.

Jonathan Lenchner, Hervé Brönnimann

Proceedings of the 17th Canadian Conference on Computational Geometry, 2005

2004

Wedges in Euclidean Arrangements.

Jonathan Lenchner

Proceedings of the Discrete and Computational Geometry, Japanese Conference, 2004