-
Chapter and Conference Paper
Local Maximal Equality-Free Periodicities
In this paper, we study local maximal antiperiodicities. Given a string X and an integer k, we compute the maximal k-antiperiodicity starting at every position of X; that is, we identify a maximum-length sequence...
-
Chapter and Conference Paper
Towards a Sound and Complete Dialogue System for Handling Enthymemes
A common assumption for argumentation-based dialogues is that any argument exchanged is complete, in the sense that its premises entail its claim. However, in real world dialogues, agents commonly exchange ent...
-
Chapter and Conference Paper
On the Termination Problem for Counter Machines with Incrementing Errors
In contrast to their reliable and lossy-error counterparts whose termination problems are either undecidable or non-primitive recursive, the termination problem for counter machines with incrementing errors is sh...
-
Chapter
Industry and the Environment: A Question of Balance
It has been all too seldom that industrialists have had the opportunity to contribute to the important debate on striking the balance alluded to in my title. The responsibility for this failure of communicatio...
