Results 21 to 30 of about 140,423 (144)
Preferential Cyber Defense for Power Grids
PRX Energy, 2023 The integration of computing and communication capabilities into the power grid has led to vulnerabilities enabling attackers to launch cyberattacks on the grid.
Mohammadamin Moradi +3 more
doaj +1 more source
Logical Methods in Computer ScienceMeasurable cones, with linear and measurable functions as morphisms, are a model of intuitionistic linear logic and of call-by-name probabilistic PCF which accommodates "continuous data types" such as the real line.
Thomas Ehrhard, Guillaume Geoffroy
doaj +1 more source
Asynchronous Probabilistic Couplings in Higher-Order Separation Logic [PDF]
, 2023 Probabilistic couplings are the foundation for many probabilistic relational program logics and arise when relating random sampling statements across two programs. In relational program logics, this manifests as dedicated coupling rules that, e.g., say we may reason as if two sampling statements return the same value.
arxiv +1 more source
Semantic Probabilistic Inference of Predictions
Известия Иркутского государственного университета: Серия "Математика", 2017 Prediction is one of the most important concepts in science. Predictions obtained from probabilistic knowledge, are described by an inductive-statistical inference (I-S inference).
E. E. Vityaev
doaj +1 more source
Infinite probability computation by cyclic explanation graphs [PDF]
Theory and Practice of Logic Programming 14 (2014) 909-937, 2013 Tabling in logic programming has been used to eliminate redundant computation and also to stop infinite loop. In this paper we investigate another possibility of tabling, i.e. to compute an infinite sum of probabilities for probabilistic logic programs.
arxiv +1 more source
Inference and learning in probabilistic logic programs using weighted Boolean formulas [PDF]
Theory and Practice of Logic Programming 15 (2015) 358-401, 2013 Probabilistic logic programs are logic programs in which some of the facts are annotated with probabilities. This paper investigates how classical inference and learning tasks known from the graphical model community can be tackled for probabilistic logic programs.
arxiv +1 more source
smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation [PDF]
arXiv, 2023 Argumentation problems are concerned with determining the acceptability of a set of arguments from their relational structure. When the available information is uncertain, probabilistic argumentation frameworks provide modelling tools to account for it.
arxiv
Divergences on Monads for Relational Program Logics [PDF]
, 2022 Several relational program logics have been introduced for integrating reasoning about relational properties of programs and measurement of quantitative difference between computational effects. Towards a general framework for such logics, in this paper, we formalize quantitative difference between computational effects as divergence on monad, then ...
arxiv +1 more source
An asymptotic analysis of probabilistic logic programming, with implications for expressing projective families of distributions [PDF]
arXiv, 2021 Probabilistic logic programming is a major part of statistical relational artificial intelligence, where approaches from logic and probability are brought together to reason about and learn from relational domains in a setting of uncertainty. However, the behaviour of statistical relational representations across variable domain sizes is complex, and ...
arxiv
Women online: A study of Common Service Centres in India using a capability approach
Asia &the Pacific Policy Studies, Volume 9, Issue 3, Page 268-287, September 2022., 2022 Abstract Income‐generating activities by women are an effective means of reducing gender‐based deprivation and disparities. In the constrained familial and community settings of developing economies, online platforms can be an appropriate means for women to carry out economic activities. In this context, important initiatives taken by the Government of
Meenakshi Rajeev, Supriya Bhandarkar
wiley +1 more source