s of Invited Talks Regression Tests and the Inventor’s Dilemma . . . . . . . . . . . . . . . . . . . . . . . . . 1 Leonardo de Moura Introducing StarExec: a Cross-Community Infrastructure for Logic Solving 2 Aaron Stump, Geoff Sutcliffe and Cesare Tinelli

Deontic logic is a very well researched branch of mathematical logic and philosophy. Various kinds of deontic logics are discussed for different application domains like argumentation theory, legal reasoning, and acts in multi-agent systems. In this paper, we show how standard deontic logic can be stepwise transformed into description logic and DLclauses, such that it can be processed by Hyper,...

this paper will examine ibn sina’s theory of the conditional syllogism from a purely logical point of view, and will lay bare the principles he adopted for founding his theory, and the reason why the newly introduced part of his logic remained undeveloped and eventually was removed from the texts of logic in the later islamic tradition. as a preliminary discussion, this paper briefly examines i...

Entrepreneurship, innovation and creativity are considered key factors of the economic growth because they usually bring on behaviors aligned with the market development, productivity and social cohesion. This study aims to analyze the factors that influence the entrepreneurial role, and provide a better understanding of this behavior from a dynamic perspective, in order to support policies for...

the design and application of a fuzzy logic based controller to a leakage current relay waspresented in this paper. a novel approach based on fuzzy logic to form the tripping action of leakagecurrent relay was investigated. in addition to the theoretical aspect of fuzzy logic, detection of a leakagecurrent, measurement of the leakage current, determination of its duration, trip opening of fault...

New trends and the effect of key factors influence the quality of the holes produced by ECM processes. Researchers developed a fuzzy logic controller by adding intelligence to the ECM process. Maintaining optimum ECM process conditions ensures higher machining efficiency and performance. This paper presents the development of a fuzzy logic controller to add intelligence to the ECM process. An e...

International entries into transition economies occur infrequently and involve considerable uncertainty. This raises the question whether managers, who have limited own experience, take their competitors’ prior decisions into account when deciding on their own entry timing and size and whether there is value in doing so. To address these questions, the authors estimate a sequential hazard/Poiss...

This study focuses on the role of habit in the process of information use underlying daily travel mode choices. Based on the ‘policy capturing’ paradigm, eighty-two students performed a multi attribute travel mode judgment task, in which they could use information about travel circumstances in order to make a number of judgments. Measures of information use were obtained by performing multiple ...