500 citations
- Yale UniversityUS26 papers
- California Institute of TechnologyUS22 papers
- Stanford UniversityUS21 papers
- University of British ColumbiaCA20 papers
- Jet Propulsion LaboratoryUS19 papers
- University of TorontoCA19 papers
- Centre National de la Recherche ScientifiqueFR18 papers
- Center for Astrophysics Harvard & SmithsonianUS17 papers
- Goddard Space Flight CenterUS17 papers
- University of BolognaIT15 papers
- University of PennsylvaniaUS15 papers
- Canadian Institute for Theoretical AstrophysicsCA14 papers
Showing 2011Show all
3 papers · 1 filter
cs.AI2011
Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving
Michael Schneider, Geoff Sutcliffe
OWL 2 has been standardized by the World Wide Web Consortium (W3C) as a family of ontology languages for the Semantic Web. The most expressive of these languages is OWL 2 Full, but…
physics.soc-ph2011★ 102 cited
Dynamic Red Queen explains patterns in fatal insurgent attacks
Neil Johnson, Spencer Carran, Joel Botner +5
The Red Queen's notion "It takes all the running you can do, to keep in the same place" has been applied within evolutionary biology, politics and economics. We find that a general…
math.CO2011★ 2 cited
A uniform bijection between nonnesting and noncrossing partitions
Drew Armstrong, Christian Stump, Hugh Thomas
In 2007, D.I. Panyushev defined a remarkable map on the set of nonnesting partitions (antichains in the root poset of a finite Weyl group). In this paper we identify Panyushev's ma…