-
Ultralight vector dark matter search using data from the KAGRA O3GK run
Authors:
The LIGO Scientific Collaboration,
the Virgo Collaboration,
the KAGRA Collaboration,
A. G. Abac,
R. Abbott,
H. Abe,
I. Abouelfettouh,
F. Acernese,
K. Ackley,
C. Adamcewicz,
S. Adhicary,
N. Adhikari,
R. X. Adhikari,
V. K. Adkins,
V. B. Adya,
C. Affeldt,
D. Agarwal,
M. Agathos,
O. D. Aguiar,
I. Aguilar,
L. Aiello,
A. Ain,
P. Ajith,
T. Akutsu,
S. Albanesi
, et al. (1778 additional authors not shown)
Abstract:
Among the various candidates for dark matter (DM), ultralight vector DM can be probed by laser interferometric gravitational wave detectors through the measurement of oscillating length changes in the arm cavities. In this context, KAGRA has a unique feature due to differing compositions of its mirrors, enhancing the signal of vector DM in the length change in the auxiliary channels. Here we prese…
▽ More
Among the various candidates for dark matter (DM), ultralight vector DM can be probed by laser interferometric gravitational wave detectors through the measurement of oscillating length changes in the arm cavities. In this context, KAGRA has a unique feature due to differing compositions of its mirrors, enhancing the signal of vector DM in the length change in the auxiliary channels. Here we present the result of a search for $U(1)_{B-L}$ gauge boson DM using the KAGRA data from auxiliary length channels during the first joint observation run together with GEO600. By applying our search pipeline, which takes into account the stochastic nature of ultralight DM, upper bounds on the coupling strength between the $U(1)_{B-L}$ gauge boson and ordinary matter are obtained for a range of DM masses. While our constraints are less stringent than those derived from previous experiments, this study demonstrates the applicability of our method to the lower-mass vector DM search, which is made difficult in this measurement by the short observation time compared to the auto-correlation time scale of DM.
△ Less
Submitted 5 March, 2024;
originally announced March 2024.
-
Identifying patterns and recommendations of and for sustainable open data initiatives: a benchmarking-driven analysis of open government data initiatives among European countries
Authors:
Martin Lnenicka,
Anastasija Nikiforova,
Mariusz Luterek,
Petar Milic,
Daniel Rudmark,
Sebastian Neumaier,
Caterina Santoro,
Cesar Casiano Flores,
Marijn Janssen,
Manuel Pedro Rodríguez Bolívar
Abstract:
Open government and open (government) data are seen as tools to create new opportunities, eliminate or at least reduce information inequalities and improve public services. More than a decade of these efforts has provided much experience, practices, and perspectives to learn how to better deal with them. This paper focuses on benchmarking of open data initiatives over the years and attempts to ide…
▽ More
Open government and open (government) data are seen as tools to create new opportunities, eliminate or at least reduce information inequalities and improve public services. More than a decade of these efforts has provided much experience, practices, and perspectives to learn how to better deal with them. This paper focuses on benchmarking of open data initiatives over the years and attempts to identify patterns observed among European countries that could lead to disparities in the development, growth, and sustainability of open data ecosystems. To do this, we studied benchmarks and indices published over the last years (57 editions of 8 artifacts) and conducted a comparative case study of eight European countries, identifying patterns among them considering different potentially relevant contexts such as e-government, open government data, open data indices and rankings, and others relevant for the country under consideration. Using a Delphi method, we reached a consensus within a panel of experts and validated a final list of 94 patterns, including their frequency of occurrence among studied countries and their effects on the respective countries. Finally, we took a closer look at the developments in identified contexts over the years and defined 21 recommendations for more resilient and sustainable open government data initiatives and ecosystems and future steps in this area.
△ Less
Submitted 9 December, 2023; v1 submitted 1 December, 2023;
originally announced December 2023.
-
First constraints on compact binary environments from LIGO-Virgo data
Authors:
Giada Caneva Santoro,
Soumen Roy,
Rodrigo Vicente,
Maria Haney,
Ornella Juliana Piccinni,
Walter Del Pozzo,
Mario Martinez
Abstract:
The LIGO-Virgo analysis of the signals from compact binary mergers observed so far have assumed in-vacuum isolated binary systems, neglecting the potential presence of astrophysical environments. Non-trivial environments may alter gravitational-wave emission, leaving imprints that can be observable via a characteristic dephasing of the emitted signal with respect to the vacuum scenario. We present…
▽ More
The LIGO-Virgo analysis of the signals from compact binary mergers observed so far have assumed in-vacuum isolated binary systems, neglecting the potential presence of astrophysical environments. Non-trivial environments may alter gravitational-wave emission, leaving imprints that can be observable via a characteristic dephasing of the emitted signal with respect to the vacuum scenario. We present here the first investigation of environmental effects on the events of the first gravitational-wave catalog (GWTC-1) by LIGO-Virgo. We include the effects of accretion and dynamical friction through a post-Newtonian deformation of the inspiral part of the waveform relative to the vacuum one. We find no evidence for the presence of environmental effects in GWTC-1. Most of the events decisively exclude the scenario of dynamical fragmentation of massive stars as their possible formation channel. Our analysis of GW170817 results in the upper bound on the medium density of $\lesssim 21\: \text{g/cm}^3$. We find that environmental effects can substantially bias the recovered parameters in the vacuum model, even when they are not detectable. Our results forecast that the future 2030s detectors Einstein Telescope and B-DECIGO will be able to probe the environmental effects of accretion disk and superradiant boson clouds on compact binaries.
△ Less
Submitted 10 October, 2023; v1 submitted 10 September, 2023;
originally announced September 2023.
-
Search for Eccentric Black Hole Coalescences during the Third Observing Run of LIGO and Virgo
Authors:
The LIGO Scientific Collaboration,
the Virgo Collaboration,
the KAGRA Collaboration,
A. G. Abac,
R. Abbott,
H. Abe,
F. Acernese,
K. Ackley,
C. Adamcewicz,
S. Adhicary,
N. Adhikari,
R. X. Adhikari,
V. K. Adkins,
V. B. Adya,
C. Affeldt,
D. Agarwal,
M. Agathos,
O. D. Aguiar,
I. Aguilar,
L. Aiello,
A. Ain,
P. Ajith,
T. Akutsu,
S. Albanesi,
R. A. Alfaidi
, et al. (1750 additional authors not shown)
Abstract:
Despite the growing number of confident binary black hole coalescences observed through gravitational waves so far, the astrophysical origin of these binaries remains uncertain. Orbital eccentricity is one of the clearest tracers of binary formation channels. Identifying binary eccentricity, however, remains challenging due to the limited availability of gravitational waveforms that include effect…
▽ More
Despite the growing number of confident binary black hole coalescences observed through gravitational waves so far, the astrophysical origin of these binaries remains uncertain. Orbital eccentricity is one of the clearest tracers of binary formation channels. Identifying binary eccentricity, however, remains challenging due to the limited availability of gravitational waveforms that include effects of eccentricity. Here, we present observational results for a waveform-independent search sensitive to eccentric black hole coalescences, covering the third observing run (O3) of the LIGO and Virgo detectors. We identified no new high-significance candidates beyond those that were already identified with searches focusing on quasi-circular binaries. We determine the sensitivity of our search to high-mass (total mass $M>70$ $M_\odot$) binaries covering eccentricities up to 0.3 at 15 Hz orbital frequency, and use this to compare model predictions to search results. Assuming all detections are indeed quasi-circular, for our fiducial population model, we place an upper limit for the merger rate density of high-mass binaries with eccentricities $0 < e \leq 0.3$ at $0.33$ Gpc$^{-3}$ yr$^{-1}$ at 90\% confidence level.
△ Less
Submitted 7 August, 2023;
originally announced August 2023.
-
Biography-based Robot Games for Older Adults
Authors:
Benedetta Catricalà,
Miriam Ledda,
Marco Manca,
Fabio Paternò,
Carmen Santoro,
Eleonora Zedda
Abstract:
One issue in aging is how to stimulate the cognitive skills of older adults. One way to address it is the use of serious games delivered through humanoid robots, to provide engaging ways to perform exercises to train memory, attention, processing, and planning activities. We present an approach in which a humanoid robot, by using various modalities, propose the games in a way personalised to speci…
▽ More
One issue in aging is how to stimulate the cognitive skills of older adults. One way to address it is the use of serious games delivered through humanoid robots, to provide engaging ways to perform exercises to train memory, attention, processing, and planning activities. We present an approach in which a humanoid robot, by using various modalities, propose the games in a way personalised to specific individuals' experiences using their personal memories associated with facts and events that occurred in older adults' life. This personalization can increase their interest and engagement, and thus potentially reduce the cognitive training drop-out.
△ Less
Submitted 31 May, 2023;
originally announced May 2023.
-
ICAROGW: A python package for inference of astrophysical population properties of noisy, heterogeneous and incomplete observations
Authors:
Simone Mastrogiovanni,
Grégoire Pierra,
Stéphane Perriès,
Danny Laghi,
Giada Caneva Santoro,
Archisman Ghosh,
Rachel Gray,
Christos Karathanasis,
Konstantin Leyde
Abstract:
We present icarogw 2.0, a pure CPU/GPU python code developed to infer astrophysical and cosmological population properties of noisy, heterogeneous, and incomplete observations. icarogw 2.0 is mainly developed for compact binary coalescence (CBC) population inference with gravitational wave (GW) observations. The code contains several models for masses, spins, and redshift of CBC distributions, and…
▽ More
We present icarogw 2.0, a pure CPU/GPU python code developed to infer astrophysical and cosmological population properties of noisy, heterogeneous, and incomplete observations. icarogw 2.0 is mainly developed for compact binary coalescence (CBC) population inference with gravitational wave (GW) observations. The code contains several models for masses, spins, and redshift of CBC distributions, and is able to infer population distributions as well as the cosmological parameters and possible general relativity deviations at cosmological scales. We present the theoretical and computational foundations of icarogw 2.0, and we describe how the code can be employed for population and cosmological inference using (i) only GWs, (ii) GWs and galaxy surveys and (iii) GWs with electromagnetic counterparts. We discuss the code performance on Graphical Processing Units (GPUs), finding a gain in computation time of about two orders of magnitudes when more than 100 GW events are involved for the analysis. We validate the code by re-analyzing GW population and cosmological studies, finding very good agreement with previous publications.
△ Less
Submitted 14 December, 2023; v1 submitted 29 May, 2023;
originally announced May 2023.
-
A novel approach to infer population and cosmological properties with gravitational waves standard sirens and galaxy surveys
Authors:
Simone Mastrogiovanni,
Danny Laghi,
Rachel Gray,
Giada Caneva Santoro,
Archisman Ghosh,
Christos Karathanasis,
Konstantin Leyde,
Danièle A. Steer,
Stéphane Perriès,
Grégoire Pierra
Abstract:
Gravitational wave (GW) sources at cosmological distances can be used to probe the expansion rate of the Universe. GWs directly provide a distance estimation of the source but no direct information on its redshift. The optimal scenario to obtain a redshift is through the direct identification of an electromagnetic (EM) counterpart and its host galaxy. With almost 100 GW sources detected without EM…
▽ More
Gravitational wave (GW) sources at cosmological distances can be used to probe the expansion rate of the Universe. GWs directly provide a distance estimation of the source but no direct information on its redshift. The optimal scenario to obtain a redshift is through the direct identification of an electromagnetic (EM) counterpart and its host galaxy. With almost 100 GW sources detected without EM counterparts (dark sirens), it is becoming crucial to have statistical techniques able to perform cosmological studies in the absence of EM emission. Currently, only two techniques for dark sirens are used on GW observations: the spectral siren method, which is based on the source-frame mass distribution to estimate conjointly cosmology and the source's merger rate, and the galaxy survey method, which uses galaxy surveys to assign a probabilistic redshift to the source while fitting cosmology. It has been recognized, however, that these two methods are two sides of the same coin. In this paper, we present a novel approach to unify these two methods. We apply this approach to several observed GW events using the \textsc{glade+} galaxy catalog discussing limiting cases. We provide estimates of the Hubble constant, modified gravity propagation effects, and population properties for binary black holes. We also estimate the binary black hole merger rate per galaxy to be $10^{-6}-10^{-5} {\rm yr^{-1}}$ depending on the galaxy catalog hypotheses.
△ Less
Submitted 14 December, 2023; v1 submitted 17 May, 2023;
originally announced May 2023.
-
An Adaptive Behaviour-Based Strategy for SARs interacting with Older Adults with MCI during a Serious Game Scenario
Authors:
Eleonora Zedda,
Marco Manca,
Fabio Paterno,
Carmen Santoro
Abstract:
The monotonous nature of repetitive cognitive training may cause losing interest in it and drop** out by older adults. This study introduces an adaptive technique that enables a Socially Assistive Robot (SAR) to select the most appropriate actions to maintain the engagement level of older adults while they play the serious game in cognitive training. The goal is to develop an adaptation strategy…
▽ More
The monotonous nature of repetitive cognitive training may cause losing interest in it and drop** out by older adults. This study introduces an adaptive technique that enables a Socially Assistive Robot (SAR) to select the most appropriate actions to maintain the engagement level of older adults while they play the serious game in cognitive training. The goal is to develop an adaptation strategy for changing the robot's behaviour that uses reinforcement learning to encourage the user to remain engaged. A reinforcement learning algorithm was implemented to determine the most effective adaptation strategy for the robot's actions, encompassing verbal and nonverbal interactions. The simulation results demonstrate that the learning algorithm achieved convergence and offers promising evidence to validate the strategy's effectiveness.
△ Less
Submitted 2 May, 2023;
originally announced May 2023.
-
Open data from the third observing run of LIGO, Virgo, KAGRA and GEO
Authors:
The LIGO Scientific Collaboration,
the Virgo Collaboration,
the KAGRA Collaboration,
R. Abbott,
H. Abe,
F. Acernese,
K. Ackley,
S. Adhicary,
N. Adhikari,
R. X. Adhikari,
V. K. Adkins,
V. B. Adya,
C. Affeldt,
D. Agarwal,
M. Agathos,
O. D. Aguiar,
L. Aiello,
A. Ain,
P. Ajith,
T. Akutsu,
S. Albanesi,
R. A. Alfaidi,
A. Al-Jodah,
C. Alléné,
A. Allocca
, et al. (1719 additional authors not shown)
Abstract:
The global network of gravitational-wave observatories now includes five detectors, namely LIGO Hanford, LIGO Livingston, Virgo, KAGRA, and GEO 600. These detectors collected data during their third observing run, O3, composed of three phases: O3a starting in April of 2019 and lasting six months, O3b starting in November of 2019 and lasting five months, and O3GK starting in April of 2020 and lasti…
▽ More
The global network of gravitational-wave observatories now includes five detectors, namely LIGO Hanford, LIGO Livingston, Virgo, KAGRA, and GEO 600. These detectors collected data during their third observing run, O3, composed of three phases: O3a starting in April of 2019 and lasting six months, O3b starting in November of 2019 and lasting five months, and O3GK starting in April of 2020 and lasting 2 weeks. In this paper we describe these data and various other science products that can be freely accessed through the Gravitational Wave Open Science Center at https://gwosc.org. The main dataset, consisting of the gravitational-wave strain time series that contains the astrophysical signals, is released together with supporting data useful for their analysis and documentation, tutorials, as well as analysis software packages.
△ Less
Submitted 7 February, 2023;
originally announced February 2023.
-
Image-based Navigation in Real-World Environments via Multiple Mid-level Representations: Fusion Models, Benchmark and Efficient Evaluation
Authors:
Marco Rosano,
Antonino Furnari,
Luigi Gulino,
Corrado Santoro,
Giovanni Maria Farinella
Abstract:
Navigating complex indoor environments requires a deep understanding of the space the robotic agent is acting into to correctly inform the navigation process of the agent towards the goal location. In recent learning-based navigation approaches, the scene understanding and navigation abilities of the agent are achieved simultaneously by collecting the required experience in simulation. Unfortunate…
▽ More
Navigating complex indoor environments requires a deep understanding of the space the robotic agent is acting into to correctly inform the navigation process of the agent towards the goal location. In recent learning-based navigation approaches, the scene understanding and navigation abilities of the agent are achieved simultaneously by collecting the required experience in simulation. Unfortunately, even if simulators represent an efficient tool to train navigation policies, the resulting models often fail when transferred into the real world. One possible solution is to provide the navigation model with mid-level visual representations containing important domain-invariant properties of the scene. But, what are the best representations that facilitate the transfer of a model to the real-world? How can they be combined? In this work we address these issues by proposing a benchmark of Deep Learning architectures to combine a range of mid-level visual representations, to perform a PointGoal navigation task following a Reinforcement Learning setup. All the proposed navigation models have been trained with the Habitat simulator on a synthetic office environment and have been tested on the same real-world environment using a real robotic platform. To efficiently assess their performance in a real context, a validation tool has been proposed to generate realistic navigation episodes inside the simulator. Our experiments showed that navigation models can benefit from the multi-modal input and that our validation tool can provide good estimation of the expected navigation performance in the real world, while saving time and resources. The acquired synthetic and real 3D models of the environment, together with the code of our validation tool built on top of Habitat, are publicly available at the following link: https://iplab.dmi.unict.it/EmbodiedVN/
△ Less
Submitted 4 October, 2023; v1 submitted 2 February, 2022;
originally announced February 2022.
-
Valorization of biodigestor plant waste in electrodes for supercapacitors and microbial fuel cells
Authors:
Bridget K. Mutuma,
Ndeye F. Sylla,
Amanda Bubu,
Ndeye M. Ndiaye,
Carlo Santoro,
Alessandro Brilloni,
Federico Poli,
Ncholu Manyala,
Francesca Soavi
Abstract:
This study aims at demonstrating that wastes from anaerobic biodigester plants can be effectively valorized as functional materials to be implemented in technologies that enable efficient energy management and water treatment, therefore simultaneously addressing the Water-Energy-Waste Nexus challenges. Lignin, the main solid residue of the biodigester plant, has been valorized into activated bioch…
▽ More
This study aims at demonstrating that wastes from anaerobic biodigester plants can be effectively valorized as functional materials to be implemented in technologies that enable efficient energy management and water treatment, therefore simultaneously addressing the Water-Energy-Waste Nexus challenges. Lignin, the main solid residue of the biodigester plant, has been valorized into activated biochar with a mild activation agent, like KHCO3, to produce electrode of supercapacitors and microbial fuel cells. In addition, the same sludge that is the liquid effluent of the biodigester plant has been exploited as inoculum and electrolyte for the MFC. The lignin derived carbons obtained at lignin/KHCO3 mass ratios of 1:0.5 (LAC-0.5) and 1:2 (LAC-2) comprised of mesopores and micropores displaying BETs of 1558 m2/g and 1879 m2/g, respectively. LAC-2 carbon exhibited a superior specific capacitance of 114 F/g in 2.5 M KNO3 with respect to LAC-0.5. A supercapacitor with LAC-2 electrodes was built displaying specific energy specific power up to 10 Wh/kg and 6.9 kW/kg, respectively. Durability tests showed that the device was able to maintain a capacitance retention of 84.5% after 15,000 charge-discharge cycles. The lignin-derived carbons were also studied as electrocatalysts for ORR in a neutral medium. The LAC-2 showed higher ORR electrocatalytic activity than LAC-0.5. The interconnected porous network and the high surface area made the lignin-derived porous carbons suitable electrode materials for dual applications. The feasibility of the use of LAC 2 carbon incorporated in an air breathing cathode for MFC applications is also reported.
△ Less
Submitted 2 November, 2021;
originally announced November 2021.
-
LIGO Detector Characterization in the Second and Third Observing Runs
Authors:
D. Davis,
J. S. Areeda,
B. K. Berger,
R. Bruntz,
A. Effler,
R. C. Essick,
R. P. Fisher,
P. Godwin,
E. Goetz,
A. F. Helmling-Cornell,
B. Hughey,
E. Katsavounidis,
A. P. Lundgren,
D. M. Macleod,
Z. Márka,
T. J. Massinger,
A. Matas,
J. McIver,
G. Mo,
K. Mogushi,
P. Nguyen,
L. K. Nuttall,
R. M. S. Schofield,
D. H. Shoemaker,
S. Soni
, et al. (262 additional authors not shown)
Abstract:
The characterization of the Advanced LIGO detectors in the second and third observing runs has increased the sensitivity of the instruments, allowing for a higher number of detectable gravitational-wave signals, and provided confirmation of all observed gravitational-wave events. In this work, we present the methods used to characterize the LIGO detectors and curate the publicly available datasets…
▽ More
The characterization of the Advanced LIGO detectors in the second and third observing runs has increased the sensitivity of the instruments, allowing for a higher number of detectable gravitational-wave signals, and provided confirmation of all observed gravitational-wave events. In this work, we present the methods used to characterize the LIGO detectors and curate the publicly available datasets, including the LIGO strain data and data quality products. We describe the essential role of these datasets in LIGO-Virgo Collaboration analyses of gravitational-waves from both transient and persistent sources and include details on the provenance of these datasets in order to support analyses of LIGO data by the broader community. Finally, we explain anticipated changes in the role of detector characterization and current efforts to prepare for the high rate of gravitational-wave alerts and events in future observing runs.
△ Less
Submitted 9 July, 2021; v1 submitted 27 January, 2021;
originally announced January 2021.
-
Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services (Extended Version)
Authors:
Domenico Cantone,
Carmelo Fabio Longo,
Marianna Nicolosi-Asmundo,
Daniele Francesco Santamaria,
Corrado Santoro
Abstract:
In this contribution we extend an ontology for modelling agents and their interactions, called Ontology for Agents, Systems, and Integration of Services (in short, OASIS), with conditionals and ontological smart contracts (in short, OSCs). OSCs are ontological representations of smart contracts that allow to establish responsibilities and authorizations among agents and set agreements, whereas con…
▽ More
In this contribution we extend an ontology for modelling agents and their interactions, called Ontology for Agents, Systems, and Integration of Services (in short, OASIS), with conditionals and ontological smart contracts (in short, OSCs). OSCs are ontological representations of smart contracts that allow to establish responsibilities and authorizations among agents and set agreements, whereas conditionals allow one to restrict and limit agent interactions, define activation mechanisms that trigger agent actions, and define constraints and contract terms on OSCs. Conditionals and OSCs, as defined in OASIS, are applied to extend with ontological capabilities digital public ledgers such as the blockchain and smart contracts implemented on it. We will also sketch the architecture of a framework based on the OASIS definition of OSCs that exploits the Ethereum platform and the Interplanetary File System.
△ Less
Submitted 20 February, 2024; v1 submitted 2 December, 2020;
originally announced December 2020.
-
Search for Gravitational Waves Associated with Gamma-Ray Bursts Detected by Fermi and Swift During the LIGO-Virgo Run O3a
Authors:
The LIGO Scientific Collaboration,
the Virgo Collaboration,
R. Abbott,
T. D. Abbott,
S. Abraham,
F. Acernese,
K. Ackley,
C. Adams,
R. X. Adhikari,
V. B. Adya,
C. Affeldt,
M. Agathos,
K. Agatsuma,
N. Aggarwal,
O. D. Aguiar,
A. Aich,
L. Aiello,
A. Ain,
P. Ajith,
G. Allen,
A. Allocca,
P. A. Altin,
A. Amato,
S. Anand,
A. Ananyeva
, et al. (1228 additional authors not shown)
Abstract:
We search for gravitational-wave transients associated with gamma-ray bursts detected by the Fermi and Swift satellites during the first part of the third observing run of Advanced LIGO and Advanced Virgo (1 April 2019 15:00 UTC - 1 October 2019 15:00 UTC). 105 gamma-ray bursts were analyzed using a search for generic gravitational-wave transients; 32 gamma-ray bursts were analyzed with a search t…
▽ More
We search for gravitational-wave transients associated with gamma-ray bursts detected by the Fermi and Swift satellites during the first part of the third observing run of Advanced LIGO and Advanced Virgo (1 April 2019 15:00 UTC - 1 October 2019 15:00 UTC). 105 gamma-ray bursts were analyzed using a search for generic gravitational-wave transients; 32 gamma-ray bursts were analyzed with a search that specifically targets neutron star binary mergers as short gamma-ray burst progenitors. We describe a method to calculate the probability that triggers from the binary merger targeted search are astrophysical and apply that method to the most significant gamma-ray bursts in that search. We find no significant evidence for gravitational-wave signals associated with the gamma-ray bursts that we followed up, nor for a population of unidentified subthreshold signals. We consider several source types and signal morphologies, and report for these lower bounds on the distance to each gamma-ray burst.
△ Less
Submitted 20 August, 2021; v1 submitted 27 October, 2020;
originally announced October 2020.
-
Parametric external predicates for the DLV System
Authors:
G. Ianni,
F. Calimeri,
A. Pietramala,
M. C. Santoro
Abstract:
This document describes syntax, semantics and implementation guidelines in order to enrich the DLV system with the possibility to make external C function calls. This feature is realized by the introduction of parametric external predicates, whose extension is not specified through a logic program but implicitly computed through external code.
This document describes syntax, semantics and implementation guidelines in order to enrich the DLV system with the possibility to make external C function calls. This feature is realized by the introduction of parametric external predicates, whose extension is not specified through a logic program but implicitly computed through external code.
△ Less
Submitted 5 April, 2004;
originally announced April 2004.