Zobrazeno 1 - 10
of 12
pro vyhledávání: '"Hugo-Andrés López"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Schrack, N, Cui, R, López-Acosta, H-A & Hershcovich, D 2022, Can AMR Assist Legal and Logical Reasoning? in Findings of the Association for Computational Linguistics . Association for Computational Linguistics, pp. 1555-1568, 2022 Conference on Empirical Methods in Natural Language Processing, Abu Dhabi, United Arab Emirates, 07/12/2022 .
Technical University of Denmark Orbit
Schrack, N, Cui, R, López, H A & Hershcovich, D 2022, Can AMR Assist Legal and Logical Reasoning? in Findings of the Association for Computational Linguistics: EMNLP 2022 . Association for Computational Linguistics, pp. 1555-1568, 2022 Findings of the Association for Computational Linguistics: EMNLP 2022, Abu Dhabi, United Arab Emirates, 07/12/2022 . < https://aclanthology.org/2022.findings-emnlp.112 >
Technical University of Denmark Orbit
Schrack, N, Cui, R, López, H A & Hershcovich, D 2022, Can AMR Assist Legal and Logical Reasoning? in Findings of the Association for Computational Linguistics: EMNLP 2022 . Association for Computational Linguistics, pp. 1555-1568, 2022 Findings of the Association for Computational Linguistics: EMNLP 2022, Abu Dhabi, United Arab Emirates, 07/12/2022 . < https://aclanthology.org/2022.findings-emnlp.112 >
Meaning Representation (AMR) has been shown to be useful for many downstream tasks. In this work, we explore the use of AMR for legal and logical reasoning. Specifically, we investigate if AMR can help capture logical relationships on multiple choice
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1ba174e3d67897279f24afbb68ff05a0
https://orbit.dtu.dk/en/publications/a6044952-c3db-4347-b253-f4d2f311c4ae
https://orbit.dtu.dk/en/publications/a6044952-c3db-4347-b253-f4d2f311c4ae
Publikováno v:
Vasconcelos, V T, Martins, F, López, H A & Yoshida, N 2022, ' A Type Discipline for Message Passing Parallel Programs ', ACM Transactions on Programming Languages and Systems, vol. 44, no. 4, 26 . https://doi.org/10.1145/3552519
We presentParTypes, a type discipline for parallel programs. The model we have in mind comprises a fixed number of processes running in parallel and communicating via collective operations or point-to-point synchronous message exchanges. A type descr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b530ca06dbcf39318edd41e9a06af569
https://curis.ku.dk/portal/da/publications/a-type-discipline-for-message-passing-parallel-programs(6a9ba7ff-01c7-439e-b12b-21d494acae94).html
https://curis.ku.dk/portal/da/publications/a-type-discipline-for-message-passing-parallel-programs(6a9ba7ff-01c7-439e-b12b-21d494acae94).html
Autor:
Greg Adamson, Hugo-Andrés López
Publikováno v:
2021 IEEE 25th International Enterprise Distributed Object Computing Workshop (EDOCW).
Publikováno v:
Revista Facultad Nacional de Agronomía Medellín, Vol 61, Iss 2, Pp 4701-4708 (2008)
Cuando se realizan labores agrícolas semimecanizadas como fertilización, fumigación, cosecha y otras, los operarios regularmente llevan una carga en su espalda y una herramienta en una de sus manos. En este trabajo se estimaron los esfuerzos que s
Externí odkaz:
https://doaj.org/article/2f4260adfc1142ec8c22989ae974e7dc
Publikováno v:
Burattin, A, Gianola, A, López, H A & Montali, M 2021, Exploring the conformance space (extended abstract) . in A M Marrella & D T Dupré (eds), Proceedings of the 1st Italian Forum on Business Process Management (ITBPM 2021), Rome, Italy, September 10th, 2021 . CEUR, CEUR Workshop Proceedings, vol. 2952, pp. 62-67, 1st Italian Forum on Business Process Management, ITBPM 2021, Rome, Italy, 10/09/2021 .
Scopus-Elsevier
Burattin, A, Gianola, A, López, H A & Montali, M 2021, Exploring the Conformance Space (Extended Abstract)⋆ . in Proceedings of the 1 st Italian Forum on Business Process Management . CEUR-WS, CEUR Workshop Proceedings, vol. 2952, 1 st Italian Forum on Business Process Management, Rome, Italy, 06/09/2021 .
University of Copenhagen
Scopus-Elsevier
Burattin, A, Gianola, A, López, H A & Montali, M 2021, Exploring the Conformance Space (Extended Abstract)⋆ . in Proceedings of the 1 st Italian Forum on Business Process Management . CEUR-WS, CEUR Workshop Proceedings, vol. 2952, 1 st Italian Forum on Business Process Management, Rome, Italy, 06/09/2021 .
University of Copenhagen
In this paper we highlight a yet unexplored dimension in BPM in general, and conformance checking, in particular. While a breadth of research has focused in differentiating conforming versus nonconforming process executions, little it is known about
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2ffb9f6ed0be74ce1f43b2a8f2eb33ec
https://curis.ku.dk/ws/files/282674953/Exploring_the_Conformance_Space.pdf
https://curis.ku.dk/ws/files/282674953/Exploring_the_Conformance_Space.pdf
Publikováno v:
University of Copenhagen
Scopus-Elsevier
Scopus-Elsevier
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6eef30ba45853c154187176c9a942b9f
https://curis.ku.dk/portal/en/publications/the-process-highlighter-from-texts-to-declarative-processes-and-back(2caa2d97-4cdd-436e-bb27-ee81f4e91251).html
https://curis.ku.dk/portal/en/publications/the-process-highlighter-from-texts-to-declarative-processes-and-back(2caa2d97-4cdd-436e-bb27-ee81f4e91251).html
Autor:
Hugo-Andrés López
Publikováno v:
University of Copenhagen
López, H A 2021, Challenges in legal process discovery . in A Marrella & D T Dupré (eds), Proceedings of the 1st Italian Forum on Business Process Management (ITBPM 2021), Rome, Italy, September 10th, 2021. . CEUR, CEUR Workshop Proceedings, vol. 2952, pp. 68-73, 1st Italian Forum on Business Process Management, ITBPM 2021, Rome, Italy, 10/09/2021 .
López, H A 2021, Challenges in legal process discovery . in A Marrella & D T Dupré (eds), Proceedings of the 1st Italian Forum on Business Process Management (ITBPM 2021), Rome, Italy, September 10th, 2021. . CEUR, CEUR Workshop Proceedings, vol. 2952, pp. 68-73, 1st Italian Forum on Business Process Management, ITBPM 2021, Rome, Italy, 10/09/2021 .
One of the main promises of process conformance is the opportunity to align normative processes (i.e. how the process should behave) and event logs (i.e. how does the process actually behaves). Results of conformance checking are valid as long as nor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4c513fecbec8b2f6a7771190015a8aa3
https://curis.ku.dk/portal/en/publications/challenges-in-legal-process-discovery(e1fcf7ae-4b3b-4ba2-b493-90928f6dc235).html
https://curis.ku.dk/portal/en/publications/challenges-in-legal-process-discovery(e1fcf7ae-4b3b-4ba2-b493-90928f6dc235).html
Publikováno v:
Scopus-Elsevier
University of Copenhagen
Strømsted, R, López-Acosta, H-A, Debois, S & Marquard, M 2018, Dynamic Evaluation Forms using Declarative Modeling . in B Weber, W M P van der Aalst, F Casati, R Conforti & M Dumas (eds), 16th International Conference on Business Process Management (BPM'18) . CEUR Workshop Proceedings, Sydney, Australia, CEUR Workshop Proceedings, vol. 2196, pp. 172-179 . < http://ceur-ws.org/Vol-2196/BPM_2018_paper_34.pdf >
University of Copenhagen
Strømsted, R, López-Acosta, H-A, Debois, S & Marquard, M 2018, Dynamic Evaluation Forms using Declarative Modeling . in B Weber, W M P van der Aalst, F Casati, R Conforti & M Dumas (eds), 16th International Conference on Business Process Management (BPM'18) . CEUR Workshop Proceedings, Sydney, Australia, CEUR Workshop Proceedings, vol. 2196, pp. 172-179 . < http://ceur-ws.org/Vol-2196/BPM_2018_paper_34.pdf >
The adoption of formal models by process specialists has facedtwo challenges: First, it requires process specialists to get training in formalmodeling. Second, the resulting specifications bear little resemblance wrt.the original descriptions. We int
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::64e671737a213d44191c05bcbebccf8a
http://www.scopus.com/inward/record.url?eid=2-s2.0-85053626872&partnerID=MN8TOARS
http://www.scopus.com/inward/record.url?eid=2-s2.0-85053626872&partnerID=MN8TOARS
Publikováno v:
University of Copenhagen
Choreographic programming is a programming-language design approach that drives error-safe protocol development in distributed systems. Starting from a global specification (choreography) one can generate distributed implementations. The advantages o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5e4b1ecf5bcec76fcf796612ed6deee4
https://curis.ku.dk/portal/en/publications/a-theory-of-availablebydesign-communicating-systems(00db0099-c202-4dd8-b7d4-bdbdf864952e).html
https://curis.ku.dk/portal/en/publications/a-theory-of-availablebydesign-communicating-systems(00db0099-c202-4dd8-b7d4-bdbdf864952e).html