Collection
High-Impact Research from Logic Journal of the IGPL
Explore a collection of the most read and most cited articles making an impact in Logic Journal of the IGPL published within the past two years. This collection will be continuously updated with the journal's leading articles so be sure to revisit periodically to see what is being read and cited.
Also discover the articles being discussed the most on digital media by exploring this Altmetric report pulling the most discussed articles from the past year.
Most cited
Localization Wireless Sensor Networks (WSN) represent a research topic with increasing interest due to their numerous applications. However, the viability of these systems is compromised by the attained localization uncertainties once implemented, since the network performance is highly dependent on the sensors location. ...
Convolutional Neural Networks (CNNs) have become ubiquitous in many NLP tasks. However, understanding its process is still an area with much to be done. In this paper, we introduce a method to study the interpretability of CNNs when used for text classification. More specifically, we work on the interpretability of the ...
Connexive logic has room for two pairs of universal and particular quantifiers: one pair, $\forall $ and $\exists $ , are standard quantifiers; the other pair, $\mathbb{A}$ and $\mathbb{E}$ , are unorthodox, but we argue, are well-motivated in the context of connexive logic. Both non-standard quantifiers have been ...
Feature selection is a widely studied technique whose goal is to reduce the dimensionality of the problem by removing irrelevant features. It has multiple benefits, such as improved efficacy, efficiency and interpretability of almost any type of machine learning model. Feature selection techniques may be divided into three ...
This paper aims to enhance security in IoT device networks through a visual tool that utilizes three projection techniques, including Beta Hebbian Learning (BHL), t-distributed Stochastic Neighbor Embedding (t-SNE) and ISOMAP, in order to facilitate the identification of network attacks by human experts. This work research ...
Ship-type identification in a maritime context can be critical to the authorities to control the activities being carried out. Although Automatic Identification Systems has been mandatory for certain vessels, if a vessel does not have them voluntarily or not, it can lead to a whole set of problems, which is why the use of ...
We study a propositional probabilistic temporal epistemic logic $\textbf {PTEL}$ with both future and past temporal operators, with non-rigid set of agents and the operators for agents’ knowledge and for common knowledge and with probabilities defined on the sets of runs and on the sets of possible worlds. A semantics is ...
In this paper we address the problem of short-term electric energy prediction using a time series forecasting approach applied to data generated by a Paraguayan electricity distribution provider. The dataset used in this work contains data collected over a three-year period. This is the first time that these data have been ...
Most read
Research Article
The demand for meat and dairy products is expected to rise significantly in the current demographic and economic growth context. Concurrently, various factors, including financial crises and reduced profitability, have decreased the number of livestock farms. Consequently, the livestock industry is undergoing ...
The demand for meat and dairy products is expected to rise significantly in the current demographic and economic growth context. Concurrently, various factors, including financial crises and reduced profitability, have decreased the number of livestock farms. Consequently, the livestock industry is undergoing ...
Research Article
With the advent of the cloud computing model allowing a shared access to massive computing facilities, a surging demand emerges for the protection of the intellectual property tied to the programs executed on these uncontrolled systems. If novel paradigm as confidential computing aims at protecting the data manipulated ...
With the advent of the cloud computing model allowing a shared access to massive computing facilities, a surging demand emerges for the protection of the intellectual property tied to the programs executed on these uncontrolled systems. If novel paradigm as confidential computing aims at protecting the data manipulated ...
Research Article
In proof-theoretic semantics, meaning is based on inference. It may seen as the mathematical expression of the inferentialist interpretation of logic. Much recent work has focused on base-extension semantics, in which the validity of formulas is given by an inductive definition generated by provability in a ‘base’ of ...
In proof-theoretic semantics, meaning is based on inference. It may seen as the mathematical expression of the inferentialist interpretation of logic. Much recent work has focused on base-extension semantics, in which the validity of formulas is given by an inductive definition generated by provability in a ‘base’ of ...
Research Article
For companies involved in the supply chain, proper warehousing management is crucial. Warehouse layout arrangement and operation play a critical role in a company’s ability to maintain and improve its competitiveness. Reducing costs and increasing efficiency are two of the most crucial warehousing goals. Deciding on the ...
For companies involved in the supply chain, proper warehousing management is crucial. Warehouse layout arrangement and operation play a critical role in a company’s ability to maintain and improve its competitiveness. Reducing costs and increasing efficiency are two of the most crucial warehousing goals. Deciding on the ...
Research Article
Time series forecasting is a well-known deep learning application field in which previous data are used to predict the future behavior of the series. Recently, several deep learning approaches have been proposed in which several nonlinear functions are applied to the input to obtain the output. In this paper, we introduce ...
Time series forecasting is a well-known deep learning application field in which previous data are used to predict the future behavior of the series. Recently, several deep learning approaches have been proposed in which several nonlinear functions are applied to the input to obtain the output. In this paper, we introduce ...
Research Article
A sustainable supply chain management strategy reduces risks and meets environmental, economic and social objectives by integrating environmental and financial practices. In an ever-changing environment, supply chains have become vulnerable at many levels. In a global supply chain, carefully tracing a product is of great ...
A sustainable supply chain management strategy reduces risks and meets environmental, economic and social objectives by integrating environmental and financial practices. In an ever-changing environment, supply chains have become vulnerable at many levels. In a global supply chain, carefully tracing a product is of great ...
Research Article
We develop a proof-theoretic semantics—in particular, a base-extension semantics—for multi-agent $S5$ modal logic (and hence also for the usual unindexed $S5$ ). Following the inferentialist interpretation of logic, this gives us a semantics in which validity is based on proof rather than truth. In base-extension ...
We develop a proof-theoretic semantics—in particular, a base-extension semantics—for multi-agent $S5$ modal logic (and hence also for the usual unindexed $S5$ ). Following the inferentialist interpretation of logic, this gives us a semantics in which validity is based on proof rather than truth. In base-extension ...
Research Article
This paper is intended first for the formal argumentation community (see https://comma.csc.liv.ac.uk/ ). This community develops logics and systems modelling argumentation and dialogues. The community is in search of major applications areas for their models. One such application area e.g. is Law. The message of this paper ...
This paper is intended first for the formal argumentation community (see https://comma.csc.liv.ac.uk/ ). This community develops logics and systems modelling argumentation and dialogues. The community is in search of major applications areas for their models. One such application area e.g. is Law. The message of this paper ...
Delve into the Women in Science collection
Recognizing and Celebrating Women in Science
Oxford University Press is proud to support diverse voices across our publishing. In this collection, we shine a spotlight on the representation of women in scientific fields, the gains that have been made in their fields, from research and major discoveries to advocacy and outreach, and amplify the voices of women who have made a career in scientific research.
Delve into the Women in Science collection
