Showing papers in "Journal of Applied Logic in 2017"

TL;DR: The aim of this paper is to show how fuzzy set theory, fuzzy decision-making and hybrid solutions based on fuzzy can be used in the various models for supplier assessment and selection in a 50 year period.

TL;DR: The experiments that were held to chose the appropriate classifiers by testing different classifiers and comparing them to increase the detection accuracy and obtain more information on the detected anomalies showed that a basic and simple classifier such as Naive Bayes has better classification results in the case of low-represented attacks.

TL;DR: Algebraic model counting (AMC) as discussed by the authors is a generalization of weighted model counting to a semiring structure that provides a unified view on a range of tasks and existing results.

TL;DR: An ear recognition system involving a convolutional neural networks (CNN) is proposed to identify a person given an input image and the F1 metric of the results shows improvements in specificity of the recognition.

TL;DR: This paper analyzes the state of the art of the information management in the SC, the relationship between inventory policies and available demand information, and the use of optimization methods to provide good solutions for the problem in single and multi depot versions.

TL;DR: This paper characterizes different distributed epistemic protocols in terms of the (largest) class of graphs where each protocol is successful, i.e. where the protocol necessarily ends up with all agents knowing all secrets.

TL;DR: A discussion of selected coordination mechanisms in the supply chain, its modelling in the form of a reference, as well as a discussion of the simulation experiment with the use of the FlexSim tool are discussed.

TL;DR: A lattice structure is provided to the set of hesitant fuzzy linguistic term sets by means of the operations intersection and connected union to create metric structures that allow distances between decision makers to be computed.

TL;DR: A methodology that combines the FEM and data mining techniques to determine the maximum load capacity in double-row tapered roller bearings (TRBs).

TL;DR: High power of modern digital signal processors and their decreasing prices enable practical implementation of different speed estimators which are used in the sensorless control of AC drives, and suitable structure of the artificial neural network with required number of neuron units is found which will ensure good control characteristics.

TL;DR: Six partitional and hierarchical clustering techniques with different distance criteria, together with some clustering evaluation measures, present various analyses of the main climatic zones in Spain through their application to data on meteorological conditions.

TL;DR: After many simulations of the quadrotor following randomly generated paths, it is proved that the fuzzy tuning law is not only a good and feasible solution, but also more general as it can be applied to any trajectory.

TL;DR: It was found that the 2DLDA method was the best one and the increase of the weak learners of the Bagging classifier yielded a better classification accuracy.

TL;DR: This paper proposes a clustering-based score ensembling method for outlier detection that offers only limited value for increasing overall performance, but provides robustness by negating the influence of severely underperforming models.

TL;DR: A normal form theorem for the natural deduction proof system N2Int of the bi-intuitionistic logic 2Int makes use of the faithful embedding of 2Int into intuitionistic logic with respect to validity and shows that conversions of dual proofs can be sidestepped.

TL;DR: Some structure features ofindustrial SAT instances are used to build some classifiers of industrial SAT families of instances, which are the scale-free structure, the community structure and the self-similar structure.

TL;DR: This work proposes a hybrid algorithm based on Heterogeneous Earliest Finish Time heuristic and genetic algorithm that combines best characteristics of both approaches and experimentally shows its efficiency for variable workload in dynamically changing heterogeneous computational environment.

TL;DR: In this article, a Markov reward model is constructed from the Control Data Flow Graph (CDFG) and a component characterization library targeting FPGAs for the analysis of the reliability, availability, safety and performance area tradeoffs of safety-critical systems for early design decisions.

TL;DR: This work argues that each property F is necessarily associated with an essence, which is the set of the so-called requisites of F that jointly define F, and replaces Boolean negation by property negation, enabling it to operate on contrary rather than contradictory properties.

TL;DR: A complete system able to extract causal sentences from a set of text documents, select the causal sentences contained, create a causal graph in base to a given concept using as source these causal sentences, and finally produce a text summary gathering all the information connected by means of this causal graph is proposed.

TL;DR: Three feature extraction techniques – namely, Locally Linear Embedding, Principal Component Analysis (PCA) and a Distance-Based PCA – are analyzed and their outcomes compared against K-Nearest Neighbor and Decision Trees.

TL;DR: It is shown that while Frege's notation has an ad hoc sign of assertion and an ad adjacency sign of negation, Peirce has a sign of assertions which is also aSign of logical conjunction, and a sign-of- scope which isAlso a signof negation.

TL;DR: This paper presents Magentix2 as a suitable MAS platform for the development of dynamic smart environments and illustrates the applicability and benefits of MagentIX2 in a set of scenarios in the context of smart-homes.

TL;DR: The notion of modal asimulation as an analogue of bisimulations is introduced and it is shown that this characterization can be easily carried over to arbitrary first-order definable subclasses of classical first- order models.

TL;DR: It is shown that just a few fundamental postulates are enough to cover major approaches to (multiple) iterated belief revision, and that independence in the sense of Thielscher, Jin, and Delgrande is optional.

TL;DR: The lower bound of the complexity of the fulfillment problem of these input/output logics is coNP, while the upper bound is either co NP, or P NP.

TL;DR: A combination of a fast and high quality segmentation algorithm with a one-class support vector machine approach for efficient anomaly detection in turbomachines is described.

TL;DR: It is shown how to embed both the standard intuitionistic and dual-intuitionistic natural deduction systems into the proposed system, which is a multiple-assumption multiple-conclusion system for bi-intUitionistic logic.

TL;DR: The notion of term structure associated to a set of formulas in the fuzzy context and the existence of free models in fuzzy universal Horn classes was introduced in this paper. But it was not shown in this paper that every equality-free consistent universal Horn fuzzy theory has a Herbrand model.

TL;DR: This paper provides both an Associative Commutative sound, confluent and terminating term rewrite system as well as a simple greedy rewrite system based on use of so-called non-local and bundled variants of computation tree logics.