Texas Tech University

output

20032015

most citedCombined Measurement of the Higgs Boson Mass in

pp

Collisions at

s = 7

and 8 TeV with the ATLAS and CMS Experiments

1.4k citations

collaborating institutions

Fermi National Accelerator LaboratoryUS122 papers
The Ohio State UniversityUS117 papers
University of Wisconsin–MadisonUS117 papers
Massachusetts Institute of TechnologyUS116 papers
Northwestern UniversityUS116 papers
Johns Hopkins UniversityUS115 papers
Texas A&M UniversityUS115 papers
University of California, Los AngelesUS115 papers
University of FloridaUS115 papers
Baylor UniversityUS114 papers
Carnegie Mellon UniversityUS114 papers
Cornell UniversityUS114 papers

Showing 2013 · cs.AIShow all

1 paper · 2 filters

cs.AI2013★ 4 cited

Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules

Marcello Balduccini, Michael Gelfond

In this paper we continue the work on our extension of Answer Set Programming by non-Herbrand functions and add to the language support for arithmetic expressions and various inequ…