Zobrazeno 1 - 10
of 32
pro vyhledávání: '"Piergiorgio Bertoli"'
Publikováno v:
Journal of Artificial Intelligence Research. 35:49-117
Thanks to recent advances, AI Planning has become the underlying technique for several applications. Figuring prominently among these is automated Web Service Composition (WSC) at the "capability" level, where services are described in terms of preco
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::39bc337942b8af6919666b0039b05ea5
https://doi.org/10.1613/jair.2716
https://doi.org/10.1613/jair.2716
Publikováno v:
Università degli di Trento-IRIS
Rarely planning domains are fully observable. For this reason, the ability to deal with partial observability is one of the most important challenges in planning. In this paper, we tackle the problem of strong planning under partial observability in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d22fe22c13e9d69fd0838062e13c937b
https://doi.org/10.1016/j.artint.2006.01.004
https://doi.org/10.1016/j.artint.2006.01.004
Autor:
Roberto Tiella, Marco Pistore, Chiara Ghidini, Francesco Corcoglioniti, Michele Nori, Mauro Dragoni, Piergiorgio Bertoli, Chiara Di Francescomarino
Publikováno v:
The Semantic Web – ISWC 2014 ISBN: 9783319119144
International Semantic Web Conference (2)
International Semantic Web Conference (2)
The widespread adoption of Information Technology systems and their capability to trace data about process executions has made available Information Technology data for the analysis of process executions. Meanwhile, at business level, static and proc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c7cf22644bf306d6f20f398a549b590d
https://doi.org/10.1007/978-3-319-11915-1_15
https://doi.org/10.1007/978-3-319-11915-1_15
Autor:
Piergiorgio Bertoli, Paolo Traverso
Publikováno v:
International Journal on Software Tools for Technology Transfer. 3:78-92
We present part of an industrial project where mechanized theorem proving is used for the validation of a translator which generates safety critical software. In this project, the mechanized proof is decomposed in two parts: one is done “online”,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9e140e9f432ffbcc71bc1ff5f9141b3a
https://doi.org/10.1007/pl00010809
https://doi.org/10.1007/pl00010809
Publikováno v:
Fundamenta Informaticae. 39:39-57
Computer algebra systems (CASs) and automated theorem provers (ATPs) exhibit complementary abilities. CASs focus on efficiently solving domain-specific problems. ATPs are designed to allow for the formalization and solution of wide classes of problem
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4411da208ac2a13789bc63b8374369e5
https://doi.org/10.3233/fi-1999-391203
https://doi.org/10.3233/fi-1999-391203
Publikováno v:
Calculemus
The state of the art for reasoning systems is unsatisfactory in several respects. In most cases, provers are poorly specified, hardly interconnectible, and they require a deep insight of their custom features in order to fully exploit their capabilit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1efa687bc0cb0457a70dc9513e4dad6e
Publikováno v:
AI*IA 2013: Advances in Artificial Intelligence ISBN: 9783319035239
AI*IA
AI*IA
The growing adoption of IT systems to support business activities, and the consequent capability to monitor the actual execution of business processes, has brought to the diffusion of business analysis monitoring (BAM) tools, and of reasoning service
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::68f9813206219fe9538d759127841958
https://doi.org/10.1007/978-3-319-03524-6_40
https://doi.org/10.1007/978-3-319-03524-6_40
Autor:
Michele Nori, Mauro Dragoni, Piergiorgio Bertoli, Chiara Di Francescomarino, Chiara Ghidini, Marco Pistore, Emanuele Martufi
Publikováno v:
Service-Oriented Computing ISBN: 9783642173578
ICSOC
ICSOC
The growing adoption of IT systems to support business activities has made available huge amount of data, that can be used to monitor the actual execution of business processes. However, in many real settings, due to the different degrees of abstract
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8145e54491aab34a6a194c86da2c7d1e
https://doi.org/10.1007/978-3-642-45005-1_60
https://doi.org/10.1007/978-3-642-45005-1_60
Autor:
Jens Lemcke, Piergiorgio Bertoli, Farhana Zulkernine, Bernhard Thimmel, Andreas Friesen, Otfried von Geisau, Marco Pistore
Publikováno v:
ITNG
Business today is increasingly becoming servicedriven. A service represents either a part of or a complete business process, which in turn depicts the life cycle of a Business Object (BO). A number of actions constrained by a set of business policies
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::abfe4e46b3d2061055362d7da8447dc0
https://doi.org/10.1109/itng.2012.170
https://doi.org/10.1109/itng.2012.170
Publikováno v:
Business Information Systems Workshops ISBN: 9783642342271
BIS (Workshops)
BIS (Workshops)
In several relevant applicative domains, handling a high-level business process requires coordinating a variety of fragmented software systems, and coping with complex dynamics that crucially depend on non-controllable events and actions, also coming
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0bcf091be5a4cde3b6f206b74209bd70
https://doi.org/10.1007/978-3-642-34228-8_23
https://doi.org/10.1007/978-3-642-34228-8_23