This paper considers key challenges to using re-inforcement learning (RL) with attack
graphs to automate penetration testing in real-world applications from a systems …

This paper studies the notions of conceptual grounding and conceptual explanation (which
includes the notion of mathematical explanation), with an aim of clarifying the links between …

According to an intuitive picture of relevant entailment, an entailment is relevant if all the
formulas it contains contribute to its validity. In this paper, we provide a ground-theoretic …

This paper evaluates the proof-theoretic definition of ground developed by Poggiolesi in a
range of recent publications and argues that her proposed definition fails. The paper then …

By adopting a proof-theoretic perspective on grounding, we provide a general framework
where several notions of grounding, such as complete and mediate, partial and immediate …

This chapter explores in a detailed yet accessible way the different logics of grounding that
have been proposed in recent years. Logically, the notion of grounding can be formalized in …

The main goal of this paper is to provide a ground-analysis of two classical connectives that
have so far been ignored in the literature, namely the exclusive disjunction, and the ternary …

Recent research shows that valuable contributions are obtained by applying even simple,
well-known computational techniques to texts from the history and philosophy of science …

In Poggiolesi [(2020a). Grounding principles for (relevant) implication. Synthese, 1–28], a
definition of the notion of grounding in the background of a relevant framework has been …

Millions of scientific articles are published each year, making it difficult to stay abreast of
advances within even the smallest subdisciplines. Traditional approaches to the study of …