Alexandros Efremidis

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 3

Top Topics

Function Symbols

Prolog Programs

Answer Set Programming

Top Venues

Publications

Alexandros Efremidis
Solving B Constraints with Goal-directed Answer Set Programming. ICLP Workshops (2021)
Alexandros Efremidis, Joshua Schmidt, Sebastian Krings, Philipp Körner
Measuring Coverage of Prolog Programs Using Mutation Testing. CoRR (2018)
Alexandros Efremidis, Joshua Schmidt, Sebastian Krings, Philipp Körner
Measuring Coverage of Prolog Programs Using Mutation Testing. WFLP (2018)