Set-quality indicators have been used in Evolutionary Multiobjective Optimization Algorithms (EMOAs) to guide the search process. A new class of set-quality indicators, the Sharpe-Ratio Indicator, combining the selection of solutions with fitness assignment has been recently proposed. This class is based on a formulation of fitness assignment as a Portfolio Selection Problem which sees solution...

In the last years there has been an increasing demand of a variety of logical systems, prompted mostly by applications of logic in AI, logic programming and other related areas. Labeled Deductive Systems (LDS) were developed as a °exible methodology to formalize such a kind of complex logical systems. During the last decade defeasible argumentation has proven to be a con°uence point for many ap...

Theoretical economics makes use of strict mathematical methods. For instance, games as introduced by von Neumann and Morgenstern allow for formal mathematical proofs for certain axiomatized economical situations. Such proofs can—at least in principle—also be carried through in formal systems such as Theorema. In this paper we describe experiments carried through using the Theorema system to pro...

Hartmanis' observation. How important is theory for practical problems? In his recent talk 4], J. Hartmanis analyzed several cases when a long-standing open theoretical problem was solved, and came up with a rather unexpected conclusion: that if some theoretical result is very diicult to prove or disprove, then usually, this result has little or no practical usefulness. This observation seemed ...

Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engineering; it has also attracted attention from the AI community. However, existing approaches are mostly experiential; moreover, those model-based approaches are based on abstract models of programs, which lends an expe...

Section 1 : Introduction.............................................................................................................1 Section 2 : The land security issue in the development literature ............................................3 1. Land policies and their underlying theoretical basis .........................................................3 2. The case for security as an empi...

Deep learning has had a profound impact on computer science in recent years, with applications to search engines, image recognition and language processing, bioinformatics, and more. Recently, Cohen et al. provided theoretical evidence for the superiority of deep learning over shallow learning. I formalized their mathematical proof using the proof assistant Isabelle/HOL. This formalization simp...

This paper proposes a model for formalizing concept characteristics in a manner consistent with the Terminology theoretical framework. We will focus on the identification of the elements that take part in characteristic formalization and their role, as well as on the double nature of characteristic. Finally, we provide a preliminary outline of characteristics description formalization using an ...