Jonathan Lenchner

53 papers A* 6B 4C 1Misc 1Journal 27Unranked 14

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