8.6k citations
- Universidade de Santiago de CompostelaES166 papers
- Uppsala UniversitySE145 papers
- Sorbonne UniversitéFR144 papers
- Universitat de BarcelonaES143 papers
- University of CambridgeGB142 papers
- University of GroningenNL142 papers
- Heidelberg UniversityDE140 papers
- University of EdinburghGB140 papers
- University of BristolGB139 papers
- Rutherford Appleton LaboratoryGB138 papers
- Eötvös Loránd UniversityHU136 papers
- University of BonnDE133 papers
532 papers
Bound-Founded Semantics for Answer Set Programming with Difference Constraints: Preliminary Report
Pedro Cabalar, Jorge Fandinno, Nicolas Rühling +3
While the integration of linear constraints has significantly expanded the reach of Answer Set Programming (ASP), existing hybrid solvers often rely on disparate semantic underpinn…
Learning Evidence of Depression Symptoms via Prompt Induction
Eliseo Bao, Anxo Perez, David Otero +1
Depression places substantial pressure on mental health services, and many people describe their experiences outside clinical settings in high-volume user-generated text (e.g., onl…
Formal Constraints on Dependency Syntax
Gómez-Rodríguez, Carlos, Alemany-Puig +1
Dependency syntax represents the structure of a sentence as a tree composed of dependencies, i.e., directed relations between lexical units. While in its more general form any such…
Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
Pedro Cabalar, Martín Diéguez, David Fernández-Duque +3
The relationship between intuitionistic or intermediate logics and logic programming has been extensively studied, prominently featuring Pearce's equilibrium logic and Osorio's saf…
Observation of the doubly charmed baryon with the LHCb Run 3 detector
LHCb collaboration, R. Aaij, M. Abdelfatah +1106
The first observation of the doubly charmed baryon is reported through its decay to the final state, with a statistical significance exceeding seven…
-jet fragmentation with decays in TeV collisions at LHCb
LHCb collaboration, R. Aaij, A. S. W. Abdelmotteleb +1166
The collinear and transverse-momentum-dependent jet fragmentation function and the radial profile for mesons in jets are measured. The mesons are reconstructed…