10.9k citations
- Centre National de la Recherche ScientifiqueFR245 papers
- Rutherford Appleton LaboratoryGB173 papers
- University College LondonGB171 papers
- Sorbonne UniversitéFR162 papers
- University of LiverpoolGB161 papers
- University of GlasgowGB157 papers
- University of BolognaIT152 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR143 papers
- University of CambridgeGB142 papers
- Lawrence Berkeley National LaboratoryUS138 papers
- University of Wisconsin–MadisonUS137 papers
- Sapienza University of RomeIT136 papers
79 papers · 1 filter
ALPprolog --- A New Logic Programming Method for Dynamic Domains
Conrad Drescher, Michael Thielscher
Logic programming is a powerful paradigm for programming autonomous agents in dynamic domains, as witnessed by languages such as Golog and Flux. In this work we present ALPprolog,…
Indication of Electron Neutrino Appearance from an Accelerator-produced Off-axis Muon Neutrino Beam
T2K Collaboration, K. Abe, N. Abgrall +408
The T2K experiment observes indications of appearance in data accumulated with protons on target. Six events pass all selection criteria at…
Experimenting with Transitive Verbs in a DisCoCat
Edward Grefenstette, Mehrnoosh Sadrzadeh
Formal and distributional semantic models offer complementary benefits in modeling meaning. The categorical compositional distributional (DisCoCat) model of meaning of Coecke et al…
Rewriting Ontological Queries into Small Nonrecursive Datalog Programs
Georg Gottlob, Thomas Schwentick
We consider the setting of ontological database access, where an Abox is given in form of a relational database D and where a Boolean conjunctive query q has to be evaluated agains…
Reconfigurable knots and links in chiral nematic colloids
Uroš Tkalec, Miha Ravnik, Simon Čopar +2
Tying knots and linking microscopic loops of polymers, macromolecules, or defect lines in complex materials is a challenging task for material scientists. We demonstrate the knotti…
A Maximal Tractable Class of Soft Constraints
D. Cohen, M. Cooper, P. Jeavons +1
Many researchers in artificial intelligence are beginning to explore the use of soft constraints to express a set of (possibly conflicting) problem requirements. A soft constraint…