activity
20172026
most citedHow hard can it be? Estimating the difficulty of visual search in an image

6 citations · 10 across the 6 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2026

ASPIC: Proof-of-Concept ASP to Picat Transpiler

Cristian Grozea, Marius Popescu

This article presents ASPIC, a new proof-of-concept library that converts extended syntax ASP-Core-2 programs to Picat predicates that can be solved right away with the integrated…