12 citations · 12 across the 1 of their papers we have counts for
3 papers
astro-ph.SR2022★ 12 cited
Combining Hipparcos and Gaia data for the study of binaries: the BINARYS tool
A. Leclerc, C. Babusiaux, F. Arenou +6
Orbital motion in binary and planetary systems is the main source of precise stellar and planetary mass measurements, and joint analysis of data from multiple observational methods…
cs.AI2018
A survey of advances in epistemic logic program solvers
Anthony P. Leclerc, Patrick Thor Kahl
Recent research in extensions of Answer Set Programming has included a renewed interest in the language of Epistemic Specifications, which adds modal operators K ("known") and M ("…
cs.AI2016
A Parallel Memory-efficient Epistemic Logic Program Solver: Harder, Better, Faster
Patrick Thor Kahl, Anthony P. Leclerc, Tran Cao Son
As the practical use of answer set programming (ASP) has grown with the development of efficient solvers, we expect a growing interest in extensions of ASP as their semantics stabi…