Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
ARIAS, JOAQUIN
811  Ergebnisse:
Personensuche X
?
1

Towards value-awareness in administrative processes: an app..:

, In: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing,
Arias, Joaquín ; Moreno-Rebato, Mar ; Rodriguez-Garcia, Jose Antonio. - p. 770-778 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

Prolog: Past, Present, and Future:

, In: Prolog: The Next 50 Years; Lecture Notes in Computer Science,
Gupta, Gopal ; Salazar, Elmer ; Shakerin, Farhad... - p. 48-61 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Teach the importance of logic (programming) in Computer Sci..:

, In: 2023 International Symposium on Computers in Education (SIIE),
Arias, Joaquin - p. 1-6 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Automated Interactive Domain-Specific Conversational Agents..:

, In: Practical Aspects of Declarative Languages; Lecture Notes in Computer Science,
Zeng, Yankai ; Rajasekharan, Abhiramon ; Padalkar, Parth... - p. 204-222 , 2023
Link: https://doi.org/10.1007/..
 
?
5

Automated legal reasoning with discretion to act using s(LA..:

Arias, Joaquín ; Moreno-Rebato, Mar ; Rodriguez-García, Jose A..
Artificial Intelligence and Law.  , 2023
Link: https://doi.org/10.1007/..
 
?
6

On Admissible Behaviours for Goal-Oriented Decision-Making ..:

, In: Multi-Agent Systems; Lecture Notes in Computer Science,
Holgado-Sánchez, Andrés ; Arias, Joaquín ; Moreno-Rebato, Mar. - p. 415-424 , 2023
Link: https://doi.org/10.1007/..
 
?
7

Jury-Trial Story Construction and Analysis Using Goal-Direc..:

, In: Practical Aspects of Declarative Languages; Lecture Notes in Computer Science,
Xu, Zesheng ; Arias, Joaquín ; Salazar, Elmer... - p. 261-278 , 2023
Link: https://doi.org/10.1007/..
 
?
8

Towards Dynamic Consistency Checking in Goal-Directed Predi..:

, In: Practical Aspects of Declarative Languages; Lecture Notes in Computer Science,
Arias, Joaquín ; Carro, Manuel ; Gupta, Gopal - p. 117-134 , 2022
Link: https://doi.org/10.1007/..
 
?
9

Modeling and Verification of Real-Time Systems with the Eve..:

, In: Practical Aspects of Declarative Languages; Lecture Notes in Computer Science,
Varanasi, Sarat Chandra ; Arias, Joaquín ; Salazar, Elmer... - p. 181-190 , 2022
Link: https://doi.org/10.1007/..
 
?
10

Building Information Modeling Using Constraint Logic Progra..:

ARIAS, JOAQUÍN ; TÖRMÄ, SEPPO ; CARRO, MANUEL.
Theory and Practice of Logic Programming.  22 (2022)  5 - p. 723-738 , 2022
Link: https://doi.org/10.1017/..
 
?
11

Modeling and Reasoning in Event Calculus using Goal-Directe..:

ARIAS, JOAQUÍN ; CARRO, MANUEL ; CHEN, ZHUO.
Theory and Practice of Logic Programming.  22 (2021)  1 - p. 51-80 , 2021
Link: https://doi.org/10.1017/..
 
?
12

Modeling Administrative Discretion Using Goal-Directed Answ..:

, In: Advances in Artificial Intelligence; Lecture Notes in Computer Science,
Arias, Joaquín ; Moreno-Rebato, Mar ; Rodriguez-García, Jose A.. - p. 258-267 , 2021
Link: https://doi.org/10.1007/..
 
?
13

A scoping review on incentives for adoption of sustainable ..:

Piñeiro, Valeria ; Arias, Joaquín ; Dürr, Jochen...
Nature Sustainability.  3 (2020)  10 - p. 809-820 , 2020
Link: https://doi.org/10.1038/..
 
?
14

Modeling and Reasoning in Event Calculus Using Goal-Directe..:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,
Arias, Joaquín ; Chen, Zhuo ; Carro, Manuel. - p. 139-155 , 2020
Link: https://doi.org/10.1007/..
 
?
15

Description, Implementation, and Evaluation of a Generic De..:

ARIAS, JOAQUÍN ; CARRO, MANUEL
Theory and Practice of Logic Programming.  19 (2019)  3 - p. 412-448 , 2019
Link: https://doi.org/10.1017/..
 
1-15