We use Prolog as a flexible meta-language to provide executable specifications of some fundamental mathematical objects and their transformations. In the process, isomorphisms are unraveled between natural numbers and combinatorial objects (rooted ordered trees representing hereditarily finite sequences and rooted ordered binary trees representing Gödel’s System T types). This paper focuses on ...

Dynamic symbolic execution for automated test generation consists of instrumenting and running a program while collecting path constraint on inputs from predicates encountered in branch instructions, and of deriving new inputs from a previous path constraint by an SMT (Satisfiability Modulo Theories) solver in order to steer next executions toward new program paths. It has been introduced into ...

For iterative solvers, besides convergence proofs that may state qualitative results for some classes of problems, straight-forward methods to compute (bounds for) convergence rates are of particular interest. A widelyused straight-forward method to analyze the convergence of numerical methods for solving discretized systems of partial differential equations (PDEs) is local Fourier analysis (or...

We present an interactive tool, called iscc, for manipulating sets and relations of integer tuples bounded by affine constraints over the set variables, parameters and existentially quantified variables. A distinguishing feature of iscc is that it provides a cardinality operation on sets and relations that computes a symbolic expression in terms of the parameters and domain variables for the nu...

Information Extraction, Summarization and Question Answering all manipulate natural language texts and should benefit from the use of NLP techniques. Statistical techniques have till now outperformed symbolic processing of unrestricted text. However, Information Extraction and Question Answering require by far more accurate results of what is currently produced by Bag-Of-Words approaches. Besid...

Acknowledgments I would like to particularly thank my advisor, Yorick Wilks. Over the years I have known him, Yorick has always been insightful, cheerful and generous. His ability to understand and constructively critique research over an extraordinarily wide range of topics has been extremely helpful, both professionally and academically. Moreover, his willingness to consider and even nurture ...

Eight pigeons were first trained to peck 1 button in the presence of 16 distinct 4 x 4 arrays of identical pictures and to peck a 2nd button in the presence of 16 distinct 4 x 4 arrays of nonidentical pictures. Later, they were tested with 16 other same and 16 other different stimulus arrays involving untrained pictures. Performance to the testing arrays greatly exceeded chance levels, thus sug...

Like many NLP tasks, the question of Named Entity Recognition can be adressed either using a symbolic or a data-centered approach. In this paper, we present a hybrid approach which consists in the adaptation of data mining techniques. Our system, mXS, relies on a sequential hierarchical text mining techniques. It implements a data-centered approach to extract symbolic patterns. Besides, mXS rel...