Browsing
     by title


0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:   
OK
Full Text
See detailLogic, Decidability and Numeration Systems
Charlier, Emilie ULiege

Conference (2016, November)

The theorem of Büchi-Bruyère states that a subset of N^d is b-recognizable if and only if it is b-definable. As a corollary, the first-order theory of (N,+,V_b) is decidable (where V_b(n) is the largest ... [more ▼]

The theorem of Büchi-Bruyère states that a subset of N^d is b-recognizable if and only if it is b-definable. As a corollary, the first-order theory of (N,+,V_b) is decidable (where V_b(n) is the largest power of the base b dividing n). This classical result is a powerful tool in order to show that many properties of b-automatic sequences are decidable. The first part of my lecture will be devoted to presenting this result and its applications to b-automatic sequences. Then I will move to b-regular sequences, which can be viewed as a generalization of b-automatic sequences to integer-valued sequences. I will explain how first-order logic can be used to show that many enumeration problems of b-automatic sequences give rise to corresponding b-regular sequences. Finally, I will consider more general frameworks than integer bases and (try to) give a state of the art of the research in this domain. [less ▲]

Detailed reference viewed: 20 (0 ULiège)
Full Text
Peer Reviewed
See detailLogic, Knowledge and Language, 14-15 March
Leclercq, Bruno ULiege

in The Reasoner (2013), 7

Detailed reference viewed: 58 (3 ULiège)
Full Text
Peer Reviewed
See detailLogic, mathematics, ontology. Alfred North Whitehead's early work
Leclercq, Bruno ULiege; Deroo, Emeline ULiege

in Logique et Analyse (2011), 54(213),

Detailed reference viewed: 133 (7 ULiège)
Peer Reviewed
See detailLogica en esthetica. Notities bij ‘Het bordeel van Ika Loch’ van Paul van Ostaijen
Spinoy, Erik ULiege

in Spiegel der Letteren (1995), 37(2-3), 89-128

This article is an innovative rereading of Van Ostaijen's grotesque story 'Ikla Loch's Brothel', in light of the author's late philosophical views.

Detailed reference viewed: 43 (0 ULiège)
Full Text
Peer Reviewed
See detailLogica en esthetica. Notities bij ‘Het bordeel van Ika Loch’ van Paul van Ostaijen
Spinoy, Erik ULiege

in Digitale Biblioitheek der Nederlandse Letteren (2005)

This article rereads Van Ostaijen's grotesque story within the context of Kantian philosophy, one of Van Ostaijen's primary sources of theoretical inspiration.

Detailed reference viewed: 30 (1 ULiège)
Full Text
See detailLogica vetus
Adam, Renaud ULiege

in de Vos, Wim; Cahen-Delhaye, Anne (Eds.) België : de tien instellingen van het Federaal Wetenschapsbeleid (2005)

Detailed reference viewed: 2 (0 ULiège)
Full Text
Peer Reviewed
See detailLogical analysis and its ontological consequences : Rise, fall and resurgence of intensional objects in contemporary philosophy
Leclercq, Bruno ULiege

in Petrov, Vesselin (Ed.) Ontological landscapes. Recent thought on conceptual interfaces between science and philosophy (2010)

The aim of this paper will be to show how significant the logical theories of judgement which were worked out at the end of the nineteenth century have been for the ontological thought during the ... [more ▼]

The aim of this paper will be to show how significant the logical theories of judgement which were worked out at the end of the nineteenth century have been for the ontological thought during the twentieth century. Against the classical - Aristotelian and Scholastic - analysis of predicative judgement, Franz Brentano on one hand and Gottlob Frege on the other hand have leveled two different criticisms, which then generated two radically divergent ontological paradigms. On one side, despite Brentano’s own nominalistic stands, there was a tremendous extension of the general category of “object” as well as of the notion of “being” with, as a consequence, the exceptionnally luxuriant ontologies of Brentano’s heirs. On the other side, notwithstanding Frege’s own Platonistic affinities, there was a drastic deflation of the realm of objects to the benefit of the realm of concepts taken as classifying functions, and therefore a strong nominalistic trend among Frege’s heirs. The development of quantified modal logics at the middle of twentieth century however forced contemporary ontology to reconsider this simple alternative in order to give place to some hybrid entities such as individual concepts or other kinds of “intensional objects”. [less ▲]

Detailed reference viewed: 146 (6 ULiège)
Full Text
See detailLogical Analysis of Data and Classification
Crama, Yves ULiege

Conference (2010, March 25)

Detailed reference viewed: 14 (0 ULiège)
Full Text
Peer Reviewed
See detailLogical Analysis of Data: Classification with justification
Boros, Endre; Crama, Yves ULiege; Hammer, Peter L. et al

in Annals of Operations Research (2011), 188

Learning from examples is a frequently arising challenge, with a large number of algorithms proposed in the classification, data mining and machine learning literature. The evaluation of the quality of ... [more ▼]

Learning from examples is a frequently arising challenge, with a large number of algorithms proposed in the classification, data mining and machine learning literature. The evaluation of the quality of such algorithms is frequently carried out ex post, on an experimental basis: their performance is measured either by cross validation on benchmark data sets, or by clinical trials. Few of these approaches evaluate the learning process ex ante, on its own merits. In this paper, we dis- cuss a property of rule-based classifiers which we call "justifiability", and which focuses on the type of information extracted from the given training set in order to classify new observations. We investigate some interesting mathematical properties of justifiable classifiers. In partic- ular, we establish the existence of justifiable classifiers, and we show that several well-known learning approaches, such as decision trees or nearest neighbor based methods, automatically provide justifiable clas- sifiers. We also identify maximal subsets of observations which must be classified in the same way by every justifiable classifier. Finally, we illustrate by a numerical example that using classifiers based on "most justifiable" rules does not seem to lead to over fitting, even though it involves an element of optimization. [less ▲]

Detailed reference viewed: 79 (5 ULiège)
Full Text
Peer Reviewed
See detailLogical characterization of recognizable sets of polynomials over a finite field
Rigo, Michel ULiege; Waxweiler, Laurent

in International Journal of Foundations of Computer Science (2011), 22(7), 1549-1563

The ring of integers and the ring of polynomials over a finite field share a lot of properties. Using a bounded number of polynomial coefficients, any polynomial can be decomposed as a linear combination ... [more ▼]

The ring of integers and the ring of polynomials over a finite field share a lot of properties. Using a bounded number of polynomial coefficients, any polynomial can be decomposed as a linear combination of powers of a non-constant polynomial P playing the role of the base of the numeration. Having in mind the theorem of Cobham from 1969 about recognizable sets of integers, it is natural to study $P$-recognizable sets of polynomials. Based on the results obtained in the Ph.D. thesis of the second author, we study the logical characterization of such sets and related properties like decidability of the corresponding first-order theory. [less ▲]

Detailed reference viewed: 118 (12 ULiège)
Full Text
Peer Reviewed
See detailLogical description of bovine herpesvirus type 1 latent infection.
Pastoret, Paul-Pierre ULiege; Thiry, Etienne ULiege; Thomas, René

in Journal of General Virology (The) (1986), 67 ( Pt 5)

Description of the interactions between bovine herpesvirus type 1 (BHV-1) and cattle was performed by the method known as kinetic logic. This logical formalization uses variables with two possible values ... [more ▼]

Description of the interactions between bovine herpesvirus type 1 (BHV-1) and cattle was performed by the method known as kinetic logic. This logical formalization uses variables with two possible values, 1 and 0, which tell whether an element is present or not at a significant level. To each variable is associated a function which tells if the element is being produced at a significant rate. The temporal relation between a variable and its associated function is given by specific time delays. The BHV-1 infection system is described by a set of five logical equations which tell in what conditions each function is on or off. The five functions are: V, development of viral multiplication; R, development of reactivation of the latent virus; A, development of an immune response; G, establishment of the viral genome; M, development of a memory of a first immune response. Several examples are detailed in a dynamic analysis, in connection with known experimental data. [less ▲]

Detailed reference viewed: 17 (0 ULiège)
Full Text
Peer Reviewed
See detailLogical tools for descriptive psychology. Set theory and foundational mereology
Leclercq, Bruno ULiege

Conference (2017, May 30)

Detailed reference viewed: 19 (0 ULiège)
Peer Reviewed
See detailLogiciel d'aide à la détermination détaillée du poids et du bilan électrique d'un navire
Marchal, Jean ULiege; Hage, André ULiege; Rodriguez, S.

in Bulletin de l'Association Technique Maritime et Aéronautique (1994)

Detailed reference viewed: 31 (4 ULiège)
Peer Reviewed
See detailLogiciel de calcul de l'équilibre calcocarbonique des eaux, adapté pour calculatrice.
Wuidar, A.; Marcoen, Jean Marie ULiege

in Annales de Gembloux (1992), 98

Detailed reference viewed: 532 (14 ULiège)
Peer Reviewed
See detailUn logiciel de cartographie assistée par micro-ordinateur
Donnay, Jean-Paul ULiege

in Actes du sixième Symposium sur la cartographie automatisée : Auto-Carto Six (1983)

Detailed reference viewed: 21 (0 ULiège)
Peer Reviewed
See detailUn logiciel de cartographie assistée par micro-ordinateur
Donnay, Jean-Paul ULiege

in Cartographica (1984), 21(2 & 3), 93-100

Detailed reference viewed: 33 (3 ULiège)
Full Text
See detailLogiciel de cubage G-CUBE (version 1.1)
Lejeune, Philippe ULiege; Rondeux, Jacques ULiege

Poster (2006, July 31)

Logiciel développé dans le cadre de recherches visant à valoriser les potentialités de la forêt privée et assurer la durabilité de sa gestion.

Detailed reference viewed: 355 (14 ULiège)
Full Text
See detailLogiciel de formulation
Beckers, Yves ULiege

Software (2011)

Detailed reference viewed: 1097 (14 ULiège)