Search Results for author:
Found 7 papers, 1 papers with code
When Prolog meets generative models: a new approach for managing knowledge and planning in robotic applications
In this paper, we propose a robot oriented knowledge management system based on the use of the Prolog language.
Efficient Reinforcement Learning for Jumping Monopods
In this work, we consider the complex control problem of making a monopod reach a target with a jump.
Verifying a stochastic model for the spread of a SARS-CoV-2-like infection: opportunities and limitations
In this paper, we take a Markovian stochastic model for the spread of a SARSCoV-2-like infection.
Analysis of Indistinguishable Trajectories of a Nonholonomic Vehicle Subject to Range Measurements
As discussed in this paper, such conditions can be expressed in terms of the shape of the trajectory, of the layout of the ranging sensors, and of the numbers of measurements collected from each of them.
A Markovian Model for the Spread of the SARS-CoV-2 Virus
For a given control policy, it is possible to verify if it satisfies an analytical property on the stochastic evolution of the state (e. g., to compute probability that the hospital beds will reach a fill level, or that a specified percentage of the population will die).
On the Tractability of Minimal Model Computation for Some CNF Theories
Therefore, a specific eliminating operator is defined by which the GEA computes, in polynomial time, a minimal model for a class of CNF that strictly includes head-elementary-set-free (HEF) CNF theories [GLL06], which form, in their turn, a strict superset of HCF theories.
Outlying Property Detection with Numerical Attributes
We introduce a measure to quantify the degree the outlierness of an object, which is associated with the relative likelihood of the value, compared to the to the relative likelihood of other objects in the database.
