512 citations
- The Ohio State UniversityUS9 papers
- University of CincinnatiUS9 papers
- Centre National de la Recherche ScientifiqueFR8 papers
- University of MiamiUS8 papers
- University of WashingtonUS8 papers
- University of MissouriUS6 papers
- Hebrew University of JerusalemIL5 papers
- Northwestern UniversityUS5 papers
- Rutgers, The State University of New JerseyUS5 papers
- Sorbonne UniversitéFR5 papers
- Central South UniversityCN4 papers
- Imperial College LondonGB4 papers
19 papers · 1 filter
Uniform subsequential estimates on weakly null sequences
M. Brixey, R. M. Causey, P. Frankart
We provide a generalization of two results of Knaust and Odell from \cite{KO2} and \cite{KO}. We prove that if is a Banach space and is a right dominant Sc…
Stability of KKT systems and superlinear convergence of the SQP method under parabolic regularity
Ashkan Mohammadi, Boris Mordukhovich, Ebrahim Sarabi
This paper pursues a two-fold goal. Firstly, we aim to derive novel second-order characterizations of important robust stability properties of perturbed Karush-Kuhn-Tucker systems…
Fixed rings of quantum generalized Weyl algebras
Jason Gaddis, Phuong Ho
Generalized Weyl Algebras (GWAs) appear in diverse areas of mathematics including mathematical physics, noncommutative algebra, and representation theory. We study the invariants o…
Weak Vopěnka's Principle does not imply Vopěnka's Principle
Trevor M. Wilson
Vopěnka's Principle says that the category of graphs has no large discrete full subcategory, or equivalently that the category of ordinals cannot be fully embedded into it. Weak Vo…
RestKB: A Library of Commonsense Knowledge about Dining at a Restaurant
Daniela Inclezan
This paper presents a library of commonsense knowledge, RestKB, developed in modular action language ALM and containing background knowledge relevant to the understanding of restau…
Proceedings 35th International Conference on Logic Programming (Technical Communications)
Bart Bogaerts, Esra Erdem, Paul Fodor +7
Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all ar…