Tools for Finding Inconsistencies in Real-world Logic-based Systems

Currently there is extensive theoretical work on inconsistencies in logic-based systems. Recently, algorithms for identifying inconsistent clauses in a single conjunctive formula have demonstrated that practical application of this work is possible. However, these algorithms have not been extended for full knowledge base systems and have not been applied to real-world knowledge. To address these issues, we propose a new algorithm for finding the inconsistencies in a knowledge base using existing algorithms for finding inconsistent clauses in a formula. An implementation of this algorithm is then presented as an automated tool for finding inconsistencies in a knowledge base and measuring the inconsistency of formulae. Finally, we look at a case study of a network security rule set for exploit detection (QRadar) and suggest how these automated tools can be applied.

Making a Constitution in a Globalized World

This piece argues that constitutions must be documents which meet the needs and demands of the nation's people and that, as a nation's relationship with the world beyond its borders has increased in complexity in recent years, so individuals' expectations of their nation's constitutions have also increased considerably compared with the past. Using Northern Ireland as an exemplar, the chapter argues that Turkey has the potential to re-make itself through the adoption of a more modern, pluralistic and outward-looking constitution.

Jewish Identity in the Modern World: Its Nature and Dynamics, pt. 3

Jewish identity and its development through the Enlightenment, Antisemitism and Zionism.

Jewish Identity in the Modern World: Its Nature and Dynamics, pt. 2

Discussion of Jewish Identity and its development through the Enlightenment, Antisemitism and Zionism.

Jewish Identity in the Modern World: Its Nature and Dynamics, pt. 1

Discussion of the development of Jewish identity, considering the Enlightenment, Antisemitism, and Zionism.

Bradley Institute of Music fonds

1.23 m. textual records, 1 col. post card, 1 b&w post card, 116 col. photographs, 59 b&w photographs, 6 negatives, 1 metal logo, 2 photo cuts, 7 woodcuts, 1 VHS tape, 1 stamp/press, 1 guest book, 5 account books

Photograph of Robert Bell, Airborne Regiment, World War II [n.d.]

A photograph of Robert Bell (kneeling, front row, third left) with his airborne regiment in the Second World War. The date and location of the photo is unknown. This photograph was among those recovered from the attic of Iris Sloman Bell, of St. Catharines, in the 1980s and kept in the possession of her son, Rick Bell. The Bell- Sloman family is descended from former Black slaves from the United States.

Photo album, St. Catharines area, ca. 1913-1919.

One hardcover photo album containing black and white photos. Many of the photos were taken in the St. Catharines area. Included are photos of Port Dalhousie, Port Weller, Niagara Falls, Niagara-on-the-Lake and St. Catharines. There are also photos of Braeside, Ont. and the Ottawa valley. Various local landmarks are included, such as the armoury in St. Catharines, Montebello Park, and Martindale pond. Some of the events captured include a train wreck that occurred in St. Catharines in 1914, the visit of the Governor General to St. Catharines in 1914 (featuring the Carnegie library and Post Office and federal building decorated with flags), and an airplane that crashed into a body of water, possibly a plane from an air training camp in Beamsville during World War I. There are also two photos of champion Niagara district basketball teams, possibly taken in the gymnasium building located behind the former St. Catharines Collegiate building (later Robertson School) on Church Street. One photo includes Norman Byrne, Gladys Ansell, Miriam Marshall, Irene Stoter (?), Mildrerd Houston, A. Gardner, and Madeline Jenner. The other photo includes George Moase, W. Bennett, Norman Byrne, Jack Bain, Mr. Brackenbury, Cyril Merriman, Jim Galway, Harry Erskine, and Roy Carpenter.