Jonathan Lenchner

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 25

Top Topics

Boolean Satisfiability

Cortical Regions

Solving Planning Problems

Cognitive Computing

Top Venues

Publications

Marco Carmosino, Ronald Fagin, Neil Immerman, Phokion G. Kolaitis, Jonathan Lenchner, Rik Sengupta
On the Number of Quantifiers Needed to Define Boolean Functions. CoRR (2024)
Marco Carmosino, Ronald Fagin, Neil Immerman, Phokion G. Kolaitis, Jonathan Lenchner, Rik Sengupta
On the Number of Quantifiers Needed to Define Boolean Functions. MFCS (2024)
Chitra Subramanian, Miao Liu, Naweed Khan, Jonathan Lenchner, Aporva Amarnath, Sarathkrishna Swaminathan, Ryan Riegel, Alexander Gray
A Neuro-Symbolic Approach to Multi-Agent RL for Interpretability and Probabilistic Decision Making. CoRR (2024)
Marco Carmosino, Ronald Fagin, Neil Immerman, Phokion G. Kolaitis, Jonathan Lenchner, Rik Sengupta, R. Ryan Williams
Parallel Play Saves Quantifiers. CoRR (2024)
Luis A. Lastras, Barry M. Trager, Jonathan Lenchner, Wojtek Szpankowski, Chai Wah Wu, Mark S. Squillante, Alex Gray
Towards a Unification of Logic and Information Theory. CoRR (2023)
Marco Carmosino, Ronald Fagin, Neil Immerman, Phokion G. Kolaitis, Jonathan Lenchner, Rik Sengupta
A Finer Analysis of Multi-Structural Games and Beyond. CoRR (2023)
Ronald Fagin, Jonathan Lenchner, Nikhil Vyas, Ryan Williams
On the Number of Quantifiers as a Complexity Measure. CoRR (2022)
Jonathan Lenchner, Eli Packer
Line segment visibility with sidedness constraints. Comput. Geom. 107 (2022)
Marianna Bergamaschi Ganapini, Murray Campbell, Francesco Fabiano, Lior Horesh, Jonathan Lenchner, Andrea Loreggia, Nicholas Mattei, Francesca Rossi, Biplav Srivastava, Kristen Brent Venable
Combining Fast and Slow Thinking for Human-like and Efficient Decisions in Constrained Environments. NeSy (2022)
Ronald Fagin, Jonathan Lenchner, Nikhil Vyas, R. Ryan Williams
On the Number of Quantifiers as a Complexity Measure. MFCS (2022)
Marianna Bergamaschi Ganapini, Murray Campbell, Francesco Fabiano, Lior Horesh, Jonathan Lenchner, Andrea Loreggia, Nicholas Mattei, Francesca Rossi, Biplav Srivastava, Kristen Brent Venable
Combining Fast and Slow Thinking for Human-like and Efficient Navigation in Constrained Environments. TFSOCTAI@AAAI Fall Symposium (2021)
Ronald Fagin, Jonathan Lenchner, Kenneth W. Regan, Nikhil Vyas
Multi-Structural Games and Number of Quantifiers. LICS (2021)
Laura Challman Anderson, Michal Jacovi, Jonathan Lenchner, Jade Nguyen Strattner
The Engagement Catalyst Initiative: How One Global Organization Activates and Energizes Employee Engagement. AHFE (8) (2021)
Francesco Fabiano, Biplav Srivastava, Jonathan Lenchner, Lior Horesh, Francesca Rossi, Marianna Bergamaschi Ganapini
E-PDDL: A Standardized Way of Defining Epistemic Planning Problems. CoRR (2021)
Ronald Fagin, Jonathan Lenchner, Kenneth W. Regan, Nikhil Vyas
Multi-Structural Games and Number of Quantifiers. CoRR (2021)
Grady Booch, Francesco Fabiano, Lior Horesh, Kiran Kate, Jonathan Lenchner, Nick Linck, Andrea Loreggia, Keerthiram Murugesan, Nicholas Mattei, Francesca Rossi, Biplav Srivastava
Thinking Fast and Slow in AI. AAAI (2021)
Jonathan Lenchner, Eli Packer
Line Segment Visibility: Theoretical and Experimental Results. CCCG (2020)
Jonathan Lenchner
A Finitist's Manifesto: Do we need to Reformulate the Foundations of Mathematics? CoRR (2020)
Jonathan Lenchner
On a Generalization of the Marriage Problem. CoRR (2019)
Jonathan Lenchner
From Hall's Marriage Theorem to Boolean Satisfiability and Back. CoRR (2019)
Erick Oduor, Peninah Waweru, Jonathan Lenchner, Carman Neustaedter
Practices and Technology Needs of a Network of Farmers in Tharaka Nithi, Kenya. CHI (2018)
Shang Guo, Jonathan Lenchner, Jonathan H. Connell, Mishal Dholakia, Hidemasa Muta
Conversational Bootstrapping and Other Tricks of a Concierge Robot. HRI (2017)
Erin W. Chambers, Alejandro Erickson, Sándor P. Fekete, Jonathan Lenchner, Jeff Sember, S. Venkatesh, Ulrike Stege, Svetlana Stolpner, Christophe Weibel, Sue Whitesides
Connectivity Graphs of Uncertainty Regions. Algorithmica 78 (3) (2017)
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
Symbiotic Cognitive Computing. AI Mag. 37 (3) (2016)
Vinay Venkataraman, Jonathan Lenchner, Shari Trewin, Maryam Ashoori, Shang Guo, Mishal Dholakia, Pavan K. Turaga
Ceding Control: Empowering Remote Participants in Meetings involving Smart Conference Rooms. AAAI Workshop: Symbiotic Cognitive Systems (2016)
Jeffrey O. Kephart, Jonathan Lenchner
A Symbiotic Cognitive Computing Perspective on Autonomic Computing. ICAC (2015)
Gerald Tesauro, David Gondek, Jonathan Lenchner, James Fan, John M. Prager
Analysis of Watson's Strategies for Playing Jeopardy! CoRR (2014)
John C. Nelson, Jonathan Connell, Canturk Isci, Jonathan Lenchner
Data center asset tracking using a mobile robot. SIGMETRICS (2013)
Gerry Tesauro, David Gondek, Jonathan Lenchner, James Fan, John M. Prager
Analysis of Watson's Strategies for Playing Jeopardy! J. Artif. Intell. Res. 47 (2013)
Jonathan Lenchner
On the affine Sylvester problem. Discret. Appl. Math. 159 (7) (2011)
Kevin Deland, Jonathan Lenchner, John C. Nelson, Jonathan Connell, James Thoensen, Jeffrey O. Kephart
A robot-in-residence for data center thermal monitoring and energy efficiency management. SenSys (2011)
Branko Grünbaum, Jonathan Lenchner
Omittable Planes. Electron. J. Comb. 18 (1) (2011)
Suzanne McIntosh, Jeffrey O. Kephart, Jonathan Lenchner, B. Yang, Metin Feridun, Michael Nidd, Axel Tanner, I. Barabasi
Semi-automated data center hotspot diagnosis. CNSM (2011)
Christopher R. Mansley, Jonathan Connell, Canturk Isci, Jonathan Lenchner, Jeffrey O. Kephart, Suzanne McIntosh, Michael Schappert
Robotic mapping and monitoring of data centers. ICRA (2011)
Hoi Y. Chan, Jonathan Connell, Canturk Isci, Jeffrey O. Kephart, Jonathan Lenchner, Christopher R. Mansley, Suzanne McIntosh
A robot as mobile sensor and agent in data center energy management. ICAC (2011)
Jonathan Lenchner, Canturk Isci, Jeffrey O. Kephart, Christopher R. Mansley, Jonathan Connell, Suzanne McIntosh
Towards data center self-diagnosis using a mobile robot. ICAC (2011)
Erin W. Chambers, Alejandro Erickson, Sándor P. Fekete, Jonathan Lenchner, Jeff Sember, Srinivasan Venkatesh, Ulrike Stege, Svetlana Stolpner, Christophe Weibel, Sue Whitesides
Connectivity graphs of uncertainty regions CoRR (2010)
Erin W. Chambers, Alejandro Erickson, Sándor P. Fekete, Jonathan Lenchner, Jeff Sember, Srinivasan Venkatesh, Ulrike Stege, Svetlana Stolpner, Christophe Weibel, Sue Whitesides
Connectivity Graphs of Uncertainty Regions. ISAAC (2) (2010)
Rajarshi Das, Jeffrey O. Kephart, Jonathan Lenchner, Hendrik F. Hamann
Utility-function-driven energy-efficient cooling in data centers. ICAC (2010)
Svetlana Stolpner, Jonathan Lenchner, Giuseppe Liotta, David Bremner, Christophe Paul, Marc Pouget, Stephen K. Wismath
A note on alpha-drawable k-trees. CCCG (2008)
Leah Wrenn Berman, Branko Grünbaum, Jonathan Lenchner
Omittable lines. Ars Math. Contemp. 1 (2) (2008)
Mark Brodie, Jennifer Lai, Jonathan Lenchner, William Luken, Kavitha Ranganathan, Jung-Mu Tang, Maja Vukovic
Support Services: Persuading Employees and Customers to Do what Is in the Community's Best Interest. PERSUASIVE (2007)
Jonathan Lenchner
An Improved Bound for the Affine Sylvester Problem. CCCG (2007)
Hervé Brönnimann, Jonathan Lenchner, János Pach
Opposite-Quadrant Depth in the Plane. Graphs Comb. 23 (Supplement-1) (2007)
Esther M. Arkin, Hervé Brönnimann, Jeff Erickson, Sándor P. Fekete, Christian Knauer, Jonathan Lenchner, Joseph S. B. Mitchell, Kim Whittlesey
Minimum-Cost Coverage of Point Sets by Disks CoRR (2006)
Helmut Alt, Esther M. Arkin, Hervé Brönnimann, Jeff Erickson, Sándor P. Fekete, Christian Knauer, Jonathan Lenchner, Joseph S. B. Mitchell, Kim Whittlesey
Minimum-cost coverage of point sets by disks. SCG (2006)
Jonathan Lenchner, Hervé Brönnimann
Observations and Computations in Sylvester-Gallai Theory. CCCG (2005)
Jonathan Lenchner
Wedges in Euclidean Arrangements. JCDCG (2004)