A logic programming language with potential software engineering benefit is described. The language is intended as a specification language where the user specifies software functionality while ignoring efficiency. The goals of the language are: (1) a pure specification language – “what, not how”, (2) small size, and (3) a metalanguage – able to imitate and thus subsume other languages. The lan...

1 VERIFYING NETWORKS WITH SYMBOLIC EXECUTION Symbolic execution is a promising approach to network veri cation [5, 6]. Inspired from software veri cation where it is mainly used to generate test-cases (e.g. [1]), symbolic execution is a technique for exploring all viable execution paths of a program. Symbolic execution runs programs with symbolic inputs instead of concrete ones. Such an input m...

Symbolic (i.e., with Arabic numerals) approximate arithmetic with large numerosities is an important predictor of mathematics. It was previously evidenced to onset before formal schooling at the kindergarten age (Gilmore et al., 2007) and was assumed to map onto pre-existing nonsymbolic (i.e., abstract magnitudes) representations. With a longitudinal study (Experiment 1), we show, for the first...

It is well known that two complementary learning modules are important to achieve human-level language understanding: one gradually acquires structured representations of knowledge from language, the other quickly learns the episodic memory composed of individual knowledge. In this paper, we suggest a new machine learning model which combines symbolic and neuronal approaches to construct the co...

This work discusses the construction of an observer for language-driven control systems. Such systems accept symbolic inputs corresponding to feedback control laws together with logical conditions which determine when each control law is to be applied. Here, we explore the problem of how to identify the symbolic string driving the system through observation of its output. We discuss the identif...

Modern human beings process information symbolically, rearranging mental symbols to envision multiple potential realities. They also express the ideas they form using structured articulate language. No other living creature does either of these things. Yet it is evident that we are descended from a non-symbolic and non-linguistic ancestor. How did this astonishing transformation occur? Scrutiny...

In a recent work by Bourdieu, Language & Symbolic Power, an interesting attempt has been made to explain some of the dynamics of language with a socio-economic theory. The findings identify one strong outer force for language change.

In 3 experiments, we examine the relation between language acquisition and other symbolic abilities in the early stages of language acquisition. We introduce 18- and 26-month-olds to object categories (e.g., fruit, vehicles) using a novel word or a novel symbolic gesture to name the objects. We compare the influence of these two symbolic forms on infants' object categorization. Children at both...

Relations among indices of maternal mind-mindedness (appropriate and nonattuned mind-related comments) and children's: (a) internal state vocabulary and perspectival symbolic play at 26 months (N = 206), and (b) theory of mind (ToM) at 51 months (n = 161) were investigated. Appropriate comments were positively associated with ToM, but were unrelated to internal state language and perspectival s...