Peter Ohrstrom – författare

This is a new edition, revised and expanded, of a seminal work in the logic and philosophy of time, originally published in 1968. Arthur N. Prior (1914-1969) was the founding father of temporal logic. His work has attracted increased attention in the decades since his death: its influence stretches beyond philosophy and logic to computer science and formal linguistics. Prior's fundamental ideas about the logic of time are presented here along with his investigations into the formal properties of time and tense. Already in 1969 Prior had been planning a new edition of Papers on Time and Tense, to incorporate his more recent work. Because of his untimely death this plan was never followed through-till now. Seven important papers have been added to the original selection, as well as a comprehensive bibliography of his work and an illuminating interview with his widow, Mary Prior, about his life and work. In addition, the Polish logic which made the original book difficult for many readers has been replaced by standard logical notation. This new edition will secure the classic status of the book.

Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal logic as well as the crucial systematic questions within the field. The book studies the rich contributions from ancient and medieval philosophy up to the downfall of temporal logic in the Renaissance. The modern rediscovery of the subject, which is especially due to the work of A. N. Prior, is described, leading into a thorough discussion of the use of temporal logic in computer science and the understanding of natural language. Temporal Logic: From Ancient Ideas to Artificial Intelligence thus interweaves linguistic, philosophical and computational aspects into an informative and inspiring whole.

th The 14 International Conference on Conceptual Structures (ICCS 2006) was held in Aalborg, Denmark during July 16 – 21, 2006. Responding to the Call for Papers, we received 62 papers from 20 different countries, representing six different continents. This clearly indicates the international nature of the ICCS community as well as the widespread interest which was spawned by the previous conferences. By a thorough review process, 24 papers were selected to be included in this volume. In addition, six invited speakers made contributions which can be found in the first section of this volume. The theme of ICCS 2006––Conceptual Structures: Inspiration and Application–– points to a dual focus of interest that is also reflected in the constellation of papers. From the beginning of the planning of this conference, we focused on inspirational sources that have led to the current state of research in our community, by tracing important historical influences which daily effect work in representing knowledge and in handling representations of conceptual structures. At the same time, we also focused on ways in which these legacies are employed to further advance theory and practice in the field of knowledge representation and processing. With this volume, we believe that a valuable contribution to both aspects of this field is being made. We wish to express our appreciation to all the authors of submitted papers, to the members of the Editorial Board and the Program Committee for all their work and valuable comments.

th The 14 International Conference on Conceptual Structures (ICCS 2006) was held in Aalborg, Denmark during July 16 – 21, 2006. Responding to the Call for Papers, we received 62 papers from 20 different countries, representing six different continents. This clearly indicates the international nature of the ICCS community as well as the widespread interest which was spawned by the previous conferences. By a thorough review process, 24 papers were selected to be included in this volume. In addition, six invited speakers made contributions which can be found in the first section of this volume. The theme of ICCS 2006––Conceptual Structures: Inspiration and Application–– points to a dual focus of interest that is also reflected in the constellation of papers. From the beginning of the planning of this conference, we focused on inspirational sources that have led to the current state of research in our community, by tracing important historical influences which daily effect work in representing knowledge and in handling representations of conceptual structures. At the same time, we also focused on ways in which these legacies are employed to further advance theory and practice in the field of knowledge representation and processing. With this volume, we believe that a valuable contribution to both aspects of this field is being made. We wish to express our appreciation to all the authors of submitted papers, to the members of the Editorial Board and the Program Committee for all their work and valuable comments.