default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJonathan Lenchner
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[j12]Ronald Fagin, Jonathan Lenchner, Kenneth W. Regan
, Nikhil Vyas:
Multi-Structural Games and Number of Quantifiers. Log. Methods Comput. Sci. 21(1) (2025)- [i18]Luis A. Lastras, Barry M. Trager, Jonathan Lenchner, Wojciech Szpankowski, Chai Wah Wu, Mark S. Squillante, Alexander Gray:
Breaking through the classical Shannon entropy limit: A new frontier through logical semantics. CoRR abs/2501.00612 (2025) - 2024
- [j11]Marco Carmosino, Ronald Fagin, Neil Immerman, Phokion G. Kolaitis, Jonathan Lenchner, Rik Sengupta:
Multi-Structural Games and Beyond. Log. Methods Comput. Sci. 20(4) (2024) - [c27]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: 34:1-34:16 - [i17]Marco Carmosino, Ronald Fagin, Neil Immerman, Phokion G. Kolaitis, Jonathan Lenchner, Rik Sengupta, R. Ryan Williams:
Parallel Play Saves Quantifiers. CoRR abs/2402.10293 (2024) - [i16]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 abs/2402.13440 (2024) - [i15]Marco Carmosino, Ronald Fagin, Neil Immerman, Phokion G. Kolaitis, Jonathan Lenchner, Rik Sengupta:
On the Number of Quantifiers Needed to Define Boolean Functions. CoRR abs/2407.00688 (2024) - 2023
- [i14]Luis A. Lastras, Barry M. Trager, Jonathan Lenchner, Wojciech Szpankowski, Chai Wah Wu, Mark S. Squillante, Alexander Gray:
Towards a Unification of Logic and Information Theory. CoRR abs/2301.10414 (2023) - [i13]Marco Carmosino, Ronald Fagin, Neil Immerman, Phokion G. Kolaitis, Jonathan Lenchner, Rik Sengupta:
A Finer Analysis of Multi-Structural Games and Beyond. CoRR abs/2301.13329 (2023) - 2022
- [j10]Jonathan Lenchner, Eli Packer:
Line segment visibility with sidedness constraints. Comput. Geom. 107: 101885 (2022) - [c26]Ronald Fagin, Jonathan Lenchner, Nikhil Vyas, R. Ryan Williams:
On the Number of Quantifiers as a Complexity Measure. MFCS 2022: 48:1-48:14 - [c25]Marianna Bergamaschi Ganapini, Murray Campbell, Francesco Fabiano, Lior Horesh, Jon Lenchner, Andrea Loreggia, Nicholas Mattei, Francesca Rossi, Biplav Srivastava, Kristen Brent Venable:
Thinking Fast and Slow in AI: The Role of Metacognition. LOD (2) 2022: 502-509 - [c24]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: 171-185 - [i12]Marianna Bergamaschi Ganapini, Murray Campbell, Francesco Fabiano, Lior Horesh, Jon Lenchner, Andrea Loreggia, Nicholas Mattei, Taher Rahgooy, Francesca Rossi, Biplav Srivastava, Kristen Brent Venable:
Combining Fast and Slow Thinking for Human-like and Efficient Navigation in Constrained Environments. CoRR abs/2201.07050 (2022) - [i11]Ronald Fagin, Jonathan Lenchner, Nikhil Vyas, Ryan Williams:
On the Number of Quantifiers as a Complexity Measure. CoRR abs/2207.00104 (2022) - 2021
- [c23]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: 15042-15046 - [c22]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 - [c21]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: 45-53 - [c20]Ronald Fagin, Jonathan Lenchner, Kenneth W. Regan, Nikhil Vyas:
Multi-Structural Games and Number of Quantifiers. LICS 2021: 1-13 - [i10]Ronald Fagin, Jonathan Lenchner, Kenneth W. Regan, Nikhil Vyas:
Multi-Structural Games and Number of Quantifiers. CoRR abs/2104.14709 (2021) - [i9]Francesco Fabiano, Biplav Srivastava, Jonathan Lenchner, Lior Horesh, Francesca Rossi, Marianna Bergamaschi Ganapini:
E-PDDL: A Standardized Way of Defining Epistemic Planning Problems. CoRR abs/2107.08739 (2021) - [i8]Marianna Bergamaschi Ganapini, Murray Campbell, Francesco Fabiano, Lior Horesh, Jon Lenchner, Andrea Loreggia, Nicholas Mattei, Francesca Rossi, Biplav Srivastava, Kristen Brent Venable:
Thinking Fast and Slow in AI: the Role of Metacognition. CoRR abs/2110.01834 (2021) - 2020
- [c19]Jonathan Lenchner, Eli Packer:
Line Segment Visibility: Theoretical and Experimental Results. CCCG 2020: 317-325 - [i7]Jonathan Lenchner:
A Finitist's Manifesto: Do we need to Reformulate the Foundations of Mathematics? CoRR abs/2009.06485 (2020) - [i6]Grady Booch, Francesco Fabiano, Lior Horesh, Kiran Kate, Jon Lenchner, Nick Linck, Andrea Loreggia, Keerthiram Murugesan, Nicholas Mattei, Francesca Rossi, Biplav Srivastava:
Thinking Fast and Slow in AI. CoRR abs/2010.06002 (2020)
2010 – 2019
- 2019
- [i5]Jonathan Lenchner:
From Hall's Marriage Theorem to Boolean Satisfiability and Back. CoRR abs/1904.07218 (2019) - [i4]Jonathan Lenchner:
On a Generalization of the Marriage Problem. CoRR abs/1907.05870 (2019) - 2018
- [c18]Erick Oduor, Peninah Waweru, Jonathan Lenchner, Carman Neustaedter:
Practices and Technology Needs of a Network of Farmers in Tharaka Nithi, Kenya. CHI 2018: 39 - 2017
- [j9]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): 990-1019 (2017) - [c17]Shang Guo, Jonathan Lenchner, Jonathan H. Connell, Mishal Dholakia, Hidemasa Muta:
Conversational Bootstrapping and Other Tricks of a Concierge Robot. HRI 2017: 73-81 - 2016
- [j8]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): 81-93 (2016) - [c16]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 - 2015
- [c15]Jeffrey O. Kephart, Jonathan Lenchner:
A Symbiotic Cognitive Computing Perspective on Autonomic Computing. ICAC 2015: 109-114 - 2014
- [i3]Gerald Tesauro, David Gondek, Jonathan Lenchner, James Fan, John M. Prager:
Analysis of Watson's Strategies for Playing Jeopardy! CoRR abs/1402.0571 (2014) - 2013
- [j7]Gerry Tesauro, David Gondek, Jonathan Lenchner, James Fan, John M. Prager:
Analysis of Watson's Strategies for Playing Jeopardy! J. Artif. Intell. Res. 47: 205-251 (2013) - [c14]John C. Nelson, Jonathan Connell, Canturk Isci, Jonathan Lenchner:
Data center asset tracking using a mobile robot. SIGMETRICS 2013: 339-340 - 2012
- [j6]Gerry Tesauro, David Gondek, Jon Lenchner, James Fan, John M. Prager:
Simulation, learning, and optimization techniques in Watson's game strategies. IBM J. Res. Dev. 56(3): 16 (2012) - 2011
- [j5]Branko Grünbaum, Jonathan Lenchner:
Omittable Planes. Electron. J. Comb. 18(1) (2011) - [j4]Jonathan Lenchner:
On the affine Sylvester problem. Discret. Appl. Math. 159(7): 612-620 (2011) - [c13]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: 1-7 - [c12]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: 81-90 - [c11]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: 165-166 - [c10]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: 5905-5910 - [c9]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: 381-382 - 2010
- [c8]Rajarshi Das, Jeffrey O. Kephart, Jonathan Lenchner, Hendrik F. Hamann:
Utility-function-driven energy-efficient cooling in data centers. ICAC 2010: 61-70 - [c7]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: 434-445 - [i2]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 abs/1009.3469 (2010)
2000 – 2009
- 2009
- [j3]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:
A service delivery platform for server management services. IBM J. Res. Dev. 53(6): 2 (2009) - 2008
- [j2]Leah Wrenn Berman, Branko Grünbaum, Jonathan Lenchner:
Omittable lines. Ars Math. Contemp. 1(2): 206-222 (2008) - [c6]Svetlana Stolpner, Jonathan Lenchner, Giuseppe Liotta, David Bremner, Christophe Paul, Marc Pouget, Stephen K. Wismath:
A note on alpha-drawable k-trees. CCCG 2008 - 2007
- [j1]Hervé Brönnimann, Jonathan Lenchner, János Pach:
Opposite-Quadrant Depth in the Plane. Graphs Comb. 23(Supplement-1): 145-152 (2007) - [c5]Jonathan Lenchner:
An Improved Bound for the Affine Sylvester Problem. CCCG 2007: 57-60 - [c4]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: 121-124 - 2006
- [c3]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: 449-458 - [i1]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 abs/cs/0604008 (2006) - 2005
- [c2]Jonathan Lenchner, Hervé Brönnimann:
Observations and Computations in Sylvester-Gallai Theory. CCCG 2005: 57-60 - 2004
- [c1]Jonathan Lenchner:
Wedges in Euclidean Arrangements. JCDCG 2004: 131-142
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 21:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
