Events

The problem of optimising automated explanations for entailments in knowledge bases is tackled by modelling deductive reasoning processes using the cognitive architecture ACT-R. This results in the model SHARP which simulates a tableau algorithm for deciding inconsistency of an ABox in the description logic 𝒜ℒℰ as executed by a human. SHARP enables predicting the inference time of this task, which is assumed to reflect human performance. With the inference time, two complexity measures on ABoxes are defined that cognitively adequate by design.

Opponent: Jakub Szymanik, Associate professor in the Center for Brain/Mind Sciences and the Computer Science Department at the University of Trento.

The Logic Group at the University of Gothenburg hosts its annual World Logic Day Pub Quiz. For information on World Logic Day events around the world, see http://wld.cipsh.international/wld2025.html.

The 2024 Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, will be held in Gothenburg on 24-28 June, 2024 and hosted by the Faculty of Humanities at the University of Gothenburg. The colloquium comprises 3 tutorials, 7 plenary lectures and 6 special sessions as well as contributed talks. In addition, the 2024 Gödel Lecture was delivered at the meeting.

See lc2024.se for full information.

The Logic Group at the University of Gothenburg hosts its annual World Logic Day Pub Quiz. For information of this and other World Logic Day events around the world, see http://wld.cipsh.international/wld2024.html.

There is now an acute need for intensive research on the possibility of effective learning with small data. The conference LSD running 11–12 September, organised by the Centre for Linguistic Theory and Studies in Probability (CLASP) and at the department of Philosophy, Linguistics and Theory of Science is devoted to work on this problem, with application to computational linguistics.

See the conference webpage for details.

Public defence of Dominik Wehr’s Licentiate thesis.

Opponent Associate Professor Anupam Das, University of Birmingham
Examiner Docent Fredrik Engström, Göteborgs universitet
Thesis available at the Gothenburg University Library Archive.

Held on 27-28 April, 2023 at the University of Gothenburg, this workshop brought together researchers working on various aspects of fixed point logics and ill-founded proofs. The event was sponsored by the Knut and Alice Wallenberg Foundation via the research project Taming Jörmungandr: The Logical Foundations of Circularity and the Department of Philosophy, Linguistics and Theory of Science.

Public defence of Tjeerd Fokkens’ Licentiate thesis.

Opponent Dr Ing Stefan Borgwardt, Technische Universität Dresden
Examiner Professor Simon Dobnik, Göteborgs universitet

The Logic Group at the University of Gothenburg hosts its annual World Logic Day Pub Quiz. For information of this and other World Logic Day events around the world, see http://wld.cipsh.international/wld2023.html.

Public defence of Giacomo Barlucchi’s Licentiate thesis.

Opponent Docent Sebastian Enqvist, Stockholms universitet
Examiner Docent Fredrik Engström, Göteborgs universitet