Manuel Carro
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Building Information Modeling Using Constraint Logic Programming (Extended Ab... | ProLaLa 2023 | 2023-01-15 |
Claims a unified BIM verifier that mixes geometric constraints and symbolic rules using CLP(Q/R) and an ASP-with-constraints engine, with a prototype 3D… | ||
| Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Progr | PADL 2022 | 2022-01-17 |
Dynamic Consistency Checking interleaves generation of goal-directed partial stable models in s(CASP) with early evaluation of global constraints (called… | ||
| nothing matches | ||