Joaquín Arias
where else to find them
no profile links on file
what they talk about
where they keep going back
- PADL3 editions2022–2024
on a stage with
all 10 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Automated Interactive Domain-Specific Conversational Agents that Understand Huma... | PADL 2024 | 2024-01-15 |
AutoConcierge maps utterances to structured predicates and back to sentences: uses GPT-3 to convert dialogs into predicates then runs those predicates through… | ||
| Jury-trial Story Construction and Analysis using Goal-directed Answer Set Progra... | PADL 2023 | 2023-01-16 |
Goal-directed Answer Set Programming with s(CASP) top-down ASP models Commonwealth of Massachusetts v. Johnson as facts and defaults, then queries for… | ||
| 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 | ||