works on
B meson decays 1cp violation 1flavor physics 1lhcb experiment 1penguin contributions 1time-dependent asymmetry 1

From the 2 of 33 papers with an AI index.

most citedProbing the nature of the state using radiative decays

12 citations

researchers with a paper here
collaborating institutions
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2026

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…