Joaquín Arias - POPL 2022

Sun 16 - Fri 28 January 2022 Philadelphia, Pennsylvania, United States

Registered user since Wed 1 Sep 2021

Name:Joaquín Arias

Country:Spain

Affiliation:Universidad Rey Juan Carlos

Personal website: http://www.ia.urjc.es/GIA/joaquin-arias/

Contributions

2022

ProLaLa

Committee Member in Program Committee within the ProLaLa Programming Languages and the Law-track
Modeling Administrative Discretion Using Goal-Directed Answer Set Programming

Symposium on Practical Aspects of Declarative Languages

Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP)
Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming

Show activities from other conferences

POPL 2022-profile
View general profile