A Temporal Description Logic for Reasoning about Actions and Plans

Autor: Artale, A., Franconi, E.

Publikováno v: Journal Of Artificial Intelligence Research, Volume 9, pages 463-506, 1998

A class of interval-based temporal languages for uniformly representing and reasoning about actions and plans is presented. Actions are represented by describing what is true while the action itself is occurring, and plans are constructed by temporal

Externí odkaz: http://arxiv.org/abs/1105.5446

Point-Of-Care low-field MRI in acute Stroke (POCS): protocol for a multicentric prospective open-label study evaluating diagnostic accuracy.

Autor: Foschi M; Department of Biotechnological and Applied Clinical Sciences, University of L'Aquila, L'Aquila, Italy., Galante A; Department of Life, Health & Environmental Sciences, University of L'Aquila, L'Aquila, Italy.; National Institute for Nuclear Physics, Gran Sasso National Laboratory, L'Aquila, Italy.; SPIN-CNR, c/o Department of Physical and Chemical Science, University of L'Aquila, L'Aquila, Italy., Ornello R; Department of Biotechnological and Applied Clinical Sciences, University of L'Aquila, L'Aquila, Italy., Necozione S; Department of Life, Health & Environmental Sciences, University of L'Aquila, L'Aquila, Italy., Marini C; Department of Life, Health & Environmental Sciences, University of L'Aquila, L'Aquila, Italy., Muselli M; Department of Life, Health & Environmental Sciences, University of L'Aquila, L'Aquila, Italy., Achard PO; Department of Industrial and Information Engineering and Economics, University of L'Aquila, L'Aquila, Italy., Fratocchi L; Department of Industrial and Information Engineering and Economics, University of L'Aquila, L'Aquila, Italy., Vinci SL; Department of Biomorf, University of Messina, UOC Neuroradiology, Messina, Italy., Cavallaro M; Department of Biomorf, University of Messina, UOC Neuroradiology, Messina, Italy., Silvestrini M; Department of Experimental and Clinical Medicine, Neurological Clinic, Marche Polytechnic University, Ancona, Italy., Polonara G; Department of Odontostomatological and Specialized Clinical Sciences, Polytechnic University of Marche, Ancona, Italy., Marcheselli S; Emergency Neurology and Stroke Unit, IRCCS Humanitas Research Hospital, Rozzano, Italy., Straffi L; Emergency Neurology and Stroke Unit, IRCCS Humanitas Research Hospital, Rozzano, Italy., Colasurdo M; Department of Neuroscience and Clinical Sciences, University of Chieti, Chieti, Italy., Sorrentino L; Department of Civil and Mechanical Engineering, University of Cassino and Southern Lazio, Cassino, Italy., Franconi E; Faculty of Computer Science, Free University of Bozen-Bolzano, Bolzano, Italy., Alecci M; Department of Life, Health & Environmental Sciences, University of L'Aquila, L'Aquila, Italy.; National Institute for Nuclear Physics, Gran Sasso National Laboratory, L'Aquila, Italy.; SPIN-CNR, c/o Department of Physical and Chemical Science, University of L'Aquila, L'Aquila, Italy., Caulo M; Department of Neuroscience and Clinical Sciences, University of Chieti, Chieti, Italy., Sacco S; Department of Biotechnological and Applied Clinical Sciences, University of L'Aquila, L'Aquila, Italy simona.sacco@univaq.it.

Publikováno v: BMJ open [BMJ Open] 2024 Jan 31; Vol. 14 (1), pp. e075614. Date of Electronic Publication: 2024 Jan 31.

How to reason with OWL in a logic programming system

Autor: Krötzsch, M, Hitzler, P, Vrandecic, D, Sintek, M, Eiter, T, Franconi, E, Hodgson, R, Stephens, S

Publikováno v: RuleML

Logic programming has always been a major ontology modeling paradigm, and is frequently being used in large research projects and industrial applications, e.g., by means of the F-Logic reasoning engine OntoBroker or the TRIPLE query, inference, and t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a0555309ecbf8ace4c25b41720ef373f
https://doi.org/10.1109/ruleml.2006.14

Lossless Selection Views under Constraints

Autor: Ingo Feinerer, Franconi, E., Guagliardo, P.

Publikováno v: Feinerer, I, Guagliardo, P & Franconi, E 2014, Lossless Selection Views under Constraints . in Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, Cartagena de Indias, Colombia, June 4-6, 2014. . < http://ceur-ws.org/Vol-1189/paper_1.pdf >
Scopus-Elsevier
University of Edinburgh-PURE

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::862e26cefbf9195625f93589f2468e22
https://hdl.handle.net/20.500.11820/633698ff-7d47-4ec1-a3a5-8ea4b19919c2

Effectively Updatable Conjunctive Views

Autor: Franconi, E., Paolo Guagliardo

Publikováno v: Franconi, E & Guagliardo, P 2013, Effectively Updatable Conjunctive Views . in Proceedings of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management, Puebla/Cholula, Mexico, May 21-23, 2013. . < http://ceur-ws.org/Vol-1087/paper7.pdf >
University of Edinburgh-PURE
Scopus-Elsevier

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2b6e24aca664948a34080d6e97a1cb69
https://hdl.handle.net/20.500.11820/b01dcd18-62d9-4042-984a-9abc9f29edca