Joaqui?n Arias
where else to find them
no profile links on file
what they talk about
their talks carry no tags yet
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Elmer Salazaronce
- Fang Lionce
- Gopal Guptaonce
all 8 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Modeling and Verification of Real-Time Systems with the Event Calculus and s(CAS | PADL 2022 | 2022-01-17 |
Models the Train-Gate-Controller in Event Calculus encoded for s(CASP), using CLP(R) so dense time and continuous positions/angles require no discretization… | ||
| Modeling Administrative Discretion Using Goal-Directed Answer Set Programming | Programming Languages and the Law 2022 (ProLaLa 2022) | 2022-01-16 |
Title:[ProLALA'22] Modeling Administrative Discretion Using Goal-Directed Answer Set Programming
Authors:Joaqui?n Arias, Mar Moreno-Rebato, Jose? Antonio… | ||
| nothing matches | ||