"Definitional Traps" and Misleading Titles

Titles

This is not about knights and dames, nor is it about jazz musicians, such as Duke Ellington or Court Basie. Rather, it is about a most important issue in science, which is the difficult task of choosing titles for seminars, lectures, scientific papers, books and even the titles of the journals themselves. Today, we all have to compete for readers and listeners, and in the current ruthlessly com...

Definitional Trees

Rewriting is a computational paradigm that specifies the actions, but not the control. We introduce a hierarchical structure representing, at a high level of abstraction, a form of control. Its application solves a specific problem arising in the design and implementation of inherently sequential, lazy, functional programming languages based on rewriting. For example, we show how to extend the ...

Paper Titles and Abstracts

Definitional Constraints

Certain constraints that should be interpreted as definitions or quasi-definitions can cause prediction problems for logics of action. Standard ways to avoid them rely on notions of priority in the minimization of fluent change. We offer an alternative approach based on belief revision. Revision is performed on the reduct of the system theory after isolating definitions, and the revised theory ...

Titles and Abstracts

In condensed matter physics, it is known that some topological properties of quantum systems are related to the topology of the Hamiltonian operator as a self-adjoint operator with a spectral gap. In particular, recent researches reveal that symmetries of quantum systems, such as time-reversal or particle-hole symmetries, provide a rich physical and mathematical theory. In this talk, we introdu...