The general purpose of this chapter is to provide a critical analysis on the controversial
enterprise of 'logics of discovery'. It is naturally divided into six parts. After this introduction, in …

Conditionals are sentences of the form'If A, then B', and they play a central role in scientific,
logical, and everyday reasoning. They have been in the philosophical limelight for centuries …

Automation and computer intelligence to support complex human decisions becomes
essential to manage large and distributed systems in the Cloud and IoT era. Understanding …

This book examines the philosophical conception of abductive reasoning as developed by
Charles S. Peirce, the founder of American pragmatism. It explores the historical and …

We argue for the usefulness of abductive reasoning in the context of ontologies. We discuss
several applicaton scenarios in which various forms of abduction would be useful, introduce …

We propose a novel black-box approach for performing adversarial attacks against
knowledge graph embedding models. An adversarial attack is a small perturbation of the …

In this paper, we consider the problem of learning a first-order theorem prover that uses a
representation of beliefs in mathematical claims to construct proofs. The inspiration for doing …

Due to the growing popularity of Description Logics-based knowledge representation
systems, predominantly in the context of Semantic Web applications, there is a rising …

The philosophy of science has lost its self-confidence, witness the lack of advanced
textbooks in contrast to the abundance of elementary textbooks. Structures in Science is an …

Many conditionals seem to convey the existence of a link between their antecedent and
consequent. We draw on a recently proposed typology of conditionals to argue for an old …